Package org.tweetyproject.lp.asp.syntax

Class EqualsTester

  • public class EqualsTester
extends java.lang.Object

    • Constructor Summary

      Constructors 
      Constructor Description
      EqualsTester()  

    • Method Summary

      Modifier and Type Method Description
      void testAddAll()  
      void testCloneEqualAtom()  
      void testELPAtom()  
      void testProgram()  
      void testRule()  

      • Methods inherited from class java.lang.Object

        equals, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

    • Constructor Detail

      • EqualsTester

        public EqualsTester()

    • Method Detail

      • testELPAtom

        public void testELPAtom()

      • testCloneEqualAtom

        public void testCloneEqualAtom()

      • testRule

        public void testRule()

      • testProgram

        public void testProgram()

      • testAddAll

        public void testAddAll()