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

Class TaskPlannerUtil

java.lang.Object

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

public class TaskPlannerUtil
extends java.lang.Object

Constructor Summary

Constructors

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

Method Summary

Modifier and Type	Method	Description
java.util.Collection<Action>	getActionsForPrimitiveTaskThatAreApplicableInState(ai.libs.jaicore.logic.fol.structure.CNFFormula knowledge, Operation op, ai.libs.jaicore.logic.fol.structure.Literal task, ai.libs.jaicore.logic.fol.structure.Monom state)
java.util.Map<java.lang.String,ai.libs.jaicore.logic.fol.theories.EvaluablePredicate>	getEvaluablePlanningPredicates()
java.util.Collection<MethodInstance>	getMethodInstancesForTaskThatAreApplicableInState(ai.libs.jaicore.logic.fol.structure.CNFFormula knowledge, Method method, ai.libs.jaicore.logic.fol.structure.Literal task, ai.libs.jaicore.logic.fol.structure.Monom state, java.util.List<ai.libs.jaicore.logic.fol.structure.Literal> remainingProblems)
java.util.Collection<MethodInstance>	getMethodInstancesForTaskThatAreApplicableInState(ai.libs.jaicore.logic.fol.structure.CNFFormula knowledge, java.util.Collection<? extends Method> methods, ai.libs.jaicore.logic.fol.structure.Literal task, ai.libs.jaicore.logic.fol.structure.Monom state, java.util.List<ai.libs.jaicore.logic.fol.structure.Literal> remainingProblems)
java.util.Optional<? extends Operation>	getOperationWithName(STNPlanningDomain domain, java.lang.String nameOfOperation)
java.util.List<ai.libs.jaicore.logic.fol.structure.Literal>	getTaskChainOfTotallyOrderedNetwork(TaskNetwork network)
java.util.List<CEOCAction>	recoverPlanFromActionEncoding(STNPlanningDomain domain, java.util.List<java.lang.String> actionEncodings)
void	setEvaluablePlanningPredicates(java.util.Map<java.lang.String,ai.libs.jaicore.logic.fol.theories.EvaluablePredicate> evaluablePlanningPredicates)

Methods inherited from class java.lang.Object

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

Constructor Detail

TaskPlannerUtil

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

Method Detail

getMethodInstancesForTaskThatAreApplicableInState

public java.util.Collection<MethodInstance> getMethodInstancesForTaskThatAreApplicableInState(ai.libs.jaicore.logic.fol.structure.CNFFormula knowledge,
                                                                                              java.util.Collection<? extends Method> methods,
                                                                                              ai.libs.jaicore.logic.fol.structure.Literal task,
                                                                                              ai.libs.jaicore.logic.fol.structure.Monom state,
                                                                                              java.util.List<ai.libs.jaicore.logic.fol.structure.Literal> remainingProblems)
                                                                                       throws java.lang.InterruptedException

Throws:

java.lang.InterruptedException

getMethodInstancesForTaskThatAreApplicableInState

public java.util.Collection<MethodInstance> getMethodInstancesForTaskThatAreApplicableInState(ai.libs.jaicore.logic.fol.structure.CNFFormula knowledge,
                                                                                              Method method,
                                                                                              ai.libs.jaicore.logic.fol.structure.Literal task,
                                                                                              ai.libs.jaicore.logic.fol.structure.Monom state,
                                                                                              java.util.List<ai.libs.jaicore.logic.fol.structure.Literal> remainingProblems)
                                                                                       throws java.lang.InterruptedException

Throws:

java.lang.InterruptedException

getActionsForPrimitiveTaskThatAreApplicableInState

public java.util.Collection<Action> getActionsForPrimitiveTaskThatAreApplicableInState(ai.libs.jaicore.logic.fol.structure.CNFFormula knowledge,
                                                                                       Operation op,
                                                                                       ai.libs.jaicore.logic.fol.structure.Literal task,
                                                                                       ai.libs.jaicore.logic.fol.structure.Monom state)
                                                                                throws java.lang.InterruptedException

Throws:

java.lang.InterruptedException

getTaskChainOfTotallyOrderedNetwork

public java.util.List<ai.libs.jaicore.logic.fol.structure.Literal> getTaskChainOfTotallyOrderedNetwork(TaskNetwork network)

getEvaluablePlanningPredicates

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

setEvaluablePlanningPredicates

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

getOperationWithName

public java.util.Optional<? extends Operation> getOperationWithName(STNPlanningDomain domain,
                                                                    java.lang.String nameOfOperation)

recoverPlanFromActionEncoding

public java.util.List<CEOCAction> recoverPlanFromActionEncoding(STNPlanningDomain domain,
                                                                java.util.List<java.lang.String> actionEncodings)