ix.test.xml
Class MissionaryTest

java.lang.Object
  ix.iplan.PlanTest
      ix.test.xml.MissionaryTest

All Implemented Interfaces:

java.io.Serializable

public class MissionaryTest
extends PlanTest

Describes a missionary and cannibals plan test.

See Also:

Serialized Form

Nested Class Summary

protected static class

MissionaryTest.MissionaryTestRunner

Field Summary

(package private) static Symbol	LEFT
(package private) static Symbol	MOVE
(package private) static Symbol	RIGHT

Fields inherited from class ix.iplan.PlanTest

domain, initialPlan, isExhaustive, plans, randomSimulations, stepLimit, task

Constructor Summary

MissionaryTest()

Method Summary

AutoTester.TestRunner

makeTestRunner(AutoTester auto) Returns a TestRunner that runs an extra simulation.

Methods inherited from class ix.iplan.PlanTest

getDomain, getInitialPlan, getIsExhaustive, getPlans, getRandomSimulations, getStepLimit, getTask, setDomain, setInitialPlan, setIsExhaustive, setPlans, setRandomSimulations, setStepLimit, setTask, taskDescription, testDescription, toString

Methods inherited from class java.lang.Object

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

Field Detail

MOVE

static final Symbol MOVE

LEFT

static final Symbol LEFT

RIGHT

static final Symbol RIGHT

Constructor Detail

MissionaryTest

public MissionaryTest()

Method Detail

makeTestRunner

public AutoTester.TestRunner makeTestRunner(AutoTester auto)

Returns a TestRunner that runs an extra simulation.

Overrides:

makeTestRunner in class PlanTest

See Also:

MissionaryTest.MissionaryTestRunner