Package MAKBPInterpreter.agents.tests

Class TestDiamond

  • All Implemented Interfaces:
    junit.framework.Test
    public class TestDiamond
extends junit.framework.TestCase
    Test class for the Diamond class.

    • Constructor Summary

      Constructors 
      Constructor Description
      TestDiamond()  

    • Method Summary

      All Methods Instance Methods Concrete Methods 
      Modifier and Type Method Description
      void testConstructor()
      Tests the Diamond(Agent, MAKBPInterpreter.logic.Formula) constructor.
      void testEvaluate()
      Tests the Diamond.evaluate(MAKBPInterpreter.logic.LogicAssignment) 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