ix.test.xml
Class MissionaryTest.MissionaryTestRunner

java.lang.Object
  extended by ix.iplan.AutoTester.TestRunner
      extended by ix.test.xml.MissionaryTest.MissionaryTestRunner
Enclosing class:
MissionaryTest

protected static class MissionaryTest.MissionaryTestRunner
extends AutoTester.TestRunner


Field Summary
(package private)  AutoTester auto
           
(package private)  MissionaryTest test
           
 
Fields inherited from class ix.iplan.AutoTester.TestRunner
changedState, planNumber, remainingReplans
 
Constructor Summary
MissionaryTest.MissionaryTestRunner(MissionaryTest test, AutoTester auto)
           
 
Method Summary
(package private)  LList nextState(LList state, LList move)
           
protected  java.util.Map runSimulation(PlanCheckingSimulator sim)
          Runs the usual simulation using the PlanCheckingSimulator, then runs a second simulation that uses the same linearization of the plan but considers only the move activities.
(package private)  void simulate(java.util.List nodeEnds)
           
 
Methods inherited from class ix.iplan.AutoTester.TestRunner
checkPlan, comparePlanModels, describePlan, describeTest, initialPlan, makePlanCheckingSimulator, planFromPlan, readDomain, runTest, saveChangedState, savedChangedStateName, savedPlanName, savePlan, savePlanFromPlan, taskPlan
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Field Detail

auto

AutoTester auto

test

MissionaryTest test
Constructor Detail

MissionaryTest.MissionaryTestRunner

MissionaryTest.MissionaryTestRunner(MissionaryTest test,
                                    AutoTester auto)
Method Detail

runSimulation

protected java.util.Map runSimulation(PlanCheckingSimulator sim)
Runs the usual simulation using the PlanCheckingSimulator, then runs a second simulation that uses the same linearization of the plan but considers only the move activities. The moves are checked to ensure that they produced a connected series of state changes that reaches the goal state.

Overrides:
runSimulation in class AutoTester.TestRunner

simulate

void simulate(java.util.List nodeEnds)

nextState

LList nextState(LList state,
                LList move)