Package fr.uga.pddl4j.problem

package fr.uga.pddl4j.problem

This package contains the classes related to a planning problem and used by all planners of the library.

Interface Summary

Interface	Description
AtomicFormula	This interface describes the interface of every atomic formulas.
AtomicFormulaSimplifier<T>	This interface defines the method that must be implemented by object able to simplify atomic formula.
Problem	This interface describes the interface of all planning problem.

Class Summary

Class	Description
AbstractAtomicFormula	This class implements an atomic formula.
AbstractProblem	This class contains all the methods needed to encode a planning problem into int representation before instantiation.
DefaultProblem	This class implements a default problem. this class allows to realize the instantiation of a problem before its resolution.
FinalizedProblem	This class contains all the methods needed to post instantiation process of a planning problem.
Fluent	This class implements a fluent, i.e., a proposition whose truth value changes during planning process.
Goal	This class implements a goal, i.e., a set of positives and negative fluents.
InitialState	This class implements an initial syaye, i.e., the set of known positives and negative fluents.
InstantiatedProblem	This class contains all the methods needed to instantiate the actions and the metods of the problem.
PostInstantiatedProblem	This class contains all the methods needed to the postinstantiation treatment.
PreInstantiatedProblem	This class contains all the methods needed to the pre-treatments carried out before the instantiation of a problem: type inference for non-typed domains and inertia extraction to speed up the instantiation process.
State	This class implements a logical state.
Task	This class implements a task used in HTN planning.

Enum Class Summary

Enum Class	Description
AbstractProblem.Data	The enum used to list the set of internal data structures needed by the instantiation process.
Inertia	This class implement the concept of inertia.

Exception Summary

Exception	Description
RequirementNotSupportedException	A RequirementNotSupportedException is launch to indicate that a method does not support as input a specific problem requirement.