Package ai.libs.jaicore.planning.hierarchical.algorithms.forwarddecomposition.graphgenerators.tfd

Class TFDNodeUtil

java.lang.Object

ai.libs.jaicore.planning.hierarchical.algorithms.forwarddecomposition.graphgenerators.tfd.TFDNodeUtil

public class TFDNodeUtil
extends java.lang.Object

Constructor Summary

Constructors

Constructor	Description
TFDNodeUtil(java.util.Map<java.lang.String,ai.libs.jaicore.logic.fol.theories.EvaluablePredicate> evaluablePlanningPredicates)

Method Summary

Modifier and Type	Method	Description
java.util.List<TFDNode>	getPathOfNode(TFDNode node, java.util.Map<TFDNode,TFDNode> parentMap)
java.util.List<ai.libs.jaicore.logic.fol.structure.Literal>	getRemainingTasks(java.util.List<TFDNode> path)
TFDRestProblem	getRestProblem(java.util.List<TFDNode> path)
ai.libs.jaicore.logic.fol.structure.Monom	getState(java.util.List<TFDNode> path)

Methods inherited from class java.lang.Object

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

Constructor Detail

TFDNodeUtil

public TFDNodeUtil(java.util.Map<java.lang.String,ai.libs.jaicore.logic.fol.theories.EvaluablePredicate> evaluablePlanningPredicates)

Method Detail

getPathOfNode

public java.util.List<TFDNode> getPathOfNode(TFDNode node,
                                             java.util.Map<TFDNode,TFDNode> parentMap)

getRestProblem

public TFDRestProblem getRestProblem(java.util.List<TFDNode> path)

getState

public ai.libs.jaicore.logic.fol.structure.Monom getState(java.util.List<TFDNode> path)

getRemainingTasks

public java.util.List<ai.libs.jaicore.logic.fol.structure.Literal> getRemainingTasks(java.util.List<TFDNode> path)