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

Class TFDGraphGenerator

java.lang.Object

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

All Implemented Interfaces:

jaicore.search.algorithms.parallel.parallelexploration.distributed.interfaces.SerializableGraphGenerator<TFDNode,java.lang.String>, jaicore.search.core.interfaces.GraphGenerator<TFDNode,java.lang.String>, jaicore.search.core.interfaces.PathUnifyingGraphGenerator<TFDNode,java.lang.String>, java.io.Serializable

Direct Known Subclasses:

CEOCTFDGraphGenerator

public class TFDGraphGenerator
extends java.lang.Object
implements jaicore.search.algorithms.parallel.parallelexploration.distributed.interfaces.SerializableGraphGenerator<TFDNode,java.lang.String>, jaicore.search.core.interfaces.PathUnifyingGraphGenerator<TFDNode,java.lang.String>

See Also:

Serialized Form

Field Summary

Fields

Modifier and Type	Field and Description
protected java.util.Map<java.lang.String,Operation>	primitiveTasks
protected IHTNPlanningProblem	problem
protected TaskPlannerUtil	util

Constructor Summary

Constructors

Constructor and Description
TFDGraphGenerator(IHTNPlanningProblem problem)

Method Summary

Modifier and Type	Method and Description
jaicore.search.structure.graphgenerator.NodeGoalTester<TFDNode>	getGoalTester()
jaicore.search.structure.graphgenerator.SingleRootGenerator<TFDNode>	getRootGenerator()
jaicore.search.structure.graphgenerator.SuccessorGenerator<TFDNode,java.lang.String>	getSuccessorGenerator()
protected java.util.Collection<TFDNode>	getSuccessorsResultingFromResolvingComplexTask(ai.libs.jaicore.logic.fol.structure.Monom state, ai.libs.jaicore.logic.fol.structure.Literal taskToBeResolved, java.util.List<ai.libs.jaicore.logic.fol.structure.Literal> remainingOtherTasks)
protected java.util.Collection<TFDNode>	getSuccessorsResultingFromResolvingPrimitiveTask(ai.libs.jaicore.logic.fol.structure.Monom state, ai.libs.jaicore.logic.fol.structure.Literal taskToBeResolved, java.util.List<ai.libs.jaicore.logic.fol.structure.Literal> remainingOtherTasks)
boolean	isPathSemanticallySubsumed(java.util.List<TFDNode> path, java.util.List<TFDNode> potentialSuperPath)
boolean	isSelfContained()
TFDNode	orderRemainingTasksByPriority(TFDNode node)
protected TFDNode	postProcessComplexTaskNode(TFDNode node) A hook for extending classes that can be used to change the nodes before they are attached
protected TFDNode	postProcessPrimitiveTaskNode(TFDNode node) A hook for extending classes that can be used to change the nodes before they are attached
void	setNodeNumbering(boolean nodenumbering)
protected java.util.List<ai.libs.jaicore.logic.fol.structure.Literal>	stripTNPrefixes(java.util.List<ai.libs.jaicore.logic.fol.structure.Literal> taskList)
java.lang.String	toString()

Methods inherited from class java.lang.Object

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

Field Detail

util

protected TaskPlannerUtil util

problem

protected final IHTNPlanningProblem problem

primitiveTasks

protected final java.util.Map<java.lang.String,Operation> primitiveTasks

Constructor Detail

TFDGraphGenerator

public TFDGraphGenerator(IHTNPlanningProblem problem)

Method Detail

getSuccessorsResultingFromResolvingPrimitiveTask

protected java.util.Collection<TFDNode> getSuccessorsResultingFromResolvingPrimitiveTask(ai.libs.jaicore.logic.fol.structure.Monom state,
                                                                                         ai.libs.jaicore.logic.fol.structure.Literal taskToBeResolved,
                                                                                         java.util.List<ai.libs.jaicore.logic.fol.structure.Literal> remainingOtherTasks)
                                                                                  throws java.lang.InterruptedException

Throws:

java.lang.InterruptedException

getSuccessorsResultingFromResolvingComplexTask

protected java.util.Collection<TFDNode> getSuccessorsResultingFromResolvingComplexTask(ai.libs.jaicore.logic.fol.structure.Monom state,
                                                                                       ai.libs.jaicore.logic.fol.structure.Literal taskToBeResolved,
                                                                                       java.util.List<ai.libs.jaicore.logic.fol.structure.Literal> remainingOtherTasks)
                                                                                throws java.lang.InterruptedException

Throws:

java.lang.InterruptedException

stripTNPrefixes

protected java.util.List<ai.libs.jaicore.logic.fol.structure.Literal> stripTNPrefixes(java.util.List<ai.libs.jaicore.logic.fol.structure.Literal> taskList)

postProcessPrimitiveTaskNode

protected TFDNode postProcessPrimitiveTaskNode(TFDNode node)

A hook for extending classes that can be used to change the nodes before they are attached

Parameters:

node -

Returns:

postProcessComplexTaskNode

protected TFDNode postProcessComplexTaskNode(TFDNode node)

A hook for extending classes that can be used to change the nodes before they are attached

Parameters:

node -

Returns:

getRootGenerator

public jaicore.search.structure.graphgenerator.SingleRootGenerator<TFDNode> getRootGenerator()

Specified by:

getRootGenerator in interface jaicore.search.core.interfaces.GraphGenerator<TFDNode,java.lang.String>

getSuccessorGenerator

public jaicore.search.structure.graphgenerator.SuccessorGenerator<TFDNode,java.lang.String> getSuccessorGenerator()

Specified by:

getSuccessorGenerator in interface jaicore.search.core.interfaces.GraphGenerator<TFDNode,java.lang.String>

orderRemainingTasksByPriority

public TFDNode orderRemainingTasksByPriority(TFDNode node)

getGoalTester

public jaicore.search.structure.graphgenerator.NodeGoalTester<TFDNode> getGoalTester()

Specified by:

getGoalTester in interface jaicore.search.core.interfaces.GraphGenerator<TFDNode,java.lang.String>

isSelfContained

public boolean isSelfContained()

Specified by:

isSelfContained in interface jaicore.search.core.interfaces.GraphGenerator<TFDNode,java.lang.String>

setNodeNumbering

public void setNodeNumbering(boolean nodenumbering)

Specified by:

setNodeNumbering in interface jaicore.search.core.interfaces.GraphGenerator<TFDNode,java.lang.String>

isPathSemanticallySubsumed

public boolean isPathSemanticallySubsumed(java.util.List<TFDNode> path,
                                          java.util.List<TFDNode> potentialSuperPath)
                                   throws java.lang.InterruptedException

Specified by:

isPathSemanticallySubsumed in interface jaicore.search.core.interfaces.PathUnifyingGraphGenerator<TFDNode,java.lang.String>

Throws:

java.lang.InterruptedException

toString

public java.lang.String toString()

Overrides:

toString in class java.lang.Object