Class EqualsTester

java.lang.Object
org.tweetyproject.lp.asp.syntax.EqualsTester

public class EqualsTester extends Object
tests equality
Author:
Matthias Thimm
  • Constructor Details

    • EqualsTester

      public EqualsTester()
  • Method Details

    • testELPAtom

      public void testELPAtom()
      elp atom test
    • testCloneEqualAtom

      public void testCloneEqualAtom()
      clone equals test
    • testRule

      public void testRule()
      rule test
    • testProgram

      public void testProgram()
      program test
    • testAddAll

      public void testAddAll()
      add all test