Package fr.uga.pddl4j.problem
Class PostInstantiatedProblem
java.lang.Object
fr.uga.pddl4j.problem.AbstractProblem
fr.uga.pddl4j.problem.PreInstantiatedProblem
fr.uga.pddl4j.problem.InstantiatedProblem
fr.uga.pddl4j.problem.PostInstantiatedProblem
 All Implemented Interfaces:
AtomicFormulaSimplifier<Integer>
,Problem
,Serializable
 Direct Known Subclasses:
FinalizedProblem
This class contains all the methods needed to the postinstantiation treatment. In particular, all the methods to
simplify actions and methods that cannot be triggered. These simplifications are based on the construction of the
planning graph of the problem and on the concept of inertia introduced by J. Koehler.
 See Also:
 Serialized Form

Nested Class Summary
Nested classes/interfaces inherited from class fr.uga.pddl4j.problem.AbstractProblem
AbstractProblem.Data

Constructor Summary
ConstructorDescriptionPostInstantiatedProblem(DefaultParsedProblem problem)
Creates a new problem from a domain and problem. 
Method Summary
Modifier and TypeMethodDescriptionprotected void
Do a pass over the effects of a specified list of instantiated actions and update the ground inertia table.protected void
Do a pass over the effects of a specified list of instantiated actions and update the ground inertia table.protected Map<Expression<Integer>,Inertia>
Return the list of ground inertia of the problem.protected Map<Expression<Integer>,Inertia>
Return the list of numeric ground inertia of the problem.protected void
AtomicFormulaSimplifier a specified goal expression based on the ground inertia information.protected void
AtomicFormulaSimplifier a specified expression based on the ground inertia information.protected void
Do a pass over the preconditions and the effects of all the instantiated actions and update the ground inertia table.protected void
Do a pass over the preconditions of all the instantiated methods and update the ground inertia table.protected String
toString(AbstractProblem.Data data)
Returns a string representation of the internal data structure used during instantiation process.Methods inherited from class fr.uga.pddl4j.problem.InstantiatedProblem
getHierarchicalRelevantPrimitiveTasks, getRelevantActions, getRelevantCompoundTasks, getRelevantHierarchicalActions, getRelevantMethods, getRelevantPrimitiveTasks, instantiateActions, instantiateGoal, instantiateInitialTaskNetwork, instantiateMethods
Methods inherited from class fr.uga.pddl4j.problem.PreInstantiatedProblem
createPredicatesTables, extractInertia, extractNumericInertia, getInertia, getNumericInertia, inferTypesFromInertia, printPredicatesTables, simplify, simplifyActionsWithInferredTypes
Methods inherited from class fr.uga.pddl4j.problem.AbstractProblem
finalization, getCompoundTaskSymbols, getConstantSymbols, getDomains, getFunctions, getFunctionSignatures, getIntActions, getIntGoal, getIntInitFunctionCost, getIntInitFunctions, getIntInitialState, getIntInitialTaskNetwork, getIntMethods, getIntTimedFluents, getParsedProblem, getPredicateSignatures, getPredicateSymbols, getPrimitiveTaskSymbols, getRequirements, getTaskSignatures, getTaskSymbols, getTypes, initActions, initCompoundTaskSymbols, initConstants, initEitherTypes, initExpression, initFunctions, initGoal, initialization, initInitialState, initInitialTaskNetwork, initMethods, initPredicates, initPrimitiveTaskSymbols, initRequirements, initTaskNetwork, initTasks, initTypes, instantiate, instantiation, postinstantiation, preinstantiation, setIntInitialTaskNetwork, toShortString, toString, toString, toString, toString, toString, toString, toString
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
Methods inherited from interface fr.uga.pddl4j.problem.Problem
getAcceptedRequirements, getActions, getDurativeActions, getDurativeMethods, getFluents, getGoal, getInitialState, getInitialTaskNetwork, getMethods, getTaskResolvers, getTasks, isSolvable, isTotallyOrdered, toShortString, toString, toString, toString, toString, toString, toString, toString, toString, toString, toString, toString, toString, toString, toString

Constructor Details

PostInstantiatedProblem
Creates a new problem from a domain and problem. Parameters:
problem
 the problem.


Method Details

getGroundInertia
Return the list of ground inertia of the problem. Returns:
 the list of ground inertia of the problem.

getGroundNumericInertia
Return the list of numeric ground inertia of the problem. Returns:
 the list of numeric ground inertia of the problem.

extractGroundInertia
protected void extractGroundInertia()Do a pass over the effects of a specified list of instantiated actions and update the ground inertia table. 
simplifyGoalWithGroundInertia
protected void simplifyGoalWithGroundInertia()AtomicFormulaSimplifier a specified goal expression based on the ground inertia information. 
extractGroundNumericInertia
protected void extractGroundNumericInertia()Do a pass over the effects of a specified list of instantiated actions and update the ground inertia table. 
simplyActionsWithGroundInertia
protected void simplyActionsWithGroundInertia()Do a pass over the preconditions and the effects of all the instantiated actions and update the ground inertia table. Then, simplify the actions according to the extracted ground inertia.* 
simplifyWithGroundInertia
AtomicFormulaSimplifier a specified expression based on the ground inertia information.Definition: A ground fact is a positive ground inertia iff it does not occur positively in an unconditional effect or the consequent of a conditional effect of an action.
Definition: A ground fact is a negative ground inertia iff it does not occur negatively in an unconditional effect or the consequent of a conditional effect of an action.
An initial fact, which is a negative ground inertia, is never made FALSE and thus always satisfied in all reachable world states. It can be removed from the state description. All its occurrences in the preconditions of actions and in the antecedents of conditional effects can be simplified to TRUE. A fact, which is a positive ground inertia and not contained in the initial state, is never satisfied in any reachable world state. All its occurrences in the preconditions of actions and in the antecedents of conditional effects can be simplified to FALSE. The remaining facts are fluents that, roughly speaking, can possibly change their truth value during the planning process. They are therefore relevant to the representation of the planning problem. Parameters:
exp
 the expression to simply.

simplyMethodsWithGroundInertia
protected void simplyMethodsWithGroundInertia()Do a pass over the preconditions of all the instantiated methods and update the ground inertia table. Then, simplify the methods according to the extracted ground inertia. 
toString
Returns a string representation of the internal data structure used during instantiation process. Overrides:
toString
in classPreInstantiatedProblem
 Parameters:
data
 the internal data structure. Returns:
 a string representation of the internal data structure used during instantiation process.
