java.util.Map<K,V> addLists
java.util.Map<K,V> deleteLists
java.util.List<E> outputs
java.lang.String name
ai.libs.jaicore.logic.fol.structure.Monom precondition
java.util.List<E> params
ai.libs.jaicore.logic.fol.structure.Monom addList
ai.libs.jaicore.logic.fol.structure.Monom deleteList
ai.libs.jaicore.logic.fol.structure.Monom addList
ai.libs.jaicore.logic.fol.structure.Monom deleteList
Operation operation
java.util.Map<K,V> grounding
TFDRestProblem problem
MethodInstance appliedMethodInstance
Action appliedAction
boolean isGoal
ai.libs.jaicore.logic.fol.structure.Monom state
java.util.List<E> remainingTasks
java.util.Map<K,V> evaluablePlanningPredicates
java.util.Map<K,V> oracleResolvers
ai.libs.jaicore.logic.fol.structure.Monom evaluablePrecondition
java.util.List<E> outputs
IHTNPlanningProblem corePlanningProblem
ai.libs.jaicore.basic.IObjectEvaluator<T,V extends java.lang.Comparable<V>> planEvaluator
java.util.Map<K,V> reducers
java.lang.String name
java.util.List<E> parameters
ai.libs.jaicore.logic.fol.structure.Literal task
ai.libs.jaicore.logic.fol.structure.Monom precondition
TaskNetwork network
boolean lonely
java.util.Collection<E> operations
java.util.Collection<E> methods
STNPlanningDomain domain
ai.libs.jaicore.logic.fol.structure.CNFFormula knowledge
ai.libs.jaicore.logic.fol.structure.Monom init
TaskNetwork network