Serialized Form
-
Package fr.uga.pddl4j.examples.asp
-
Class fr.uga.pddl4j.examples.asp.ASP extends AbstractPlanner implements Serializable
-
Serialized Fields
-
heuristic
StateHeuristic.Name heuristic
The name of the heuristic used by the planner. -
heuristicWeight
double heuristicWeight
The weight of the heuristic.
-
-
-
Class fr.uga.pddl4j.examples.asp.Node extends State implements Serializable
-
Serialized Fields
-
action
int action
The action apply to reach this node. -
cost
double cost
The cost to reach this node from the root node. -
depth
int depth
The depth of the node. -
heuristic
double heuristic
The estimated distance to the goal from this node. -
parent
Node parent
The parent node of this node.
-
-
-
-
Package fr.uga.pddl4j.heuristics
-
Class fr.uga.pddl4j.heuristics.AbstractHeuristic extends Object implements Serializable
-
-
Package fr.uga.pddl4j.heuristics.state
-
Class fr.uga.pddl4j.heuristics.state.AbstractStateHeuristic extends AbstractHeuristic implements Serializable
-
Class fr.uga.pddl4j.heuristics.state.AdjustedSum extends RelaxedGraphHeuristic implements Serializable
-
Class fr.uga.pddl4j.heuristics.state.AdjustedSum2 extends RelaxedGraphHeuristic implements Serializable
-
Class fr.uga.pddl4j.heuristics.state.AjustedSum2M extends RelaxedGraphHeuristic implements Serializable
-
Serialized Fields
-
delta
SetLevel delta
The set level heuristic used to compute the delta function, i.e., the interaction degree among propositions of the goal.
-
-
-
Class fr.uga.pddl4j.heuristics.state.Combo extends RelaxedGraphHeuristic implements Serializable
-
Serialized Fields
-
delta
SetLevel delta
The set level heuristic used to compute the delta function, i.e., the interaction degree among propositions of the goal.
-
-
-
Class fr.uga.pddl4j.heuristics.state.CriticalPath extends RelaxedGraphHeuristic implements Serializable
-
Serialized Fields
-
critical
int critical
The critival path value. -
effect
Condition[] effect
The positive effect set. -
goalCard
int goalCard
The cardinality of the goal. -
neffect
Condition[] neffect
The negative effect set. -
nGoal
int[] nGoal
The negative goal set. -
pGoal
int[] pGoal
The positive goal set. -
precond
Condition[] precond
The precondition set.
-
-
-
Class fr.uga.pddl4j.heuristics.state.FastForward extends RelaxedGraphHeuristic implements Serializable
-
Class fr.uga.pddl4j.heuristics.state.GraphHeuristic extends AbstractStateHeuristic implements Serializable
-
Serialized Fields
-
achievers
List<BitMatrix> achievers
The list that contains for each level and for each proposition which operators produce it. -
bvgoal
BitVector bvgoal
The bit vector that contains the goal of the planning problem. -
debug
boolean debug
The flag used to debug. -
effects
BitVector[] effects
The array used to store the effects of the operators. -
goalReached
boolean goalReached
The flag used to indicate if the goal is reached after the expansion of the planning graph. -
levelOff
boolean levelOff
The flag used to indicate if the planning graph has reached its level off. -
nbOperators
int nbOperators
The number of operators of the problem. -
nbPropositions
int nbPropositions
The number of propositions of the problem. -
negOffset
int negOffset
The index of first negative propositions. -
newOperators
BitVector newOperators
The bit vector used to store the new operators during the planning graph expansion. -
operators
String[] operators
The array that contains the string representation of the operators. This array can be used only if the debug flag is true. -
operatorsDependences
BitMatrix operatorsDependences
The dependences between the actions. -
operatorsMutex
List<BitMatrix> operatorsMutex
The list of operators mutual exclusions of the planning graph stored by level. -
opsLayer
BitVector opsLayer
The bit vector that represents the operators layer of the planning graph. -
preconditions
BitVector[] preconditions
The array used to store the preconditions of the operators. -
propositions
String[] propositions
The array that contains the string representation of the propositions. This array can be used only if the debug flag is true. -
propositionsLevel
int[] propositionsLevel
The array used to store the apparition level of the propositions. -
propositionsMutex
List<BitMatrix> propositionsMutex
The list of propositions mutual exclusions of the planning graph stored by level. -
propsLayer
BitVector propsLayer
The bit vector that represents the propositions layer of the planning graph.
-
-
-
Class fr.uga.pddl4j.heuristics.state.Max extends RelaxedGraphHeuristic implements Serializable
-
Class fr.uga.pddl4j.heuristics.state.RelaxedGraphHeuristic extends AbstractStateHeuristic implements Serializable
-
Serialized Fields
-
effects
Effect[] effects
The array used to store the effects of the operators. -
effectsEdges
Condition[] effectsEdges
The array used to store the effects' edges for each operator. -
goalCardinality
int goalCardinality
The number of goal propositions to reach. -
goalCounter
int goalCounter
The counter used to count the number of goal propositions reached. -
level
int level
The level of the graph. -
nPropLevel
int[] nPropLevel
The array used to store the apparition level of the negative propositions. -
operatorsDifficulty
int[] operatorsDifficulty
The array used to store the difficulty of the operators. -
operatorsLevel
int[] operatorsLevel
The array used to store the first level of apparition of an operator. -
pPropLevel
int[] pPropLevel
The array used to store the apparition level of the positive propositions. -
precondCardinality
int[] precondCardinality
The array used to store for each operator its number of preconditions. -
precondCounters
int[] precondCounters
The array used to store the number of precondition encountered for each operator. -
precondEdges
Condition[] precondEdges
The array used to store the preconditions' edges for each operator. -
preconditions
Condition[] preconditions
The array used to store the preconditions of the operators. -
unconditionalEffects
Effect[] unconditionalEffects
The array used to store the unconditional effect of the operators. -
unconditionalOperators
int[][] unconditionalOperators
The array of unconditional operators of the problem.
-
-
-
Class fr.uga.pddl4j.heuristics.state.SetLevel extends GraphHeuristic implements Serializable
-
Class fr.uga.pddl4j.heuristics.state.Sum extends RelaxedGraphHeuristic implements Serializable
-
Class fr.uga.pddl4j.heuristics.state.SumMutex extends GraphHeuristic implements Serializable
-
-
Package fr.uga.pddl4j.parser
-
Class fr.uga.pddl4j.parser.AbstractParsedObject extends Object implements Serializable
-
Serialized Fields
-
beginColumn
int beginColumn
The begin column of the symbol. -
beginLine
int beginLine
The begin line of the symbol. -
endColumn
int endColumn
The end column of the symbol. -
endLine
int endLine
The end line of the symbol.
-
-
-
Class fr.uga.pddl4j.parser.DefaultParsedProblem extends Object implements Serializable
-
Serialized Fields
-
actions
List<ParsedAction> actions
The list of actions of the domain. -
constants
List<TypedSymbol<String>> constants
The list of constants declared in the domain. -
constraints
Expression<String> constraints
The constraints declared in the domain. -
derivedPredicates
List<ParsedDerivedPredicate> derivedPredicates
The list of derived predicates of the domain. -
domainName
Symbol<String> domainName
The name of the domain. -
functions
List<NamedTypedList> functions
The list of functions used in the domain and the problem. -
goal
Expression<String> goal
The goal of the problem. -
initialFacts
List<Expression<String>> initialFacts
The list of initial facts declared in the problem. -
initialTaskNetwork
ParsedTaskNetwork initialTaskNetwork
The task network of the problem. -
methods
List<ParsedMethod> methods
The list of methods of the domain. -
metric
Expression<String> metric
The metric constraints of the problem. -
objects
List<TypedSymbol<String>> objects
The list of objects declared in the problem. -
predicates
List<NamedTypedList> predicates
The list of predicates used in the domain and the problem. -
problemName
Symbol<String> problemName
The problemName of the problem. -
requirements
Set<RequireKey> requirements
The set of requirements. -
tasks
List<NamedTypedList> tasks
The list of functions used in the domain and the problem. -
types
List<TypedSymbol<String>> types
The list of types declared in the domain.
-
-
-
Class fr.uga.pddl4j.parser.ErrorManager extends Object implements Serializable
-
Class fr.uga.pddl4j.parser.Expression extends Object implements Serializable
-
Serialized Fields
-
arguments
List<Symbol<T>> arguments
The arguments of the atomic formula of this expression. -
children
List<Expression<T>> children
The children expressions of this expression. -
connector
Connector connector
The connector of this expression. -
isPrimtive
boolean isPrimtive
A flag to indicate if this expression represents a primitive task. -
location
Location location
The location of the expression. -
prefName
Symbol<T> prefName
The name of the preference. -
quantifiedVariables
List<TypedSymbol<T>> quantifiedVariables
The quantified variables of the expression. -
symbol
Symbol<T> symbol
The symbol used in the atomic formula. The symbol can be a function symbol a predicate symbol or a task symbol. -
taskID
Symbol<T> taskID
The taskID. Use to the alias of a task atom. -
timeSpecifier
TimeSpecifier timeSpecifier
The time specifier of the symbol. -
value
Double value
The value associate to this expression. -
variable
Symbol<T> variable
The variable.
-
-
-
Class fr.uga.pddl4j.parser.Location extends Object implements Serializable
-
Serialized Fields
-
beginColumn
int beginColumn
The begin column of the symbol. -
beginLine
int beginLine
The begin line of the symbol. -
endColumn
int endColumn
The end column of the symbol. -
endLine
int endLine
The end line of the symbol.
-
-
-
Class fr.uga.pddl4j.parser.MalformedExpressionException extends RuntimeException implements Serializable
-
Class fr.uga.pddl4j.parser.Message extends Object implements Serializable
-
Serialized Fields
-
column
int column
The column concerned by the message. -
content
String content
The content of the message. -
file
File file
The file concerned by the message. -
line
int line
The line concerned by the message. -
type
Message.Type type
The type of message.
-
-
-
Class fr.uga.pddl4j.parser.NamedTypedList extends Object implements Serializable
-
Class fr.uga.pddl4j.parser.ParsedAbstractOperator extends AbstractParsedObject implements Serializable
-
Serialized Fields
-
duration
Expression<String> duration
The duration constraints of the operator. -
name
Symbol<String> name
The name of the operator. -
parameters
List<TypedSymbol<String>> parameters
The list of parameters of the operators. -
preconditions
Expression<String> preconditions
The goal description that represents the preconditions of the operator.
-
-
-
Class fr.uga.pddl4j.parser.ParsedAction extends ParsedAbstractOperator implements Serializable
-
Serialized Fields
-
effects
Expression<String> effects
The goal description that represents the effects of the operator.
-
-
-
Class fr.uga.pddl4j.parser.ParsedDerivedPredicate extends AbstractParsedObject implements Serializable
-
Serialized Fields
-
body
Expression<String> body
The body of the derived predicate. -
head
NamedTypedList head
The head of the derived predicate.
-
-
-
Class fr.uga.pddl4j.parser.ParsedMethod extends ParsedAbstractOperator implements Serializable
-
Serialized Fields
-
task
Expression<String> task
The task performed by the method. -
taskNetwork
ParsedTaskNetwork taskNetwork
The task network of the method.
-
-
-
Class fr.uga.pddl4j.parser.ParsedTaskNetwork extends Object implements Serializable
-
Serialized Fields
-
constraints
Expression<String> constraints
The constraints of the task network. -
isDurative
boolean isDurative
A boolean to indicate if the task network is durative. -
isTotallyOrdered
boolean isTotallyOrdered
A boolean flag to indicate if the task network is totally ordered or not. -
ordering
Expression<String> ordering
The ordering constraints of the task network. -
parameters
List<TypedSymbol<String>> parameters
The parameter of the task network. -
tasks
Expression<String> tasks
The tasks of the task network.
-
-
-
Class fr.uga.pddl4j.parser.Symbol extends Object implements Serializable
-
Serialized Fields
-
location
Location location
The location of the symbol. -
type
SymbolType type
The kind of the symbol. -
value
T value
The value of the symbol.
-
-
-
Class fr.uga.pddl4j.parser.TypedSymbol extends Symbol<T> implements Serializable
-
Class fr.uga.pddl4j.parser.UnexpectedExpressionException extends RuntimeException implements Serializable
-
-
Package fr.uga.pddl4j.plan
-
Class fr.uga.pddl4j.plan.AbstractPlan extends Object implements Serializable
-
Serialized Fields
-
hierarchy
Hierarchy hierarchy
The hierarchical decomposition of this plan.
-
-
-
Class fr.uga.pddl4j.plan.Hierarchy extends Object implements Serializable
-
Serialized Fields
-
counpoudTasks
Map<Integer,Method> counpoudTasks
The list of compound tasks of the hierarchy and their task ID. -
decomposition
Map<Integer,List<Integer>> decomposition
The decomposition of each compund tasks into sub-tasks. -
primtiveTasks
Map<Integer,Action> primtiveTasks
The list of primitive tasks of the hierarchy and their task ID. -
rootTasks
List<Integer> rootTasks
The list of root task of the hierachy.
-
-
-
Class fr.uga.pddl4j.plan.JsonAdapter extends Object implements Serializable
-
Serialized Fields
-
jsonPlan
org.json.simple.JSONObject jsonPlan
Plan in its JSON form. -
problem
Problem problem
The current coded problem the plan is based on.
-
-
-
Class fr.uga.pddl4j.plan.ParallelPlan extends AbstractPlan implements Serializable
-
Class fr.uga.pddl4j.plan.SequentialPlan extends AbstractPlan implements Serializable
-
Class fr.uga.pddl4j.plan.TemporalPlan extends AbstractPlan implements Serializable
-
-
Package fr.uga.pddl4j.planners
-
Class fr.uga.pddl4j.planners.AbstractPlanner extends Object implements Serializable
-
Serialized Fields
-
domain
String domain
The path to the domain of the planner. -
instantiateProblem
Problem instantiateProblem
The instantiated problem. -
parsedProblem
DefaultParsedProblem parsedProblem
The parsed problem. -
parser
Parser parser
The parser of the planner. -
problem
String problem
The path to the problem of the planner. -
statistics
Statistics statistics
The statistics of the planner. -
timeout
int timeout
The timeout of the planner in milliseconds.
-
-
-
Class fr.uga.pddl4j.planners.InvalidConfigurationException extends Exception implements Serializable
-
Class fr.uga.pddl4j.planners.LogLevel extends Object implements Serializable
-
Serialized Fields
-
level
org.apache.logging.log4j.Level level
The level of the log.
-
-
-
Class fr.uga.pddl4j.planners.PlannerConfiguration extends Properties implements Serializable
-
Class fr.uga.pddl4j.planners.ProblemNotSupportedException extends Exception implements Serializable
-
Class fr.uga.pddl4j.planners.Statistics extends Object implements Serializable
-
Serialized Fields
-
memoryForProblem
long memoryForProblem
The memory used to store the problem in bytes. -
memoryUsedToSearch
long memoryUsedToSearch
The memory used to during search in bytes. -
numberOfActions
int numberOfActions
The number of actions of the problem solved. -
numberOfRelevantFacts
int numberOfRelevantFacts
The number of relevant fluents. -
problem
String problem
The to the problem solved. -
timeToEncode
long timeToEncode
The encoding time in ms. -
timeToParse
long timeToParse
The parsing time in ms. -
timeToSearch
long timeToSearch
The search time in ms.
-
-
-
-
Package fr.uga.pddl4j.planners.htn
-
Class fr.uga.pddl4j.planners.htn.AbstractHTNPlanner extends AbstractPlanner implements Serializable
-
-
Package fr.uga.pddl4j.planners.htn.stn
-
Class fr.uga.pddl4j.planners.htn.stn.AbstractSTNNode extends Object implements Serializable
-
Serialized Fields
-
operator
int operator
The operator used to reach this node. -
parent
AbstractSTNNode parent
The parent node of this node. -
state
State state
The state that describes the state of the world reached by the search. -
task
int task
The task processed in the node.
-
-
-
Class fr.uga.pddl4j.planners.htn.stn.AbstractSTNPlanner extends AbstractHTNPlanner implements Serializable
-
Serialized Fields
-
costs
int[] costs
The cost of each task of the problem. -
interactive
boolean interactive
The boolean used to indicate that the planner is in an interactive mode.
-
-
-
Class fr.uga.pddl4j.planners.htn.stn.PFD extends AbstractSTNPlanner implements Serializable
-
Class fr.uga.pddl4j.planners.htn.stn.PFDNode extends AbstractSTNNode implements Serializable
-
Serialized Fields
-
taskNetwork
TaskNetwork taskNetwork
The task network that describes the set of tasks to be accomplished and their constraints that have to be verified.
-
-
-
Class fr.uga.pddl4j.planners.htn.stn.TFD extends AbstractSTNPlanner implements Serializable
-
Class fr.uga.pddl4j.planners.htn.stn.TFDNode extends AbstractSTNNode implements Serializable
-
Serialized Fields
-
tasks
LinkedList<Integer> tasks
The list of tasks to be accomplished.
-
-
-
-
Package fr.uga.pddl4j.planners.statespace
-
Class fr.uga.pddl4j.planners.statespace.AbstractStateSpacePlanner extends AbstractPlanner implements Serializable
-
Serialized Fields
-
heuristic
StateHeuristic.Name heuristic
The name of the heuristic used by the planner. -
heuristicWeight
double heuristicWeight
The weight of the heuristic. -
searchStrategies
List<SearchStrategy.Name> searchStrategies
The list of search strategies used by the planner.
-
-
-
Class fr.uga.pddl4j.planners.statespace.FF extends AbstractStateSpacePlanner implements Serializable
-
Class fr.uga.pddl4j.planners.statespace.GSP extends AbstractStateSpacePlanner implements Serializable
-
Class fr.uga.pddl4j.planners.statespace.HSP extends AbstractStateSpacePlanner implements Serializable
-
-
Package fr.uga.pddl4j.planners.statespace.search
-
Class fr.uga.pddl4j.planners.statespace.search.AbstractStateSpaceSearch extends Object implements Serializable
-
Serialized Fields
-
createdNodes
int createdNodes
The number of created nodes. -
exploredNodes
int exploredNodes
The number of explored nodes. -
heuristic
StateHeuristic.Name heuristic
The heuristic of the planner. -
memoryUsed
long memoryUsed
The amount of memory used for the search. -
pendingNodes
int pendingNodes
The number of pending nodes. -
searchingTime
long searchingTime
The time spend to find a solution. -
timeout
int timeout
The timeout for the search in second. -
weight
double weight
The heuristic weight.
-
-
-
Class fr.uga.pddl4j.planners.statespace.search.AStar extends AbstractStateSpaceSearch implements Serializable
-
Class fr.uga.pddl4j.planners.statespace.search.BreadthFirstSearch extends AbstractStateSpaceSearch implements Serializable
-
Class fr.uga.pddl4j.planners.statespace.search.DepthFirstSearch extends AbstractStateSpaceSearch implements Serializable
-
Class fr.uga.pddl4j.planners.statespace.search.EnforcedHillClimbing extends AbstractStateSpaceSearch implements Serializable
-
Class fr.uga.pddl4j.planners.statespace.search.GreedyBestFirstSearch extends AbstractStateSpaceSearch implements Serializable
-
Class fr.uga.pddl4j.planners.statespace.search.HillClimbing extends AbstractStateSpaceSearch implements Serializable
-
Class fr.uga.pddl4j.planners.statespace.search.Node extends State implements Serializable
-
Serialized Fields
-
action
int action
The action apply to reach this node. -
cost
double cost
The cost to reach this node from the root node. -
depth
int depth
The depth of the node. -
heuristic
double heuristic
The estimated distance to the goal from this node. -
parent
Node parent
The parent node of this node.
-
-
-
Class fr.uga.pddl4j.planners.statespace.search.NodeComparator extends Object implements Serializable
-
Serialized Fields
-
weight
double weight
The weight of the heuristic use for the comparison.
-
-
-
-
Package fr.uga.pddl4j.problem
-
Class fr.uga.pddl4j.problem.AbstractAtomicFormula extends Object implements Serializable
-
Serialized Fields
-
arguments
int[] arguments
The list of arguments of the atomic formula. -
symbol
int symbol
The symbol of the atomic formula.
-
-
-
Class fr.uga.pddl4j.problem.AbstractProblem extends Object implements Serializable
-
Serialized Fields
-
compoundTaskSymbols
Set<String> compoundTaskSymbols
The set compound task symbols, i.e., the set of task symbols used in methods. -
constantSymbols
List<String> constantSymbols
The constant symbols. -
domains
Map<Integer,Set<Symbol<Integer>>> domains
The values domain of associated to the type. -
functionSignatures
List<List<Symbol<Integer>>> functionSignatures
The typed signature of the functions. -
functionSymbols
List<String> functionSymbols
The function symbols. -
intActions
List<IntAction> intActions
The list of actions into int representation. -
intGoal
Expression<Integer> intGoal
The goal representation into in representation. -
intInitFunctionCost
Map<Expression<Integer>,Double> intInitFunctionCost
The initial value of the numeric fluent of the initial state. -
intInitFunctions
Set<Expression<Integer>> intInitFunctions
The set of numeric fluent of the initial state of the problem. -
intInitialState
Set<Expression<Integer>> intInitialState
The set of fluents of the initial state of the problem. -
intInitialTaskNetwork
IntTaskNetwork intInitialTaskNetwork
The initial task network into its integer representation. -
intInitTimeFluents
Set<Expression<Integer>> intInitTimeFluents
The set of timed fluents of the initial state of the problem. -
intMethods
List<IntMethod> intMethods
The list of methods defined in the problem. -
predicateSignatures
List<List<Symbol<Integer>>> predicateSignatures
The typed signature of the predicates. -
predicateSymbols
List<String> predicateSymbols
The predicates symbols. -
primitiveTaskSymbols
Set<String> primitiveTaskSymbols
The set primitive task symbols, i.e., the set of action symbol. -
problem
DefaultParsedProblem problem
The PDDL problem. -
requirements
Set<RequireKey> requirements
The set of requirements of the problem. -
taskSignatures
List<List<Symbol<Integer>>> taskSignatures
The typed signature of the tasks. -
taskSymbols
List<String> taskSymbols
The task symbols. -
typeSymbols
List<String> typeSymbols
The type symbols of the problem.
-
-
-
Class fr.uga.pddl4j.problem.DefaultProblem extends FinalizedProblem implements Serializable
-
Class fr.uga.pddl4j.problem.FinalizedProblem extends PostInstantiatedProblem implements Serializable
-
Serialized Fields
-
actions
List<Action> actions
The list of instantiated actions encoded into bit sets. -
durativeActions
List<DurativeAction> durativeActions
The list of instantiated durative actions encoded into bit sets. -
durativeMethods
List<DurativeMethod> durativeMethods
The list of instantiated durative methods encoded into bit sets. -
fluents
List<Fluent> fluents
The list of relevant fluents. -
goal
Goal goal
The goal of the problem encoded in its final bit set representation. -
initialState
InitialState initialState
The initial state of the problem encoded in its final bit set representation. -
initialTaskNetwork
TaskNetwork initialTaskNetwork
The initial task network. -
intExpFluents
List<Expression<Integer>> intExpFluents
The table of the relevant fluents in the form ofExpression. -
intExpNumericFluents
List<Expression<Integer>> intExpNumericFluents
The table of the relevant numeric fluent in the form ofExpression. -
mapOfFluentIndex
Map<Expression<Integer>,Integer> mapOfFluentIndex
The map used to encode fluents into bit set representation. -
mapOfNumericFluentIndex
Map<Expression<Integer>,Integer> mapOfNumericFluentIndex
The map used to encode numeric fluents into bit set representation. -
mapOfTasksIndex
Map<Expression<Integer>,Integer> mapOfTasksIndex
Returns the map used to encode the task into integer. -
methods
List<Method> methods
The list of instantiated methods encoded into bit sets. -
numericFluents
List<NumericFluent> numericFluents
The list of numeric fluents. -
taskResolvers
List<List<Integer>> taskResolvers
The list containing for each relevant task at a specified the set of resolvers, i.e., action or methods. -
tasks
List<Task> tasks
The list of relevant tasks of the problem.
-
-
-
Class fr.uga.pddl4j.problem.Fluent extends AbstractAtomicFormula implements Serializable
-
Class fr.uga.pddl4j.problem.Goal extends Condition implements Serializable
-
Class fr.uga.pddl4j.problem.InitialState extends AbstractFluentDescription implements Serializable
-
Serialized Fields
-
numericVariables
List<NumericVariable> numericVariables
The list numeric variables and their values.
-
-
-
Class fr.uga.pddl4j.problem.InstantiatedProblem extends PreInstantiatedProblem implements Serializable
-
Serialized Fields
-
relevantActions
List<Integer> relevantActions
The list of relevant actions. -
relevantCompoundTasks
List<Expression<Integer>> relevantCompoundTasks
The list of relevant compound tasks. -
relevantHierarchicalActions
List<Integer> relevantHierarchicalActions
The list of relevant action in the hierarchy of task obtained by decomposing the initial task network of the problem. -
relevantHierarchicalPrimitiveTasks
List<Expression<Integer>> relevantHierarchicalPrimitiveTasks
The list of relevant primitive tasks in the hierarchy of task obtained by decomposing the initial task network of the problem. -
relevantMethods
List<List<Integer>> relevantMethods
The list of relevant methods for a specific task. -
relevantPrimitiveTasks
List<Expression<Integer>> relevantPrimitiveTasks
The list of relevant primitive tasks.
-
-
-
Class fr.uga.pddl4j.problem.PostInstantiatedProblem extends InstantiatedProblem implements Serializable
-
Serialized Fields
-
groundInertia
Map<Expression<Integer>,Inertia> groundInertia
The table that contains the ground inertia. -
numericGroundInertia
Map<Expression<Integer>,Inertia> numericGroundInertia
The table that contains the ground inertia.
-
-
-
Class fr.uga.pddl4j.problem.PreInstantiatedProblem extends AbstractProblem implements Serializable
-
Serialized Fields
-
inertia
List<Inertia> inertia
The table that defines for each predicates its type of inertia. -
inferredDomains
List<Set<Symbol<Integer>>> inferredDomains
The table of inferred domains based on unary inertia encoding. -
numericInertia
List<Inertia> numericInertia
The table that defines for each numeric fluents its type of inertia. -
predicatesTables
List<List<IntMatrix>> predicatesTables
The list of predicates tables used to count the occurrence of a specified predicate in the initial state.
-
-
-
Class fr.uga.pddl4j.problem.RequirementNotSupportedException extends RuntimeException implements Serializable
-
Class fr.uga.pddl4j.problem.State extends BitVector implements Serializable
-
Class fr.uga.pddl4j.problem.Task extends AbstractAtomicFormula implements Serializable
-
Serialized Fields
-
primtive
boolean primtive
The flag used to indicate if the task is primitive or not.
-
-
-
-
Package fr.uga.pddl4j.problem.numeric
-
Class fr.uga.pddl4j.problem.numeric.AbstractNumericExpression extends Object implements Serializable
-
Serialized Fields
-
leftExpression
ArithmeticExpression leftExpression
The left expression of the numeric expression. -
rightExpression
ArithmeticExpression rightExpression
The right expression of the numeric expression.
-
-
-
Class fr.uga.pddl4j.problem.numeric.ArithmeticExpression extends AbstractNumericExpression implements Serializable
-
Serialized Fields
-
numericFluents
int numericFluents
The index of the numeric fluents of this arithmetic expression. -
operator
ArithmeticOperator operator
The operator of the arithmetic expression. -
type
ArithmeticExpression.Type type
The type of the arithmetic expression. -
value
double value
The value of the arithmetic expression.
-
-
-
Class fr.uga.pddl4j.problem.numeric.NumericAssignment extends AbstractNumericExpression implements Serializable
-
Serialized Fields
-
operator
AssignmentOperator operator
The operator of the assignment expression.
-
-
-
Class fr.uga.pddl4j.problem.numeric.NumericConstraint extends AbstractNumericExpression implements Serializable
-
Serialized Fields
-
comparator
NumericComparator comparator
The comparator of the numeric constraints.
-
-
-
Class fr.uga.pddl4j.problem.numeric.NumericFluent extends AbstractAtomicFormula implements Serializable
-
Class fr.uga.pddl4j.problem.numeric.NumericVariable extends ArithmeticExpression implements Serializable
-
-
Package fr.uga.pddl4j.problem.operator
-
Class fr.uga.pddl4j.problem.operator.AbstractDurativeOperator extends AbstractInstantiatedOperator implements Serializable
-
Serialized Fields
-
duration
NumericVariable duration
The duration of the action. -
durationConstraints
List<NumericConstraint> durationConstraints
The duration of the action. -
precondition
TemporalCondition precondition
The time condition of the operator.
-
-
-
Class fr.uga.pddl4j.problem.operator.AbstractFluentDescription extends Object implements Serializable
-
Class fr.uga.pddl4j.problem.operator.AbstractInstantiatedOperator extends Object implements Serializable
-
Serialized Fields
-
dummy
boolean dummy
The flag used to indicate if the operator is dummy. By default, an operator is not dummy. -
instantiations
int[] instantiations
The values that represents the instantiated parameters of the operator. -
name
String name
The name of the operator. -
parameters
int[] parameters
The list of parameters of the operator. The integer value correspond to the type of the parameters.
-
-
-
Class fr.uga.pddl4j.problem.operator.AbstractIntOperator extends AbstractInstantiatedOperator implements Serializable
-
Serialized Fields
-
duration
Expression<Integer> duration
The duration of the action. -
preconditions
Expression<Integer> preconditions
The expression that represents the preconditions of the operator.
-
-
-
Class fr.uga.pddl4j.problem.operator.AbstractOperator extends AbstractInstantiatedOperator implements Serializable
-
Serialized Fields
-
precondition
Condition precondition
The precondition of the operator.
-
-
-
Class fr.uga.pddl4j.problem.operator.AbstractOrderingConstraintNetwork extends Object implements Serializable
-
Class fr.uga.pddl4j.problem.operator.Action extends AbstractOperator implements Serializable
-
Serialized Fields
-
cost
NumericVariable cost
The cost of the action. -
duration
NumericVariable duration
The duration of the action. -
durationConstraints
List<NumericConstraint> durationConstraints
The duration of the action. -
effects
List<ConditionalEffect> effects
The list of effects of the action.
-
-
-
Class fr.uga.pddl4j.problem.operator.Condition extends AbstractFluentDescription implements Serializable
-
Serialized Fields
-
constraints
List<NumericConstraint> constraints
The list of numeric constraints of this precondition.
-
-
-
Class fr.uga.pddl4j.problem.operator.ConditionalEffect extends Object implements Serializable
-
Class fr.uga.pddl4j.problem.operator.DefaultOrderingConstraintNetwork extends AbstractOrderingConstraintNetwork implements Serializable
-
Serialized Fields
-
matrix
SquareBitMatrix matrix
the bit matrix used to store the ordering constrains.
-
-
-
Class fr.uga.pddl4j.problem.operator.DurativeAction extends AbstractDurativeOperator implements Serializable
-
Serialized Fields
-
effects
List<TemporalConditionalEffect> effects
The list of effects of the action.
-
-
-
Class fr.uga.pddl4j.problem.operator.DurativeMethod extends AbstractDurativeOperator implements Serializable
-
Serialized Fields
-
task
int task
The task carries out by this method. -
taskNetwork
TaskNetwork taskNetwork
The task network of the method.
-
-
-
Class fr.uga.pddl4j.problem.operator.Effect extends AbstractFluentDescription implements Serializable
-
Serialized Fields
-
assignments
Set<NumericAssignment> assignments
The list of numeric assignments of this effect.
-
-
-
Class fr.uga.pddl4j.problem.operator.IntAction extends AbstractIntOperator implements Serializable
-
Serialized Fields
-
cost
double cost
The cost of the action. -
effects
Expression<Integer> effects
The expression that represents the effect of the action.
-
-
-
Class fr.uga.pddl4j.problem.operator.IntMethod extends AbstractIntOperator implements Serializable
-
Serialized Fields
-
task
Expression<Integer> task
The task carries out by this method. -
taskNetwork
IntTaskNetwork taskNetwork
The task network of the methode.
-
-
-
Class fr.uga.pddl4j.problem.operator.IntTaskNetwork extends Object implements Serializable
-
Serialized Fields
-
constraints
Expression<Integer> constraints
The expression that represents the constraints of the task network. -
instantiations
int[] instantiations
The values that represents the instantiated parameters of the operator. -
isDurative
boolean isDurative
A boolean to indicate if the task network is durative. -
isTotallyOrdered
boolean isTotallyOrdered
A boolean flag to indicate if the task network is totally ordered or not. -
orderingConstraints
Expression<Integer> orderingConstraints
The expression that represents the ordering constraints of the task network. -
parameters
int[] parameters
The list of parameters of the operator. The integer value correspond to the type of the parameters. -
tasks
Expression<Integer> tasks
The expression that represents the list of tasks of the task network.
-
-
-
Class fr.uga.pddl4j.problem.operator.Method extends AbstractOperator implements Serializable
-
Serialized Fields
-
task
int task
The task carries out by this method. -
taskNetwork
TaskNetwork taskNetwork
The task network of the method.
-
-
-
Class fr.uga.pddl4j.problem.operator.TaskNetwork extends Object implements Serializable
-
Serialized Fields
-
afterConstraints
Map<Integer,Condition> afterConstraints
The list of after constraints. -
beforeConstraints
Map<Integer,Condition> beforeConstraints
The list of before constraints. -
betweenConstraints
Map<Integer,Map<Integer,Condition>> betweenConstraints
The list of between constraints. -
durative
boolean durative
The flag used to indicate that the task network is durative. -
orderingConstraints
DefaultOrderingConstraintNetwork orderingConstraints
The represents the ordering constraints of the task network. -
tasks
List<Integer> tasks
The array that defined the list of task of the task network. Each task is defined as an integer. The integer indicates the index of the task in the task table of the planning problem. -
temporalOrderingConstraints
TemporalOrderingConstraintNetwork temporalOrderingConstraints
The represents the ordering constraints of the task network.
-
-
-
-
Package fr.uga.pddl4j.problem.time
-
Class fr.uga.pddl4j.problem.time.TemporalCondition extends Object implements Serializable
-
Serialized Fields
-
atEnd
Condition atEnd
The condition used to store the 'at end' condition of the time description. -
atStart
Condition atStart
The condition used to store the 'at start' condition of the time description. -
overall
Condition overall
The condition used to store the 'overall' condition of the time description.
-
-
-
Class fr.uga.pddl4j.problem.time.TemporalConditionalEffect extends Object implements Serializable
-
Serialized Fields
-
condition
TemporalCondition condition
The conditions of the expression. -
effect
TemporalEffect effect
The effects associated to the conditions.
-
-
-
Class fr.uga.pddl4j.problem.time.TemporalEffect extends Object implements Serializable
-
Class fr.uga.pddl4j.problem.time.TemporalOrderingConstraintNetwork extends AbstractOrderingConstraintNetwork implements Serializable
-
Serialized Fields
-
network
List<List<TemporalRelation>> network
The matrix used to the store the temporal network.
-
-
-
-
Package fr.uga.pddl4j.util
-
Class fr.uga.pddl4j.util.BitMatrix extends Object implements Serializable
-
Class fr.uga.pddl4j.util.BitSet extends Object implements Serializable
-
Serialization Methods
-
readObject
Reconstitute theBitSetinstance from a stream (i.e., deserialize it).- Throws:
IOException- if an error occurred when reading.ClassNotFoundException- if theBitSetclass can not be found.
-
writeObject
Save the state of theBitSetinstance to a stream (i.e., serialize it).- Throws:
IOException- if an error occurred while writing.
-
-
Serialization Overview
-
The bits in this BitSet. The ith bit is stored in bits[i/64] at bit position i % 64 (where bit position 0 refers to the least significant bit and 63 refers to the most significant bit).
-
-
-
Class fr.uga.pddl4j.util.BitVector extends BitSet implements Serializable
-
Class fr.uga.pddl4j.util.IntMatrix extends Object implements Serializable
-
Serialized Fields
-
dimension
int dimension
The dimension of the matrix. -
matrix
int[] matrix
The integer array used to store the matrix. -
size
int size
The size of the matrix.
-
-
-
Class fr.uga.pddl4j.util.SquareBitMatrix extends BitMatrix implements Serializable
-