Package MAKBPInterpreter.logic.tests

Class TestAtom

  • All Implemented Interfaces:
    junit.framework.Test
    public class TestAtom
extends junit.framework.TestCase
    Test class for the Atom class.

    • Constructor Summary

      Constructors 
      Constructor Description
      TestAtom()  

    • Method Summary

      All Methods Instance Methods Concrete Methods 
      Modifier and Type Method Description
      void testConstructor()
      Tests the Atom(String) constructor.
      void testContains()
      Tests the Atom.contains(Formula) method.
      void testEquals()
      Tests the Atom.equals(Object) method.
      void testEvaluate()
      Tests the Atom.evaluate(MAKBPInterpreter.logic.LogicAssignment) method.
      void testGetNegation()
      Tests the Atom.getNegation() method.
      void testSimplify()
      Tests the Atom.simplify() method.

      • Methods inherited from class junit.framework.TestCase

        assertEquals, assertEquals, assertEquals, assertEquals, assertEquals, assertEquals, assertEquals, assertEquals, assertEquals, assertEquals, assertEquals, assertEquals, assertEquals, assertEquals, assertEquals, assertEquals, assertEquals, assertEquals, assertEquals, assertEquals, assertFalse, assertFalse, assertNotNull, assertNotNull, assertNotSame, assertNotSame, assertNull, assertNull, assertSame, assertSame, assertTrue, assertTrue, countTestCases, createResult, fail, fail, failNotEquals, failNotSame, failSame, format, getName, run, run, runBare, runTest, setName, setUp, tearDown, toString

      • Methods inherited from class java.lang.Object

        clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait