ix.test
Class PrecondBlockStacker

java.lang.Object
  extended by ix.test.BlockStacker
      extended by ix.test.PrecondBlockStacker

public class PrecondBlockStacker
extends BlockStacker

A classe for running block-stacking planning problems that use precondition-satisfaction.


Field Summary
 
Fields inherited from class ix.test.BlockStacker
baseDomain, finalTowers, initialTowers, problem, S_ACHIEVE, S_BLOCK, S_CLEARTOP, S_FALSE, S_ON, S_TABLE, S_TRUE, slip
 
Constructor Summary
PrecondBlockStacker(java.lang.String problem)
           
 
Method Summary
protected  java.lang.String getDefaultBaseDomainName()
           
protected  Refinement goalStateRefinement(java.util.List finalTowers)
           
protected  Refinement initialStateRefinement(java.util.List initialTowers)
           
static void main(java.lang.String[] argv)
           
 
Methods inherited from class ix.test.BlockStacker
allBlocks, blockSet, checkPattern, checkPlan, checkSameBlocks, checkTowerState, failedGoalPatterns, findPlan, getFinalTowers, getInitialTowers, getPlan, incorrectTowerPatterns, initialPlan, initialPlan, parseTowers, pattern, problemDomain, problemDomain, problemTaskRefinement, replan, setBaseDomain, setupForPlanning, towerBlocks, towerPatterns, towers, worldEffect
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Constructor Detail

PrecondBlockStacker

public PrecondBlockStacker(java.lang.String problem)
Method Detail

getDefaultBaseDomainName

protected java.lang.String getDefaultBaseDomainName()
Specified by:
getDefaultBaseDomainName in class BlockStacker

main

public static void main(java.lang.String[] argv)

initialStateRefinement

protected Refinement initialStateRefinement(java.util.List initialTowers)
Overrides:
initialStateRefinement in class BlockStacker

goalStateRefinement

protected Refinement goalStateRefinement(java.util.List finalTowers)
Specified by:
goalStateRefinement in class BlockStacker