Package MAKBPInterpreter.agents.tests
Class TestAgentKnowledge
- java.lang.Object
-
- junit.framework.Assert
-
- junit.framework.TestCase
-
- MAKBPInterpreter.agents.tests.TestAgentKnowledge
-
- All Implemented Interfaces:
junit.framework.Test
public class TestAgentKnowledge extends junit.framework.TestCase
Test class for theAgentKnowledge
class.
-
-
Constructor Summary
Constructors Constructor Description TestAgentKnowledge()
-
Method Summary
All Methods Instance Methods Concrete Methods Modifier and Type Method Description void
testConstructor()
Tests theAgentKnowledge(Agent, MAKBPInterpreter.logic.Formula)
constructor.void
testContains()
Tests theAgentKnowledge.contains(Formula)
method.void
testEquals()
Tests theAgentKnowledge.equals(Object)
method.void
testEvaluate()
Tests theAgentKnowledge.evaluate(MAKBPInterpreter.logic.LogicAssignment)
method.void
testGetNegation()
Tests theAgentKnowledge.getNegation()
method.void
testGetters()
Tests theAgentKnowledge.getAgent()
andAgentKnowledge.getInnerFormula()
methods.void
testSimplify()
Tests theAgentKnowledge.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
-
-
-
-
Method Detail
-
testConstructor
public void testConstructor()
Tests theAgentKnowledge(Agent, MAKBPInterpreter.logic.Formula)
constructor.
-
testGetters
public void testGetters()
Tests theAgentKnowledge.getAgent()
andAgentKnowledge.getInnerFormula()
methods.
-
testSimplify
public void testSimplify()
Tests theAgentKnowledge.simplify()
method.
-
testGetNegation
public void testGetNegation()
Tests theAgentKnowledge.getNegation()
method.
-
testEquals
public void testEquals()
Tests theAgentKnowledge.equals(Object)
method.
-
testContains
public void testContains()
Tests theAgentKnowledge.contains(Formula)
method.
-
testEvaluate
public void testEvaluate()
Tests theAgentKnowledge.evaluate(MAKBPInterpreter.logic.LogicAssignment)
method.
-
-