Class TaskPlannerUtil


  • public class TaskPlannerUtil
    extends java.lang.Object
    • 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)