java.lang.Object
- junit.framework.Assert
- - junit.framework.TestCase
  - - MAKBPInterpreter.agents.tests.TestKripkeWorld

All Methods Instance Methods Concrete Methods
Modifier and Type	Method	Description
`void`	`testConstructors()`	Tests the `KripkeWorld(String, Map)` and `KripkeWorld(Map)` methods contructors.
`void`	`testDifferencesBetweenWorlds()`	Tests the `KripkeWorld.differencesBetweenWorlds(KripkeWorld)` method.
`void`	`testEquals()`	Tests the `KripkeWorld.equals(Object)` method.
`void`	`testGetters()`	Tests the `KripkeWorld.getName()` and `KripkeWorld.getAssignment()` methods.
`void`	`testSatisfied()`	Tests the `KripkeWorld.satisfied(Formula, KripkeStructure)` 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

Class TestKripkeWorld