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.

InterfaceDescriptionThis interface describes the interface of every atomic formulas.This interface defines the method that must be implemented by object able to simplify atomic formula.This interface describes the interface of all planning problem.

ClassDescriptionThis class implements an atomic formula.This class contains all the methods needed to encode a planning problem into int representation before instantiation.This class implements a default problem. this class allows to realize the instantiation of a problem before its resolution.This class contains all the methods needed to post instantiation process of a planning problem.This class implements a fluent, i.e., a proposition whose truth value changes during planning process.This class implements a goal, i.e., a set of positives and negative fluents.This class implements an initial syaye, i.e., the set of known positives and negative fluents.This class contains all the methods needed to instantiate the actions and the metods of the problem.This class contains all the methods needed to the postinstantiation treatment.This class contains all the methods needed to the pretreatments carried out before the instantiation of a problem: type inference for nontyped domains and inertia extraction to speed up the instantiation process.This class implements a logical state.This class implements a task used in HTN planning.

Enum ClassDescriptionThe enum used to list the set of internal data structures needed by the instantiation process.This class implement the concept of inertia.

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