| 
||||||||||
| PREV NEXT | FRAMES NO FRAMES | |||||||||
| Packages that use Slip | |
|---|---|
| ix.iplan | The I-X planner. | 
| ix.test | Simple applications for testing purposes. | 
| ix.test.xml | Experiments with new classes that could be converted to and from XML. | 
| Uses of Slip in ix.iplan | 
|---|
| Fields in ix.iplan declared as Slip | |
|---|---|
(package private)  Slip | 
SlipSingleStepper.slip
 | 
(package private)  Slip | 
SlipSatisfyConds.slip
 | 
(package private)  Slip | 
SlipFindExecutable.slip
 | 
(package private)  Slip | 
SlipStats.slip
 | 
(package private)  Slip | 
SlipExpander.slip
 | 
(package private)  Slip | 
SlipExpandNode.slip
 | 
(package private)  Slip | 
SlipAchieveConds.slip
 | 
(package private)  Slip | 
IPlanOptionManager.PlanGen.slip
 | 
| Methods in ix.iplan that return Slip | |
|---|---|
 Slip | 
AutoTester.makeTestPlanner(PlanTest test)
 | 
| Methods in ix.iplan with parameters of type Slip | |
|---|---|
protected  double | 
Alternative.calcCost(Slip slip)
 | 
protected  void | 
AutoTester.TestRunner.checkPlan(Slip slip)
Checks the plan.  | 
protected  void | 
AutoTester.TestRunner.describePlan(Slip slip)
 | 
protected  PlanCheckingSimulator | 
AutoTester.TestRunner.makePlanCheckingSimulator(Slip slip)
 | 
protected  void | 
AutoTester.TestRunner.planFromPlan(Slip slip)
 | 
protected  void | 
AutoTester.TestRunner.savePlan(Slip slip)
 | 
 void | 
Alternative.setCost(Slip slip)
 | 
| Constructors in ix.iplan with parameters of type Slip | |
|---|---|
SlipAchieveConds.SatisfyEvalNowConds(Slip slip,
                                     PNode node,
                                     ix.icore.domain.ListOfConstraint conds)
 | 
|
SlipAchieveConds(Slip slip,
                 PNode node,
                 ix.icore.domain.ListOfConstraint conds)
 | 
|
SlipExpander(Slip slip,
             AgendaItem item,
             Refinement r,
             MatchEnv refinementMatchEnv,
             java.util.List filterEnvs)
 | 
|
SlipExpandNode(Slip slip,
               PNode node,
               java.util.LinkedList expanders)
 | 
|
SlipFindExecutable(Slip slip)
 | 
|
SlipSatisfyConds(Slip slip)
 | 
|
SlipSatisfyConds(Slip slip,
                 PNode node,
                 ix.icore.domain.ListOfConstraint conds)
 | 
|
SlipSingleStepper(Slip slip)
 | 
|
SlipStats(Slip slip)
 | 
|
| Uses of Slip in ix.test | 
|---|
| Fields in ix.test declared as Slip | |
|---|---|
protected  Slip | 
BlockStacker.slip
 | 
| Uses of Slip in ix.test.xml | 
|---|
| Methods in ix.test.xml with parameters of type Slip | |
|---|---|
protected  void | 
BlockStackingTest.BlockTestRunner.checkBlockStackingMoves(Slip slip)
 | 
protected  void | 
BlockStackingTest.BlockTestRunner.checkPlan(Slip slip)
 | 
  | 
||||||||||
| PREV NEXT | FRAMES NO FRAMES | |||||||||