Skip navigation links
A B C D E F G H I J L M N O P R S T U V W 

A

AbstractCodedOp - Class in fr.uga.pddl4j.util
This abstract class implements the common part of an operator what ever its representation, i.e., integer or bit set.
AbstractCodedOp(BitOp) - Constructor for class fr.uga.pddl4j.util.AbstractCodedOp
Creates a new operator from an other.
AbstractCodedOp(String, int, double, double) - Constructor for class fr.uga.pddl4j.util.AbstractCodedOp
Creates a new operator with a default cost and duration set to 1.0.
AbstractCodedOp(String, int) - Constructor for class fr.uga.pddl4j.util.AbstractCodedOp
Creates a new operator with a default cost and duration set to 1.0.
AbstractCodedOp(String, int[], int[]) - Constructor for class fr.uga.pddl4j.util.AbstractCodedOp
Creates a new operator.
AbstractHeuristic - Class in fr.uga.pddl4j.heuristics.relaxation
This abstract class implements the basic methods of all heuristics.
AbstractHeuristic(CodedProblem) - Constructor for class fr.uga.pddl4j.heuristics.relaxation.AbstractHeuristic
Create a new heuristic for a specified planning problem.
AbstractPlan - Class in fr.uga.pddl4j.util
This abstract class implements the main methods of a search.
AbstractPlan() - Constructor for class fr.uga.pddl4j.util.AbstractPlan
Creates a new empty search.
AbstractPlan(Plan) - Constructor for class fr.uga.pddl4j.util.AbstractPlan
Creates a new search from an other one.
AbstractPlanner - Class in fr.uga.pddl4j.planners
This abstract class defines the main methods to access a planner.
AbstractPlanner() - Constructor for class fr.uga.pddl4j.planners.AbstractPlanner
Creates a new planner.
AbstractPlanner(boolean, int) - Constructor for class fr.uga.pddl4j.planners.AbstractPlanner
Creates a new planner.
AbstractStateSpacePlanner - Class in fr.uga.pddl4j.planners.statespace
This abstract class defines the main methods to access a state based planner.
AbstractStateSpacePlanner() - Constructor for class fr.uga.pddl4j.planners.statespace.AbstractStateSpacePlanner
Creates a new planner.
AbstractStateSpacePlanner(boolean, int) - Constructor for class fr.uga.pddl4j.planners.statespace.AbstractStateSpacePlanner
Creates a new planner.
AbstractStateSpaceStrategy - Class in fr.uga.pddl4j.planners.statespace.search.strategy
This abstract class defines the main methods for search strategies.
AbstractStateSpaceStrategy() - Constructor for class fr.uga.pddl4j.planners.statespace.search.strategy.AbstractStateSpaceStrategy
Create a new search strategy.
AbstractStateSpaceStrategy(int) - Constructor for class fr.uga.pddl4j.planners.statespace.search.strategy.AbstractStateSpaceStrategy
Create a new search strategy.
AbstractStateSpaceStrategy(int, Heuristic.Type, double) - Constructor for class fr.uga.pddl4j.planners.statespace.search.strategy.AbstractStateSpaceStrategy
Create a new search strategy.
actions() - Method in class fr.uga.pddl4j.util.ParallelPlan
Returns the list of actions contained in the plan in the ordering of their time specifiers.
actions() - Method in interface fr.uga.pddl4j.util.Plan
Returns the list of actions contained in the search in the ordering of their time specifiers.
actions() - Method in class fr.uga.pddl4j.util.SequentialPlan
Returns the list of actions contained in the plan ordered depending on their time specifier.
actions() - Method in class fr.uga.pddl4j.util.TemporalPlan
Returns the list of actions contained in the plan ordered depending on their time specifier.
add(TypedSymbol) - Method in class fr.uga.pddl4j.parser.NamedTypedList
Add a new argument at the end of the list.
add(int, BitOp) - Method in class fr.uga.pddl4j.util.ParallelPlan
Adds an action at a specified time specifier in the plan.
add(int, BitOp) - Method in interface fr.uga.pddl4j.util.Plan
Adds an action at a specified time specifier in the search.
add(int, BitOp) - Method in class fr.uga.pddl4j.util.SequentialPlan
Adds an action at a specified time specifier in the plan.
add(int, BitOp) - Method in class fr.uga.pddl4j.util.TemporalPlan
Adds an action at a specified time specifier in the plan.
addChild(Exp) - Method in class fr.uga.pddl4j.parser.Exp
Attach a new son to this node.
addCondBitEffect(CondBitExp) - Method in class fr.uga.pddl4j.util.BitOp
Adds a conditional effect to the operator.
addConstant(TypedSymbol) - Method in class fr.uga.pddl4j.parser.Domain
Adds a constant to the domain.
addDerivedPredicate(DerivedPredicate) - Method in class fr.uga.pddl4j.parser.Domain
Adds a derived predicate to the domain.
addFunction(NamedTypedList) - Method in class fr.uga.pddl4j.parser.Domain
Adds a function to the domain.
addInitialFact(Exp) - Method in class fr.uga.pddl4j.parser.Problem
Adds an initial fact to the problem.
addObject(TypedSymbol) - Method in class fr.uga.pddl4j.parser.Problem
Adds an object to the problem.
addOperator(Op) - Method in class fr.uga.pddl4j.parser.Domain
Adds an operator to the domain.
addPredicate(NamedTypedList) - Method in class fr.uga.pddl4j.parser.Domain
Adds a predicate to the domain.
addRequirement(RequireKey) - Method in class fr.uga.pddl4j.parser.Domain
Adds a requirements to the domain.
addRequirement(RequireKey) - Method in class fr.uga.pddl4j.parser.Problem
Adds a requirement to the problem.
addType(TypedSymbol) - Method in class fr.uga.pddl4j.parser.Domain
Adds a type to the domain.
addType(Symbol) - Method in class fr.uga.pddl4j.parser.NamedTypedList
Adds a type to this name type list.
addType(Symbol) - Method in class fr.uga.pddl4j.parser.TypedSymbol
Adds a type to this typed token.
AdjustedSum - Class in fr.uga.pddl4j.heuristics.relaxation
This class implement the adjusted sum heuristic.
AdjustedSum(CodedProblem) - Constructor for class fr.uga.pddl4j.heuristics.relaxation.AdjustedSum
Creates a new AdjustedSum heuristic for a specified planning problem.
AdjustedSum2 - Class in fr.uga.pddl4j.heuristics.relaxation
This class implement the adjusted sum 2 heuristic.
AdjustedSum2(CodedProblem) - Constructor for class fr.uga.pddl4j.heuristics.relaxation.AdjustedSum2
Creates a new AdjustedSum2 heuristic for a specified planning problem.
affect(IntExp) - Method in class fr.uga.pddl4j.util.IntExp
Affect this expression to an other.
AjustedSum2M - Class in fr.uga.pddl4j.heuristics.relaxation
This class implement the adjusted sum 2M heuristic.
AjustedSum2M(CodedProblem) - Constructor for class fr.uga.pddl4j.heuristics.relaxation.AjustedSum2M
Creates a new AJUSTED_SUM2M heuristic for a specified planning problem.
apply(BitExp) - Method in class fr.uga.pddl4j.util.BitState
Applies a specified BitExp to this state.
AStar - Class in fr.uga.pddl4j.planners.statespace.search.strategy
This class implements A* search strategy.
AStar() - Constructor for class fr.uga.pddl4j.planners.statespace.search.strategy.AStar
Creates a new AStar search strategy with default parameters.
AStar(int, Heuristic.Type, double) - Constructor for class fr.uga.pddl4j.planners.statespace.search.strategy.AStar
Creates a new AStar search strategy.

B

BitExp - Class in fr.uga.pddl4j.util
This class implements an bit set expression.
BitExp() - Constructor for class fr.uga.pddl4j.util.BitExp
Creates a new bit set expression.
BitExp(BitExp) - Constructor for class fr.uga.pddl4j.util.BitExp
Creates a new bit expression from an other one.
BitExp(BitVector, BitVector) - Constructor for class fr.uga.pddl4j.util.BitExp
Creates a new bit expression from a specified positive and negative bit set that represent respectively the positive and the negative fact of the expression.
BitMatrix - Class in fr.uga.pddl4j.util
This class implements a bit matrix.
BitMatrix(int, int) - Constructor for class fr.uga.pddl4j.util.BitMatrix
Creates a new bit matrix with a specified number of rows and columns.
BitMatrix(int) - Constructor for class fr.uga.pddl4j.util.BitMatrix
Creates a new squared matrix of a specific size.
BitOp - Class in fr.uga.pddl4j.util
This class implements a compact representation for action based on BitSet structure.
BitOp(BitOp) - Constructor for class fr.uga.pddl4j.util.BitOp
Creates a new operator from an other.
BitOp(String, int) - Constructor for class fr.uga.pddl4j.util.BitOp
Creates a new operator.
BitOp(String, int, BitExp, BitExp) - Constructor for class fr.uga.pddl4j.util.BitOp
Creates a new operator.
BitState - Class in fr.uga.pddl4j.util
This class implements a logical state.
BitState() - Constructor for class fr.uga.pddl4j.util.BitState
Creates a new state.
BitState(BitExp) - Constructor for class fr.uga.pddl4j.util.BitState
Creates a new state from a specified BitExp.
BitState(BitState) - Constructor for class fr.uga.pddl4j.util.BitState
Creates a new state from an other state.
BitVector - Class in fr.uga.pddl4j.util
This class implements a bit vector.
BitVector(int) - Constructor for class fr.uga.pddl4j.util.BitVector
Creates a new BitVector with a specific size.
BitVector() - Constructor for class fr.uga.pddl4j.util.BitVector
Creates a new BitVector.
BitVector(BitExp) - Constructor for class fr.uga.pddl4j.util.BitVector
Creates a new BitVector from a specified BitExp.
BitVector(BitVector) - Constructor for class fr.uga.pddl4j.util.BitVector
Creates a new BitVector from an other state.
BreadthFirstSearch - Class in fr.uga.pddl4j.planners.statespace.search.strategy
This class implements Breadth First Search strategy.
BreadthFirstSearch() - Constructor for class fr.uga.pddl4j.planners.statespace.search.strategy.BreadthFirstSearch
Creates a new Greedy best First Search search strategy with default parameters.
BreadthFirstSearch(int) - Constructor for class fr.uga.pddl4j.planners.statespace.search.strategy.BreadthFirstSearch
Creates a new Greedy best First Search search strategy.
byteToMByte(long) - Static method in class fr.uga.pddl4j.planners.Statistics
Converts a size in bytes in mega bytes.

C

cardinality() - Method in class fr.uga.pddl4j.util.BitExp
Returns the cardinality of the bit expression, i.e., the number of propositions contained in the expression.
cardinality() - Method in class fr.uga.pddl4j.util.BitMatrix
Returns the cardinality of the matrix, i.e., the number of bits set to 1 in the matrix.
clear() - Method in class fr.uga.pddl4j.parser.ErrorManager
Initialize the error manager.
clear(int, int) - Method in class fr.uga.pddl4j.util.BitMatrix
Sets the bit at a specified row and column position to false.
clear() - Method in class fr.uga.pddl4j.util.ParallelPlan
Removes all the actions of the plan.
clear() - Method in interface fr.uga.pddl4j.util.Plan
Removes all the actions of the search.
clear() - Method in class fr.uga.pddl4j.util.SequentialPlan
Removes all the actions of the plan.
clear() - Method in class fr.uga.pddl4j.util.TemporalPlan
Removes all the actions of the plan.
CodedOp - Interface in fr.uga.pddl4j.util
This interface defines the main methods of to access to an operator whatever its representation.
CodedProblem - Class in fr.uga.pddl4j.encoding
This class implements a problem where operators are instantiated and encoded in BitSet representation.
CodedProblem(CodedProblem) - Constructor for class fr.uga.pddl4j.encoding.CodedProblem
Create a new CodedProblem copy of another.
columns() - Method in class fr.uga.pddl4j.util.BitMatrix
Returns the number of columns of the matrix.
Combo - Class in fr.uga.pddl4j.heuristics.relaxation
This class implement the combo heuristic.
Combo(CodedProblem) - Constructor for class fr.uga.pddl4j.heuristics.relaxation.Combo
Creates a new COMBO heuristic for a specified planning problem.
compare(Node, Node) - Method in class fr.uga.pddl4j.planners.statespace.search.strategy.NodeComparator
Compare two nodes' weight.
compareTo(Message) - Method in class fr.uga.pddl4j.parser.Message
Compare this message to another message.
CondBitExp - Class in fr.uga.pddl4j.util
This class allows to implements a conditional effects of an operator.
CondBitExp(CondBitExp) - Constructor for class fr.uga.pddl4j.util.CondBitExp
Creates a conditional bit expression from an other.
CondBitExp() - Constructor for class fr.uga.pddl4j.util.CondBitExp
Creates a new empty conditional expression.
CondBitExp(BitExp) - Constructor for class fr.uga.pddl4j.util.CondBitExp
Creates a new conditional expression with some specified effects.
CondBitExp(BitExp, BitExp) - Constructor for class fr.uga.pddl4j.util.CondBitExp
Creates a new conditional expression with some specified conditions and effects.
Connective - Enum in fr.uga.pddl4j.parser
This enumeration defines the connective that can be used in PDDL expressions implemented by the class Exp.
Constants - Class in fr.uga.pddl4j.encoding
This interface defines the constants used during the encoding.
contains(Exp) - Method in class fr.uga.pddl4j.parser.Exp
Returns if a specified expression is contains, i.e., is a sub-expression of this expression.
contains(int, BitOp) - Method in class fr.uga.pddl4j.util.ParallelPlan
Returns if an action is contained in the plan at a specified time specifier.
contains(int, BitOp) - Method in interface fr.uga.pddl4j.util.Plan
Returns if an action is contained in the search at a specified time specifier.
contains(int, BitOp) - Method in class fr.uga.pddl4j.util.SequentialPlan
Returns if an action is contained in the plan at a specified time specifier.
contains(int, BitOp) - Method in class fr.uga.pddl4j.util.TemporalPlan
Returns if an action is contained in the plan at a specified time specifier.
ConversionException - Exception in fr.uga.pddl4j.exceptions
Exception use for issues with expression conversion.
ConversionException(String) - Constructor for exception fr.uga.pddl4j.exceptions.ConversionException
Default constructor with only string message.
ConversionException(String, Throwable) - Constructor for exception fr.uga.pddl4j.exceptions.ConversionException
Default constructor with string message and the Java Throwable cause.
cost() - Method in class fr.uga.pddl4j.util.AbstractPlan
Returns the cost of the search.
cost() - Method in interface fr.uga.pddl4j.util.Plan
Returns the cost of the search.
createHeuristic(Heuristic.Type, CodedProblem) - Static method in class fr.uga.pddl4j.heuristics.relaxation.HeuristicToolKit
Create an heuristic of a specified type.
CriticalPath - Class in fr.uga.pddl4j.heuristics.relaxation
This class will display the critical path based on the Delta Algorithm from the Automated Planning book.
CriticalPath(CodedProblem) - Constructor for class fr.uga.pddl4j.heuristics.relaxation.CriticalPath
 

D

deepSizeOf(Object) - Static method in class fr.uga.pddl4j.util.MemoryAgent
Compute an implementation-specific approximation of the amount of storage consumed by object and by all the objects reachable from it.
DEFAULT_ANYTIME - Static variable in interface fr.uga.pddl4j.planners.statespace.StateSpacePlanner
The default anytime value.
DEFAULT_COST - Static variable in interface fr.uga.pddl4j.util.CodedOp
The default cost of an operator.
DEFAULT_DURATION - Static variable in interface fr.uga.pddl4j.util.CodedOp
The default duration of an operator.
DEFAULT_HEURISTIC - Static variable in interface fr.uga.pddl4j.planners.statespace.StateSpacePlanner
The default heuristicType.
DEFAULT_MEMORY - Static variable in class fr.uga.pddl4j.util.MemoryAgent
The default value of the memory used.
DEFAULT_PLANNER - Static variable in interface fr.uga.pddl4j.planners.Planner
The default planner.
DEFAULT_SKIP_FINAL_FIELD - Static variable in class fr.uga.pddl4j.util.MemoryAgent
The default value of the skipFinalField flag.
DEFAULT_SKIP_FLYWEIGHT_FIELD - Static variable in class fr.uga.pddl4j.util.MemoryAgent
The default value of the skipFlyweightField flag.
DEFAULT_SKIP_STATIC_FIELD - Static variable in class fr.uga.pddl4j.util.MemoryAgent
The default value of the skipStaticField flag.
DEFAULT_STATE_SPACE_PLANNER - Static variable in interface fr.uga.pddl4j.planners.statespace.StateSpacePlanner
The default planner.
DEFAULT_STATISTICS - Static variable in interface fr.uga.pddl4j.planners.Planner
The default statistics value.
DEFAULT_TIMEOUT - Static variable in interface fr.uga.pddl4j.planners.Planner
The default CPU time allocated to the search in seconds.
DEFAULT_TRACE_LEVEL - Static variable in interface fr.uga.pddl4j.planners.Planner
The default trace level.
DEFAULT_TRACE_LEVEL - Static variable in class fr.uga.pddl4j.planners.ProblemFactory
The default trace level.
DEFAULT_VARIABLE_SYMBOL - Static variable in class fr.uga.pddl4j.parser.Symbol
The name of rename variable.
DEFAULT_WEIGHT - Static variable in interface fr.uga.pddl4j.planners.statespace.StateSpacePlanner
The default weight of the heuristic.
DepthFirstSearch - Class in fr.uga.pddl4j.planners.statespace.search.strategy
This class implements Depth First Search strategy.
DepthFirstSearch() - Constructor for class fr.uga.pddl4j.planners.statespace.search.strategy.DepthFirstSearch
Creates a new Greedy best First Search search strategy with default parameters.
DepthFirstSearch(int) - Constructor for class fr.uga.pddl4j.planners.statespace.search.strategy.DepthFirstSearch
Creates a new Greedy best First Search search strategy.
DerivedPredicate - Class in fr.uga.pddl4j.parser
This class implements a derived predicate of the PDDL 3.0 language.
DerivedPredicate(NamedTypedList, Exp) - Constructor for class fr.uga.pddl4j.parser.DerivedPredicate
Creates a new derived predicate with a specific head and body.
Domain - Class in fr.uga.pddl4j.parser
This class implements a planning domain read by the parser.
Domain(Symbol) - Constructor for class fr.uga.pddl4j.parser.Domain
Creates a new domain with a specific name.
DOMAIN - Static variable in interface fr.uga.pddl4j.planners.Planner
The domain key for properties.

E

encode(Domain, Problem) - Static method in class fr.uga.pddl4j.encoding.Encoder
Instantiate, simplify and encode the problem in a compact representation.
encode() - Method in class fr.uga.pddl4j.planners.ProblemFactory
Encodes and instantiates the planning problem.
EncodeOperatorException - Exception in fr.uga.pddl4j.exceptions
Exception use for issues happen when encoding operators.
EncodeOperatorException(String) - Constructor for exception fr.uga.pddl4j.exceptions.EncodeOperatorException
Default constructor with only string message.
EncodeOperatorException(String, Throwable) - Constructor for exception fr.uga.pddl4j.exceptions.EncodeOperatorException
Default constructor with string message and the Java Throwable cause.
Encoder - Class in fr.uga.pddl4j.encoding
This class implements the pre-processing needed to instantiate and encode planning problem in an efficient manner (see On the Instantiation of ADL Operators Involving Arbitrary First-Order Formulas.
EnforcedHillClimbing - Class in fr.uga.pddl4j.planners.statespace.search.strategy
This class implements Enforced Hill Climbing search strategy.
EnforcedHillClimbing() - Constructor for class fr.uga.pddl4j.planners.statespace.search.strategy.EnforcedHillClimbing
Creates a new Enforced Hill Climbing search strategy with default parameters.
EnforcedHillClimbing(int, Heuristic.Type, double) - Constructor for class fr.uga.pddl4j.planners.statespace.search.strategy.EnforcedHillClimbing
Creates a new Enforced Hill Climbing search strategy.
EQUAL_PREDICATE - Static variable in class fr.uga.pddl4j.util.IntExp
The constant used to encode the specific predicate equal.
equals(Object) - Method in class fr.uga.pddl4j.parser.DerivedPredicate
Returns if this derived predicate is equal to another object.
equals(Object) - Method in class fr.uga.pddl4j.parser.Domain
Return if this domain is equal to another specified object.
equals(Object) - Method in class fr.uga.pddl4j.parser.Exp
Return if this expression is equal to another object.
equals(Object) - Method in class fr.uga.pddl4j.parser.Message
Returns if an object is equals to this message.
equals(Object) - Method in class fr.uga.pddl4j.parser.NamedTypedList
Return if this named typed list is equal to another object.
equals(Object) - Method in class fr.uga.pddl4j.parser.Op
Return if this operator is equals to another object.
equals(Object) - Method in class fr.uga.pddl4j.parser.Symbol
Return if this symbol is equal to another object.
equals(Object) - Method in class fr.uga.pddl4j.parser.TypedSymbol
 
equals(Object) - Method in class fr.uga.pddl4j.planners.statespace.search.strategy.Node
Returns if a node is equal to an other object.
equals(Object) - Method in class fr.uga.pddl4j.util.AbstractCodedOp
Returns true if this operator is equal to an object.
equals(Object) - Method in class fr.uga.pddl4j.util.BitExp
Return if a specified object is equals to this expression.
equals(Object) - Method in class fr.uga.pddl4j.util.BitMatrix
Returns true if this matrix is equals to an other object.
equals(Object) - Method in class fr.uga.pddl4j.util.CondBitExp
Returns true if a specified object is equal to this conditional expression.
equals(Object) - Method in class fr.uga.pddl4j.util.IntExp
Return if the expression is equal to an other object.
equals(Object) - Method in class fr.uga.pddl4j.util.ParallelPlan
Returns if the plan is equal to an other object.
equals(Object) - Method in class fr.uga.pddl4j.util.SequentialPlan
Returns if the plan is equal to an other object.
equals(Object) - Method in class fr.uga.pddl4j.util.TemporalPlan
Returns if the plan is equal to an other object.
ErrorManager - Class in fr.uga.pddl4j.parser
This class implements the error manager used by the parser and java PDDL compiler.
ErrorManager() - Constructor for class fr.uga.pddl4j.parser.ErrorManager
Creates a new error manager.
estimate(BitState, BitExp) - Method in class fr.uga.pddl4j.heuristics.relaxation.AdjustedSum
Return the estimated distance to the goal to reach the specified state.
estimate(BitState, BitExp) - Method in class fr.uga.pddl4j.heuristics.relaxation.AdjustedSum2
Return the estimated distance to the goal to reach the specified state.
estimate(BitState, BitExp) - Method in class fr.uga.pddl4j.heuristics.relaxation.AjustedSum2M
Return the estimated distance to the goal to reach the specified state.
estimate(BitState, BitExp) - Method in class fr.uga.pddl4j.heuristics.relaxation.Combo
Return the estimated distance to the goal to reach the specified state.
estimate(BitState, BitExp) - Method in class fr.uga.pddl4j.heuristics.relaxation.CriticalPath
 
estimate(BitState, BitExp) - Method in class fr.uga.pddl4j.heuristics.relaxation.FastForward
Return the estimated distance to the goal to reach the specified state.
estimate(BitState, BitExp) - Method in interface fr.uga.pddl4j.heuristics.relaxation.Heuristic
Return the estimated distance to the goal to reach the specified state.
estimate(BitState, BitExp) - Method in class fr.uga.pddl4j.heuristics.relaxation.Max
Return the estimated distance to the goal to reach the specified state.
estimate(BitState, BitExp) - Method in class fr.uga.pddl4j.heuristics.relaxation.SetLevel
Return the distance to the goal state from the specified state.
estimate(BitState, BitExp) - Method in class fr.uga.pddl4j.heuristics.relaxation.Sum
Return the distance to the goal state from the specified state.
estimate(BitState, BitExp) - Method in class fr.uga.pddl4j.heuristics.relaxation.SumMutex
Return the distance to the goal state from the specified state.
exclude(BitVector) - Method in class fr.uga.pddl4j.util.BitVector
Returns true if this bit vector excludes an other specified BitVector.
Exp - Class in fr.uga.pddl4j.parser
This class implements a parser node used in PDDL expressions.
Exp(Exp) - Constructor for class fr.uga.pddl4j.parser.Exp
Creates a new expression from a other one.
Exp(Connective) - Constructor for class fr.uga.pddl4j.parser.Exp
Creates a new planning node with a specified connective.
expandPlanningGraph(BitState) - Method in class fr.uga.pddl4j.heuristics.relaxation.GraphHeuristic
This method creates the relaxed planning graph from a specified initial state.
expandRelaxedPlanningGraph(BitState) - Method in class fr.uga.pddl4j.heuristics.relaxation.RelaxedGraphHeuristic
This method creates the relaxed planning graph from a specified initial state.
extractPlan(Node, CodedProblem) - Method in class fr.uga.pddl4j.planners.statespace.search.strategy.AbstractStateSpaceStrategy
Extract a plan from a solution node for the specified planning problem.
extractPlan(Node, CodedProblem) - Method in interface fr.uga.pddl4j.planners.statespace.search.strategy.StateSpaceStrategy
Extract a plan from a solution node for the specified planning problem.

F

FastForward - Class in fr.uga.pddl4j.heuristics.relaxation
This class implements the heuristics of the fast forward planner.
FastForward(CodedProblem) - Constructor for class fr.uga.pddl4j.heuristics.relaxation.FastForward
Creates a new FastForward heuristic for a specified planning problem.
FatalException - Exception in fr.uga.pddl4j.exceptions
Exception use to stop pddl4j when fatal error occurred.
FatalException(String) - Constructor for exception fr.uga.pddl4j.exceptions.FatalException
Default constructor with only string message.
FatalException(String, Throwable) - Constructor for exception fr.uga.pddl4j.exceptions.FatalException
Default constructor with string message and the Java Throwable cause.
FF - Class in fr.uga.pddl4j.planners.statespace.ff
This class implements Fast Forward planner based on Enforced Hill Climbing Algorithm and Greedy Best First Search.
FF() - Constructor for class fr.uga.pddl4j.planners.statespace.ff.FF
Creates a new planner with default parameters.
FF(boolean, int) - Constructor for class fr.uga.pddl4j.planners.statespace.ff.FF
Creates a new planner with default parameters for search strategy.
FF(int, Heuristic.Type, double, boolean, int) - Constructor for class fr.uga.pddl4j.planners.statespace.ff.FF
Creates a new planner.
FileException - Exception in fr.uga.pddl4j.exceptions
Exception use when parsing issues.
FileException(String) - Constructor for exception fr.uga.pddl4j.exceptions.FileException
Default constructor with only string message.
FileException(String, Throwable) - Constructor for exception fr.uga.pddl4j.exceptions.FileException
Default constructor with string message and the Java Throwable cause.
fr.uga.pddl4j.encoding - package fr.uga.pddl4j.encoding
This package contains the class needed to instantiate and encode problem in compact representation.
fr.uga.pddl4j.exceptions - package fr.uga.pddl4j.exceptions
This package contains some of the exceptions throws in the pddl4j library.
fr.uga.pddl4j.heuristics.relaxation - package fr.uga.pddl4j.heuristics.relaxation
This package contains the critical path and delete relaxation heuristics implemented in the pddl4j library.
fr.uga.pddl4j.parser - package fr.uga.pddl4j.parser
This package contains the classes of the pddl parser.
fr.uga.pddl4j.planners - package fr.uga.pddl4j.planners
This package contains the classes of planners.
fr.uga.pddl4j.planners.statespace - package fr.uga.pddl4j.planners.statespace
This package contains the classes of state based planners.
fr.uga.pddl4j.planners.statespace.ff - package fr.uga.pddl4j.planners.statespace.ff
This package contains the classes of a Fast Forward planner based on Enforced Hill Climbing Algorithm.
fr.uga.pddl4j.planners.statespace.hsp - package fr.uga.pddl4j.planners.statespace.hsp
This package contains the classes of a simple state space and forward search planner called HSP.
fr.uga.pddl4j.planners.statespace.search.strategy - package fr.uga.pddl4j.planners.statespace.search.strategy
This package contains the classes of the search strategies like Enforced Hill Climbing or A*.
fr.uga.pddl4j.util - package fr.uga.pddl4j.util
This package contains miscellaneous utility classes for the PDDL4J library.

G

get(int, int) - Method in class fr.uga.pddl4j.util.BitMatrix
Returns the value of the bit at a specific position in the matrix.
getActionSet(int) - Method in class fr.uga.pddl4j.util.ParallelPlan
Returns the set of actions at a specified time specifier.
getActionSet(int) - Method in interface fr.uga.pddl4j.util.Plan
Returns the set of actions at a specified time specifier.
getActionSet(int) - Method in class fr.uga.pddl4j.util.SequentialPlan
Returns the set of actions at a specified time specifier.
getActionSet(int) - Method in class fr.uga.pddl4j.util.TemporalPlan
Returns the set of actions at a specified time specifier.
getArguments() - Method in class fr.uga.pddl4j.parser.NamedTypedList
Returns the list of arguments of this list.
getArguments() - Method in class fr.uga.pddl4j.util.IntExp
Returns the list of argument of this expression.
getArity() - Method in class fr.uga.pddl4j.parser.Op
Return the arity of the operator, i.e., the number of parameters of the operator.
getArity() - Method in class fr.uga.pddl4j.util.AbstractCodedOp
Returns the arity of the operator.
getArity() - Method in interface fr.uga.pddl4j.util.CodedOp
Returns the arity of the operator.
getAtom() - Method in class fr.uga.pddl4j.parser.Exp
Returns the atom of this parser node.
getBeginColumn() - Method in class fr.uga.pddl4j.parser.Symbol
Return the begin column of the file where this symbol appear.
getBeginLine() - Method in class fr.uga.pddl4j.parser.Symbol
Return the begin line of the file where this symbol appear.
getBody() - Method in class fr.uga.pddl4j.parser.DerivedPredicate
Returns the body of the derived predicate.
getChildren() - Method in class fr.uga.pddl4j.parser.Exp
Returns the list of child of this parser node.
getChildren() - Method in class fr.uga.pddl4j.util.IntExp
Return the list of children of this expression.
getColumn() - Method in class fr.uga.pddl4j.parser.Message
Returns the column of the file concerned by this message.
getColumn(int) - Method in class fr.uga.pddl4j.util.BitMatrix
Returns the jth column of the matrix.
getCondEffects() - Method in class fr.uga.pddl4j.util.BitOp
Returns the effects of the operator.
getCondition() - Method in class fr.uga.pddl4j.util.CondBitExp
Returns the conditions of the conditional expression.
getConnective() - Method in class fr.uga.pddl4j.parser.Exp
Returns the connective of this parser node.
getConnective() - Method in class fr.uga.pddl4j.util.IntExp
Return the connective of the expression.
getConstant(Symbol) - Method in class fr.uga.pddl4j.parser.Domain
Returns the constant from a specified symbol.
getConstants() - Method in class fr.uga.pddl4j.encoding.CodedProblem
Returns the constants of the problem.
getConstants() - Method in class fr.uga.pddl4j.parser.Domain
Returns the parsed constants in the domain file.
getConstraints() - Method in class fr.uga.pddl4j.parser.Domain
Returns the constraints loaded in the domain file.
getConstraints() - Method in class fr.uga.pddl4j.parser.Problem
Returns the problem constraints loaded or null if the problem has no constraints.
getContent() - Method in class fr.uga.pddl4j.parser.Message
Returns the content of the message.
getCost() - Method in class fr.uga.pddl4j.planners.statespace.search.strategy.Node
Returns the cost to reach the node from the root node.
getCost() - Method in class fr.uga.pddl4j.util.AbstractCodedOp
Returns the cost of the operator.
getCost() - Method in interface fr.uga.pddl4j.util.CodedOp
Returns the cost of the operator.
getCreatedNodes() - Method in class fr.uga.pddl4j.planners.statespace.search.strategy.AbstractStateSpaceStrategy
Returns the number of created nodes.
getCreatedNodes() - Method in interface fr.uga.pddl4j.planners.statespace.search.strategy.StateSpaceStrategy
Returns the number of created nodes.
getDeepSizeOf(Object) - Static method in class fr.uga.pddl4j.util.MemoryAgent
Returns the amount of storage consumed by objectToSize and by all the objects reachable from it.
getDefaultArguments() - Static method in interface fr.uga.pddl4j.planners.Planner
This method return the default arguments of the planner.
getDefaultArguments() - Static method in interface fr.uga.pddl4j.planners.statespace.StateSpacePlanner
This method return the default arguments of the planner.
getDepth() - Method in class fr.uga.pddl4j.planners.statespace.search.strategy.Node
Returns the depth of this node.
getDerivesPredicates() - Method in class fr.uga.pddl4j.parser.Domain
Returns the list of parsed derived predicates.
getDomain() - Method in class fr.uga.pddl4j.parser.Parser
Returns the domain parsed.
getDomain() - Method in class fr.uga.pddl4j.parser.Problem
Returns the name of the domain declared in the problem.
getDomains() - Method in class fr.uga.pddl4j.encoding.CodedProblem
Returns the table of domains for each type of the problem.
getDuration() - Method in class fr.uga.pddl4j.parser.Op
Returns the goal description that represents the duration constraints of the operator.
getDuration() - Method in class fr.uga.pddl4j.util.AbstractCodedOp
Returns the duration of the operator.
getDuration() - Method in interface fr.uga.pddl4j.util.CodedOp
Returns the duration of the operator.
getEffects() - Method in class fr.uga.pddl4j.parser.Op
Returns the goal description that represents the effects of the operator.
getEffects() - Method in class fr.uga.pddl4j.util.CondBitExp
Returns the effects of the conditional expression.
getEndColumn() - Method in class fr.uga.pddl4j.parser.Symbol
Return the end column of the file where this symbol appear.
getEndLine() - Method in class fr.uga.pddl4j.parser.Symbol
Return the end line of the file where this symbol appear.
getErrorManager() - Method in class fr.uga.pddl4j.parser.Parser
Returns the error manager of the parser.
getExploredNodes() - Method in class fr.uga.pddl4j.planners.statespace.search.strategy.AbstractStateSpaceStrategy
Returns the number of explored nodes.
getExploredNodes() - Method in interface fr.uga.pddl4j.planners.statespace.search.strategy.StateSpaceStrategy
Returns the number of explored nodes.
getFile() - Method in class fr.uga.pddl4j.parser.Message
Returns the file concerned by this message.
getFunctions() - Method in class fr.uga.pddl4j.parser.Domain
Returns the parsed functions in the domain file.
getFunctionsSignatures() - Method in class fr.uga.pddl4j.encoding.CodedProblem
Returns the signatures of the functions defined in the problem.
getGoal() - Method in class fr.uga.pddl4j.encoding.CodedProblem
Returns the goal of the problem or null if the goal can is not reachable.
getGoal() - Method in class fr.uga.pddl4j.heuristics.relaxation.AbstractHeuristic
Returns the goal of the relaxed problem to solve in order to compute the heuristic.
getGoal() - Method in class fr.uga.pddl4j.parser.Problem
Returns the list of goal defined in the problem file.
getHead() - Method in class fr.uga.pddl4j.parser.DerivedPredicate
Returns the head of the derived predicate.
getHeuristic() - Method in class fr.uga.pddl4j.planners.statespace.search.strategy.Node
Returns the estimated distance to the goal from the node.
getHeuristicType() - Method in class fr.uga.pddl4j.planners.statespace.search.strategy.AbstractStateSpaceStrategy
Returns the heuristicType to use to solve the planning problem.
getHeuristicType() - Method in interface fr.uga.pddl4j.planners.statespace.search.strategy.StateSpaceStrategy
Returns the heuristicType to use to solve the planning problem.
getImage() - Method in enum fr.uga.pddl4j.parser.Connective
Returns the image of this connective.
getImage() - Method in enum fr.uga.pddl4j.parser.RequireKey
Returns the image of this require key.
getImage() - Method in class fr.uga.pddl4j.parser.Symbol
Return the string image of this symbol.
getInertia() - Method in class fr.uga.pddl4j.encoding.CodedProblem
Returns the inertia status of the predicates defined in the problem.
getInit() - Method in class fr.uga.pddl4j.encoding.CodedProblem
Returns the initial state of the problem.
getInit() - Method in class fr.uga.pddl4j.parser.Problem
Returns the list of initial facts defined in the problem file.
getInstance() - Static method in class fr.uga.pddl4j.planners.ProblemFactory
Returns an instance of this class.
getInstance() - Static method in class fr.uga.pddl4j.planners.statespace.StateSpacePlannerFactory
Returns an instance of this class.
getIntersection(BitVector) - Method in class fr.uga.pddl4j.util.BitVector
Return a bit vector that represents the intersection of this bit vector with an other.
getKind() - Method in class fr.uga.pddl4j.parser.Symbol
Returns the kind of this symbol.
getLine() - Method in class fr.uga.pddl4j.parser.Message
Returns the line of the file concerned by this message.
getLogger() - Method in class fr.uga.pddl4j.planners.AbstractPlanner
Returns the LOGGER of the Planner class.
getLogger() - Static method in interface fr.uga.pddl4j.planners.Planner
Returns the LOGGER of the Planner class.
getLogger() - Static method in interface fr.uga.pddl4j.planners.statespace.StateSpacePlanner
Returns the LOGGER of the Planner class.
getLogLevel() - Static method in class fr.uga.pddl4j.encoding.Encoder
Returns the log level of the planner.
getMaxValue() - Method in class fr.uga.pddl4j.heuristics.relaxation.RelaxedGraphHeuristic
Compute the max heuristic.
getMemoryUsed() - Method in class fr.uga.pddl4j.planners.statespace.search.strategy.AbstractStateSpaceStrategy
Returns the amount of memory used for the search.
getMemoryUsed() - Method in interface fr.uga.pddl4j.planners.statespace.search.strategy.StateSpaceStrategy
Returns the amount of memory used for the search.
getMemoryUsedForProblemRepresentation() - Method in class fr.uga.pddl4j.planners.Statistics
Returns the memory used to encode the planning problem in bytes.
getMemoryUsedToSearch() - Method in class fr.uga.pddl4j.planners.Statistics
Returns the memory used to search a planning problem in bytes.
getMessages() - Method in class fr.uga.pddl4j.parser.ErrorManager
Returns the list of all messages from the error manager.
getMessages(File) - Method in class fr.uga.pddl4j.parser.ErrorManager
Returns the list of messages that concerns a specific file.
getMessages(Message.Type, File) - Method in class fr.uga.pddl4j.parser.ErrorManager
Returns the list of messages of a specific type concerning a specific file.
getMessages(Message.Type) - Method in class fr.uga.pddl4j.parser.ErrorManager
Returns the list of messages of a specific type.
getMetric() - Method in class fr.uga.pddl4j.parser.Problem
Returns the metric of the problem or null if the problem has no metric specification.
getName() - Method in class fr.uga.pddl4j.parser.Domain
Returns the name of the domain.
getName() - Method in class fr.uga.pddl4j.parser.NamedTypedList
Returns the name of this typed list.
getName() - Method in class fr.uga.pddl4j.parser.Op
Returns the name of the operator.
getName() - Method in class fr.uga.pddl4j.parser.Problem
Return the name of the problem.
getName() - Method in class fr.uga.pddl4j.util.AbstractCodedOp
Return the name of this operator.
getName() - Method in interface fr.uga.pddl4j.util.CodedOp
Return the name of this operator.
getNegative() - Method in class fr.uga.pddl4j.util.BitExp
Returns the bit set that represents the negative facts of the expression.
getNumberOfActions() - Method in class fr.uga.pddl4j.planners.Statistics
Returns the number of actions contained in the solved problem .
getNumberOfRelevantFluents() - Method in class fr.uga.pddl4j.planners.Statistics
Returns the number of relevant facts of the solved problem.
getObject(Symbol) - Method in class fr.uga.pddl4j.parser.Problem
Returns the object from a specified symbol.
getObjects() - Method in class fr.uga.pddl4j.parser.Problem
Returns the list of objects declared in the problem file.
getOperator() - Method in class fr.uga.pddl4j.planners.statespace.search.strategy.Node
Returns the operator applied to reach the node.
getOperators() - Method in class fr.uga.pddl4j.encoding.CodedProblem
Returns the list of instantiated operators of the problem.
getOperators() - Method in class fr.uga.pddl4j.heuristics.relaxation.AbstractHeuristic
Returns the operators of the relaxed problem to solve in order to compute the heuristic.
getOperators() - Method in class fr.uga.pddl4j.parser.Domain
Returns the list of parsed ops.
getParameter(Symbol) - Method in class fr.uga.pddl4j.parser.Op
Returns the parameter of the operator that has a specified symbol.
getParameters() - Method in class fr.uga.pddl4j.parser.Op
Returns the list of parameters of the operator.
getParent() - Method in class fr.uga.pddl4j.planners.statespace.search.strategy.Node
Returns the parent node of the node.
getPendingNodes() - Method in class fr.uga.pddl4j.planners.statespace.search.strategy.AbstractStateSpaceStrategy
Returns the number of pending nodes.
getPendingNodes() - Method in interface fr.uga.pddl4j.planners.statespace.search.strategy.StateSpaceStrategy
Returns the number of pending nodes.
getPlanner(Planner.Name) - Method in class fr.uga.pddl4j.planners.statespace.StateSpacePlannerFactory
Returns an instance of the specified state based planner.
getPlanner(Planner.Name, boolean, int) - Method in class fr.uga.pddl4j.planners.statespace.StateSpacePlannerFactory
Returns an instance of the specified state based planner.
getPlanner(Planner.Name, int, Heuristic.Type, double, boolean, int) - Method in class fr.uga.pddl4j.planners.statespace.StateSpacePlannerFactory
Returns an instance of the specified state based planner.
getPositive() - Method in class fr.uga.pddl4j.util.BitExp
Returns the bit set that represents the positive facts of the expression.
getPreconditions() - Method in class fr.uga.pddl4j.parser.Op
Returns the goal description that represents the preconditions of the operator.
getPreconditions() - Method in class fr.uga.pddl4j.util.BitOp
Returns the preconditions of the operator.
getPredicate() - Method in class fr.uga.pddl4j.util.IntExp
Return the predicate of this expression.
getPredicates() - Method in class fr.uga.pddl4j.encoding.CodedProblem
Returns the predicates of the problem.
getPredicates() - Method in class fr.uga.pddl4j.parser.Domain
Returns the parsed predicates in the domain file.
getPredicatesSignatures() - Method in class fr.uga.pddl4j.encoding.CodedProblem
Returns the signatures of the predicates defined in the problem.
getPrefName() - Method in class fr.uga.pddl4j.parser.Exp
Returns the name of the preference.
getProblem() - Method in class fr.uga.pddl4j.parser.Parser
Returns the problem parsed.
getProblem() - Method in class fr.uga.pddl4j.planners.Statistics
Returns the path to the file containing the description of the solved problem.
getRelaxedPlanValue() - Method in class fr.uga.pddl4j.heuristics.relaxation.RelaxedGraphHeuristic
Compute the relaxed plan heuristic value.
getRelevantFacts() - Method in class fr.uga.pddl4j.encoding.CodedProblem
Returns the list of relevant facts used the problem.
getRequirements() - Method in class fr.uga.pddl4j.parser.Domain
Returns the set of requirements.
getRequirements() - Method in class fr.uga.pddl4j.parser.Problem
Returns the set of requirements.
getRevelantFacts() - Method in class fr.uga.pddl4j.heuristics.relaxation.AbstractHeuristic
Returns the relevant facts of the relaxed problem to solve in order to compute the heuristic.
getRow(int) - Method in class fr.uga.pddl4j.util.BitMatrix
Returns the ith row of the matrix.
getSearchingTime() - Method in class fr.uga.pddl4j.planners.statespace.search.strategy.AbstractStateSpaceStrategy
Returns the time spend to find a solution.
getSearchingTime() - Method in interface fr.uga.pddl4j.planners.statespace.search.strategy.StateSpaceStrategy
Returns the time spend to find a solution.
getSizeOf(Object) - Static method in class fr.uga.pddl4j.util.MemoryAgent
Returns the amount of storage consumed by the specified object in bytes.
getStateSpaceStrategies() - Method in class fr.uga.pddl4j.planners.statespace.AbstractStateSpacePlanner
Returns the state space strategies used in the planner.
getStateSpaceStrategies() - Method in interface fr.uga.pddl4j.planners.statespace.StateSpacePlanner
Returns the state space strategies used in the planner.
getStatistics() - Method in class fr.uga.pddl4j.planners.AbstractPlanner
Returns the statistics of the planner.
getStatistics() - Method in interface fr.uga.pddl4j.planners.Planner
Returns the statistics of the planner.
getSumValue() - Method in class fr.uga.pddl4j.heuristics.relaxation.GraphHeuristic
Computes the sum heuristic.
getSumValue() - Method in class fr.uga.pddl4j.heuristics.relaxation.RelaxedGraphHeuristic
Compute the sum heuristic.
getTimeout() - Method in class fr.uga.pddl4j.planners.statespace.search.strategy.AbstractStateSpaceStrategy
Returns the time out of the planner.
getTimeout() - Method in interface fr.uga.pddl4j.planners.statespace.search.strategy.StateSpaceStrategy
Returns the time out of the planner.
getTimeToEncode() - Method in class fr.uga.pddl4j.planners.Statistics
Returns the encoding time, i.e., the time to encode the planning problem in a compact representation.
getTimeToParse() - Method in class fr.uga.pddl4j.planners.Statistics
Return the parsing time, i.e., the time needed to parser the domain and the problem description.
getTimeToSearch() - Method in class fr.uga.pddl4j.planners.Statistics
Returns the search time, i.e., the time needed to find a solution.
getTraceLevel() - Method in class fr.uga.pddl4j.planners.AbstractPlanner
Returns the trace level of the planner.
getTraceLevel() - Method in interface fr.uga.pddl4j.planners.Planner
Returns the trace level of the planner.
getTraceLevel() - Method in class fr.uga.pddl4j.planners.ProblemFactory
Returns the trace level.
getType(Symbol) - Method in class fr.uga.pddl4j.parser.Domain
Returns the type from a specified symbol.
getType() - Method in class fr.uga.pddl4j.parser.Message
Returns the type of the message.
getType() - Method in class fr.uga.pddl4j.util.IntExp
Returns the type of the quantified variable of the expression.
getTypeOfParameters(int) - Method in class fr.uga.pddl4j.util.AbstractCodedOp
Returns the type of the parameter at the specified index.
getTypeOfParameters(int) - Method in interface fr.uga.pddl4j.util.CodedOp
Returns the type of the parameter at the specified index.
getTypes() - Method in class fr.uga.pddl4j.encoding.CodedProblem
Returns the types table of the problem.
getTypes() - Method in class fr.uga.pddl4j.parser.Domain
Returns the parsed types in the domain file.
getTypes() - Method in class fr.uga.pddl4j.parser.NamedTypedList
Returns the list of types of this typed token.
getTypes() - Method in class fr.uga.pddl4j.parser.TypedSymbol
Returns the list of types of this typed token.
getUnconditionalEffects() - Method in class fr.uga.pddl4j.util.BitOp
Returns the unconditional effects of the operator.
getValue() - Method in class fr.uga.pddl4j.parser.Exp
Returns the value of this parser node.
getValue() - Method in class fr.uga.pddl4j.util.IntExp
Returns the value of this expression.
getValueF(double) - Method in class fr.uga.pddl4j.planners.statespace.search.strategy.Node
Returns the value of the heuristic function, i.e., this.node.getCost() + this.node.getHeuristic().
getValueOfParameter(int) - Method in class fr.uga.pddl4j.util.AbstractCodedOp
Returns the value of the parameter at a specified index.
getValueOfParameter(int) - Method in interface fr.uga.pddl4j.util.CodedOp
Returns the value of the parameter at a specified index.
getVariable() - Method in class fr.uga.pddl4j.parser.Exp
Returns the variable of this parser node.
getVariable() - Method in class fr.uga.pddl4j.util.IntExp
Return the variable of the expression.
getVariables() - Method in class fr.uga.pddl4j.parser.Exp
Returns the list of variables of this parser node.
getWeight() - Method in class fr.uga.pddl4j.planners.statespace.search.strategy.AbstractStateSpaceStrategy
Returns the weight set to the heuristic.
getWeight() - Method in interface fr.uga.pddl4j.planners.statespace.search.strategy.StateSpaceStrategy
Returns the weight set to the heuristic.
GraphHeuristic - Class in fr.uga.pddl4j.heuristics.relaxation
This abstract class implements the basic methods used by all heuristics based on the computation of a planning graph with mutual exclusions.
GraphHeuristic(CodedProblem) - Constructor for class fr.uga.pddl4j.heuristics.relaxation.GraphHeuristic
Creates a new RelaxedGraphHeuristic heuristic.
GreedyBestFirstSearch - Class in fr.uga.pddl4j.planners.statespace.search.strategy
This class implements Greedy Best First Search strategy.
GreedyBestFirstSearch() - Constructor for class fr.uga.pddl4j.planners.statespace.search.strategy.GreedyBestFirstSearch
Creates a new Greedy best First Search search strategy with default parameters.
GreedyBestFirstSearch(int, Heuristic.Type, double) - Constructor for class fr.uga.pddl4j.planners.statespace.search.strategy.GreedyBestFirstSearch
Creates a new Greedy best First Search search strategy.

H

hashCode() - Method in class fr.uga.pddl4j.parser.DerivedPredicate
Returns the hash code value of the derived predicate.
hashCode() - Method in class fr.uga.pddl4j.parser.Domain
Returns the hash code value of this domain.
hashCode() - Method in class fr.uga.pddl4j.parser.Exp
Returns the hash code value of this expression.
hashCode() - Method in class fr.uga.pddl4j.parser.Message
Returns the hash code value of this message.
hashCode() - Method in class fr.uga.pddl4j.parser.NamedTypedList
Returns the hash code value of this named typed list.
hashCode() - Method in class fr.uga.pddl4j.parser.Op
Returns the hash code value of the operator.
hashCode() - Method in class fr.uga.pddl4j.parser.Symbol
Returns the hash code value of this symbol.
hashCode() - Method in class fr.uga.pddl4j.parser.TypedSymbol
 
hashCode() - Method in class fr.uga.pddl4j.planners.statespace.search.strategy.Node
Returns the hash code value of the node.
hashCode() - Method in class fr.uga.pddl4j.util.AbstractCodedOp
Returns a hash code value for this operator.
hashCode() - Method in class fr.uga.pddl4j.util.BitExp
Returns the hash code value of the expression.
hashCode() - Method in class fr.uga.pddl4j.util.BitMatrix
Returns the hash code value of this matrix.
hashCode() - Method in class fr.uga.pddl4j.util.CondBitExp
Returns the hash code of this conditional expression.
hashCode() - Method in class fr.uga.pddl4j.util.IntExp
Return the hash code value of the expression.
hashCode() - Method in class fr.uga.pddl4j.util.ParallelPlan
Returns the hash code of this plan.
hashCode() - Method in class fr.uga.pddl4j.util.SequentialPlan
Returns the hash code of this plan.
hashCode() - Method in class fr.uga.pddl4j.util.TemporalPlan
Returns the hash code of this plan.
Heuristic - Interface in fr.uga.pddl4j.heuristics.relaxation
This interface defines the methods accessible from all heuristics.
HEURISTIC - Static variable in interface fr.uga.pddl4j.planners.statespace.StateSpacePlanner
The heuristic key for properties.
Heuristic.Type - Enum in fr.uga.pddl4j.heuristics.relaxation
The type of heuristic implemented.
HeuristicToolKit - Class in fr.uga.pddl4j.heuristics.relaxation
This classes implements useful methods to manipulate the heuristics.
HillClimbing - Class in fr.uga.pddl4j.planners.statespace.search.strategy
This class implements Hill Climnbing search strategy.
HillClimbing() - Constructor for class fr.uga.pddl4j.planners.statespace.search.strategy.HillClimbing
Creates a new Hill Climbing search with default parameters.
HillClimbing(int, Heuristic.Type, double) - Constructor for class fr.uga.pddl4j.planners.statespace.search.strategy.HillClimbing
Creates a new Hill Climbing search strategy.
HSP - Class in fr.uga.pddl4j.planners.statespace.hsp
This class implements a simple forward planner based on A* algorithm.
HSP() - Constructor for class fr.uga.pddl4j.planners.statespace.hsp.HSP
Creates a new planner with default parameters.
HSP(boolean, int) - Constructor for class fr.uga.pddl4j.planners.statespace.hsp.HSP
Creates a new planner with default parameters for search strategy.
HSP(int, Heuristic.Type, double, boolean, int) - Constructor for class fr.uga.pddl4j.planners.statespace.hsp.HSP
Creates a new planner.

I

include(BitVector) - Method in class fr.uga.pddl4j.util.BitVector
Returns true if this bit vector includes an other specified BitVector.
Inertia - Enum in fr.uga.pddl4j.encoding
This class implement the concept of inertia.
instantiations - Variable in class fr.uga.pddl4j.util.AbstractCodedOp
The values that represents the instantiated parameters of the operator.
IntExp - Class in fr.uga.pddl4j.util
This class is used to encode expressions in compact encoding, i.e., with integer representation.
IntExp(IntExp) - Constructor for class fr.uga.pddl4j.util.IntExp
Create a new expression from an other one.
IntExp(Connective) - Constructor for class fr.uga.pddl4j.util.IntExp
Create a new expression with a specified connective.
isAdmissible() - Method in class fr.uga.pddl4j.heuristics.relaxation.AbstractHeuristic
Returns true if this heuristic is admissible.
isAdmissible() - Method in interface fr.uga.pddl4j.heuristics.relaxation.Heuristic
Returns true if this heuristic is admissible.
isAnytime() - Method in class fr.uga.pddl4j.planners.statespace.AbstractStateSpacePlanner
Is planner anytime or not.
isAnytime() - Method in interface fr.uga.pddl4j.planners.statespace.StateSpacePlanner
Is planner anytime or not.
isApplicable(BitState) - Method in class fr.uga.pddl4j.util.BitOp
Returns true if this operators is applicable in a specified state.
isDeclaredConstant(Symbol) - Method in class fr.uga.pddl4j.parser.Domain
Returns if a specified constant symbol was declared.
isDeclaredType(Symbol) - Method in class fr.uga.pddl4j.parser.Domain
Returns if a specified type symbol was declared.
isDummy() - Method in class fr.uga.pddl4j.util.AbstractCodedOp
Returns true if the operator is dummy.
isEmpty() - Method in class fr.uga.pddl4j.parser.ErrorManager
Returns if the error manager is empty, i.e., contains no message of any type.
isEmpty() - Method in class fr.uga.pddl4j.util.AbstractPlan
Returns if the search is empty.
isEmpty() - Method in class fr.uga.pddl4j.util.BitExp
Returns if the expression is empty, i.e., the expression has no positive and no negative facts.
isEmpty() - Method in interface fr.uga.pddl4j.util.Plan
Returns if the search is empty.
isGoalReachable() - Method in class fr.uga.pddl4j.heuristics.relaxation.GraphHeuristic
Return true if the goal is reached in the last proposition level of the expanded planning graph.
isGoalReachable() - Method in class fr.uga.pddl4j.heuristics.relaxation.RelaxedGraphHeuristic
Returns true if the goal is reachable after the planning graph expansion.
isLiteral() - Method in class fr.uga.pddl4j.parser.Exp
Returns if this expression is a literal.
isMalformedExpression() - Method in class fr.uga.pddl4j.parser.Exp
Return if this expression is malformed.
isPreference() - Method in class fr.uga.pddl4j.parser.Exp
Returns if this parser node is a preference.
isSaveState() - Method in class fr.uga.pddl4j.planners.AbstractPlanner
Is statistics generate or not.
isSaveState() - Method in interface fr.uga.pddl4j.planners.Planner
Is statistics generate or not.
isSolvable() - Method in class fr.uga.pddl4j.encoding.CodedProblem
Returns true if this problem is solvable, i.e., if its goal was not simplified to FALSE during the encoding.
isSubType(TypedSymbol, TypedSymbol) - Method in class fr.uga.pddl4j.parser.Domain
Returns if the types of two typed symbol matched, i.e., if the types of the first typed symbol can be viewed as a subtype of the second.
isTimeSpecifierOutOfBound(int) - Method in class fr.uga.pddl4j.util.ParallelPlan
Returns if a specified time specifier is invalid.
isTimeSpecifierOutOfBound(int) - Method in class fr.uga.pddl4j.util.SequentialPlan
Returns if a specified time specifier is invalid.

J

JsonAdapter - Class in fr.uga.pddl4j.encoding
This class is used to convert Java plan into its JSON representation.
JsonAdapter(CodedProblem) - Constructor for class fr.uga.pddl4j.encoding.JsonAdapter
Create a new adapter.

L

LOGGER - Static variable in interface fr.uga.pddl4j.planners.Planner
The logger of the class.
logLexicalError(String, File, int, int) - Method in class fr.uga.pddl4j.parser.ErrorManager
Log an lexical error message.
logParserError(String, File, int, int) - Method in class fr.uga.pddl4j.parser.ErrorManager
Log an error message to the current print stream.
logParserWarning(String, File, int, int) - Method in class fr.uga.pddl4j.parser.ErrorManager
Log a warning message to the current print stream.

M

main(String[]) - Static method in class fr.uga.pddl4j.parser.Parser
The main method of the parser example.
main(String[]) - Static method in class fr.uga.pddl4j.planners.statespace.StateSpacePlannerFactory
The main method of the PDDL4J example.
makespan() - Method in class fr.uga.pddl4j.util.ParallelPlan
Returns the makespan of the plan.
makespan() - Method in interface fr.uga.pddl4j.util.Plan
Returns the makespan of the search.
makespan() - Method in class fr.uga.pddl4j.util.SequentialPlan
Returns the makespan of the plan.
makespan() - Method in class fr.uga.pddl4j.util.TemporalPlan
Returns the makespan of the plan.
MalformedExpException - Exception in fr.uga.pddl4j.exceptions
Thrown to indicate that a malformed expression has occurred.
MalformedExpException() - Constructor for exception fr.uga.pddl4j.exceptions.MalformedExpException
Creates a new malformed expression exception.
MalformedExpException(String) - Constructor for exception fr.uga.pddl4j.exceptions.MalformedExpException
Creates a new malformed expression exception with a specific message.
Max - Class in fr.uga.pddl4j.heuristics.relaxation
This class implements the MAX heuristic.
Max(CodedProblem) - Constructor for class fr.uga.pddl4j.heuristics.relaxation.Max
Creates a new MAX heuristic for a specified planning problem.
MemoryAgent - Class in fr.uga.pddl4j.util
This class implements memory agent enable to compute approximation of the size of java objects.
Message - Class in fr.uga.pddl4j.parser
This class implements an error message that may generated by the parser.
Message(Message.Type, int, int, File, String) - Constructor for class fr.uga.pddl4j.parser.Message
Creates a message with a specified type, line, column, file and content.
Message.Type - Enum in fr.uga.pddl4j.parser
This enumeration defines the type of message log in the error manager.
millisecondToSecond(long) - Static method in class fr.uga.pddl4j.planners.Statistics
Converts a time in milliseconds in seconds.
moveNegationInward() - Method in class fr.uga.pddl4j.parser.Exp
Moves the negation inward the expression.

N

name - Variable in class fr.uga.pddl4j.util.AbstractCodedOp
The name of the operator.
NamedTypedList - Class in fr.uga.pddl4j.parser
This class is used to to parse in the atomic formula skeleton and atomic function skeleton.
NamedTypedList(NamedTypedList) - Constructor for class fr.uga.pddl4j.parser.NamedTypedList
Creates a named typed list from a specified typed list.
NamedTypedList(Symbol) - Constructor for class fr.uga.pddl4j.parser.NamedTypedList
Creates new named typed list with a specified name.
Node - Class in fr.uga.pddl4j.planners.statespace.search.strategy
This class implements a node of the tree search.
Node(BitState) - Constructor for class fr.uga.pddl4j.planners.statespace.search.strategy.Node
Creates a new node from a specified state.
Node(BitState, Node, int, double, double) - Constructor for class fr.uga.pddl4j.planners.statespace.search.strategy.Node
Creates a new node with a specified state, parent node, operator, cost and heuristic value.
Node(BitState, Node, int, double, int, double) - Constructor for class fr.uga.pddl4j.planners.statespace.search.strategy.Node
Creates a new node with a specified state, parent node, operator, cost, depth and heuristic value.
NodeComparator - Class in fr.uga.pddl4j.planners.statespace.search.strategy
This class implements a comparator between nodes.
NodeComparator(double) - Constructor for class fr.uga.pddl4j.planners.statespace.search.strategy.NodeComparator
Build the Node comparator object base on heuristic weight.
normalize() - Method in class fr.uga.pddl4j.parser.DerivedPredicate
Normalizes the derived predicates, i.e, renames the variables contained in the derived predicate and move the negation inward.
normalize() - Method in class fr.uga.pddl4j.parser.Op
Normalizes the operators.
normalize(int) - Method in class fr.uga.pddl4j.parser.Op
Normalizes the operators.
NullParameterException - Exception in fr.uga.pddl4j.exceptions
Exception use for issues happen when encoding operators.
NullParameterException(String) - Constructor for exception fr.uga.pddl4j.exceptions.NullParameterException
Default constructor with only string message.
NullParameterException(String, Throwable) - Constructor for exception fr.uga.pddl4j.exceptions.NullParameterException
Default constructor with string message and the Java Throwable cause.
NUMBER - Static variable in class fr.uga.pddl4j.parser.Parser
The specific symbol number.

O

OBJECT - Static variable in class fr.uga.pddl4j.parser.Parser
The specific symbol object.
Op - Class in fr.uga.pddl4j.parser
This class implements a planning operator parsed.
Op(Op) - Constructor for class fr.uga.pddl4j.parser.Op
Create a new operator from another.
Op(Symbol, List<TypedSymbol>, Exp, Exp) - Constructor for class fr.uga.pddl4j.parser.Op
Creates operator with a specified name, list of parameters, preconditions and effects.
Op(Symbol, List<TypedSymbol>, Exp, Exp, Exp) - Constructor for class fr.uga.pddl4j.parser.Op
Creates operator with a specified name, list of parameters, preconditions and effects.

P

ParallelPlan - Class in fr.uga.pddl4j.util
This class implements a parallel plan based on the Graphplan planner semantic.
ParallelPlan() - Constructor for class fr.uga.pddl4j.util.ParallelPlan
Creates a new empty parallel plan.
ParallelPlan(Plan) - Constructor for class fr.uga.pddl4j.util.ParallelPlan
Creates a new parallel plan from an other.
parameters - Variable in class fr.uga.pddl4j.util.AbstractCodedOp
The list of parameters of the operator.
parse(String) - Method in class fr.uga.pddl4j.parser.Parser
Parses a planning domain and a planning problem from a file path.
parse(File) - Method in class fr.uga.pddl4j.parser.Parser
Parses a planning domain and a planning problem from a file.
parse(String, String) - Method in class fr.uga.pddl4j.parser.Parser
Parses a planning domain and a planning problem from their respective files.
parse(File, File) - Method in class fr.uga.pddl4j.parser.Parser
Parses a planning domain and a planning problem from their respective files.
parse(File, File) - Method in class fr.uga.pddl4j.planners.ProblemFactory
Parses the domain and the problem description.
parse(String, String) - Method in class fr.uga.pddl4j.planners.ProblemFactory
Parses the domain and the problem description.
parseArguments(String[], Properties) - Static method in class fr.uga.pddl4j.planners.statespace.StateSpacePlannerFactory
This method parse the command line and return the arguments.
parseDomain(String) - Method in class fr.uga.pddl4j.parser.Parser
Parses a planning domain from a specific file path.
parseDomain(File) - Method in class fr.uga.pddl4j.parser.Parser
Parses a planning domain from a specific file.
parseDomainAndProblem(String) - Method in class fr.uga.pddl4j.parser.Parser
Parses a planning domain and a planning problem from the specified file path.
parseDomainAndProblem(File) - Method in class fr.uga.pddl4j.parser.Parser
Parses a planning domain and a planning problem from the specified file.
ParseException - Exception in fr.uga.pddl4j.exceptions
Exception use when parsing issues.
ParseException(String) - Constructor for exception fr.uga.pddl4j.exceptions.ParseException
Default constructor with only string message.
ParseException(String, Throwable) - Constructor for exception fr.uga.pddl4j.exceptions.ParseException
Default constructor with string message and the Java Throwable cause.
parseFromStream(InputStream) - Method in class fr.uga.pddl4j.parser.Parser
Parses a planning domain and a planning problem from an input stream.
parseFromStream(InputStream, InputStream) - Method in class fr.uga.pddl4j.parser.Parser
Parses a planning domain and a planning problem from two input streams.
parseFromString(String, String) - Method in class fr.uga.pddl4j.parser.Parser
Parses a planning domain and a planning problem from their respective string description.
parseFromString(String) - Method in class fr.uga.pddl4j.parser.Parser
Parses a planning domain and a planning problem from their respective string description.
parseFromString(String, String) - Method in class fr.uga.pddl4j.planners.ProblemFactory
Parses the domain and the problem description.
parseProblem(String) - Method in class fr.uga.pddl4j.parser.Parser
Parses a planning problem from a specific file path.
parseProblem(File) - Method in class fr.uga.pddl4j.parser.Parser
Parses a planning problem from a specific file.
Parser - Class in fr.uga.pddl4j.parser
Implements the Parser of the PDD4L library.
Parser() - Constructor for class fr.uga.pddl4j.parser.Parser
Create a new Parser.
Plan - Interface in fr.uga.pddl4j.util
This interface defines the main methods of to access a search generated by a planner.
Planner - Interface in fr.uga.pddl4j.planners
This interface defines the main methods of to access a planner.
PLANNER - Static variable in interface fr.uga.pddl4j.planners.Planner
The planner key for properties.
Planner.Name - Enum in fr.uga.pddl4j.planners
This enumeration used to specified the name of the planner implemented in the library.
premain(String, Instrumentation) - Static method in class fr.uga.pddl4j.util.MemoryAgent
Call back method used by the Java VM to inject the java.lang.instrument.Instrument instance.
print(Message.Type) - Method in class fr.uga.pddl4j.parser.ErrorManager
Print the messages log in the error manager.
print(File) - Method in class fr.uga.pddl4j.parser.ErrorManager
Print the messages log in the error manager that concerns a specific file.
print(Message.Type, File) - Method in class fr.uga.pddl4j.parser.ErrorManager
Print the messages log in the error manager of a specific and concerning a specific file.
printAll() - Method in class fr.uga.pddl4j.parser.ErrorManager
Print the all the message of the error manager.
Problem - Class in fr.uga.pddl4j.parser
This class implements a planning problem read by the parser.
Problem(Symbol) - Constructor for class fr.uga.pddl4j.parser.Problem
Creates a new problem with a specific name.
PROBLEM - Static variable in interface fr.uga.pddl4j.planners.Planner
The problem key for properties.
ProblemFactory - Class in fr.uga.pddl4j.planners
This class defines the main methods of to create planning problem.
ProblemFactory() - Constructor for class fr.uga.pddl4j.planners.ProblemFactory
Creates a new problem factory.

R

RelaxedGraphHeuristic - Class in fr.uga.pddl4j.heuristics.relaxation
This abstract class implements the basic methods used by all heuristics based on the computation of a relaxed planning graph ignoring negative effects.
RelaxedGraphHeuristic(CodedProblem) - Constructor for class fr.uga.pddl4j.heuristics.relaxation.RelaxedGraphHeuristic
Creates a new RelaxedGraphHeuristic heuristic.
remove(Exp) - Method in class fr.uga.pddl4j.parser.Exp
Removes all the occurrences of a specified expression contained in this expression and returns true if and only if at least one occurrence was removed.
remove(int, BitOp) - Method in class fr.uga.pddl4j.util.ParallelPlan
Removes an action at a specified time specifier of the plan.
remove(int) - Method in class fr.uga.pddl4j.util.ParallelPlan
Removes all the actions at a specified time specifier of the plan.
remove(int, BitOp) - Method in interface fr.uga.pddl4j.util.Plan
Removes an action at a specified time specifier of the search.
remove(int) - Method in interface fr.uga.pddl4j.util.Plan
Removes all the actions at a specified time specifier of the search.
remove(int, BitOp) - Method in class fr.uga.pddl4j.util.SequentialPlan
Removes an action at a specified time specifier of the plan.
remove(int) - Method in class fr.uga.pddl4j.util.SequentialPlan
Removes all the actions at a specified time specifier of the plan.
remove(int, BitOp) - Method in class fr.uga.pddl4j.util.TemporalPlan
Removes an action at a specified time specifier of the plan.
remove(int) - Method in class fr.uga.pddl4j.util.TemporalPlan
Removes all the actions at a specified time specifier of the plan.
renameVariables() - Method in class fr.uga.pddl4j.parser.Exp
Renames the variables contained in the expression.
renameVariables(Map<String, String>) - Method in class fr.uga.pddl4j.parser.Exp
Renames the variables contained in the expression with a specified symbol, i.e., the variable already renamed.
renameVariables() - Method in class fr.uga.pddl4j.parser.NamedTypedList
Renames the variable contained in this typed list.
renameVariables(int) - Method in class fr.uga.pddl4j.parser.Symbol
Renames the symbol from a specified index.
renameVariables(Map<String, String>) - Method in class fr.uga.pddl4j.parser.Symbol
Renames the symbol from a specified symbolEncoding.
RequireKey - Enum in fr.uga.pddl4j.parser
This enumeration defines the set of PDDL require key.
resetNodesStatistics() - Method in class fr.uga.pddl4j.planners.statespace.search.strategy.AbstractStateSpaceStrategy
Reset Nodes statistics.
rows() - Method in class fr.uga.pddl4j.util.BitMatrix
Returns the number of rows of the matrix.

S

satisfy(BitExp) - Method in class fr.uga.pddl4j.util.BitState
Returns true if this state satisfy a specified expression.
saveInFile(String) - Method in class fr.uga.pddl4j.encoding.JsonAdapter
Save the current jsonPlan into a file.
search(CodedProblem) - Method in interface fr.uga.pddl4j.planners.Planner
Search a plan for the specified planning problem.
search(CodedProblem) - Method in class fr.uga.pddl4j.planners.statespace.ff.FF
Search a solution plan to a specified domain and problem.
search(CodedProblem) - Method in class fr.uga.pddl4j.planners.statespace.hsp.HSP
Solves the planning problem and returns the first solution search found.
search(CodedProblem) - Method in class fr.uga.pddl4j.planners.statespace.search.strategy.AStar
Solves the planning problem and returns the first solution search found.
search(CodedProblem) - Method in class fr.uga.pddl4j.planners.statespace.search.strategy.BreadthFirstSearch
The greedy best first search algorithm.
search(CodedProblem) - Method in class fr.uga.pddl4j.planners.statespace.search.strategy.DepthFirstSearch
The greedy best first search algorithm.
search(CodedProblem) - Method in class fr.uga.pddl4j.planners.statespace.search.strategy.EnforcedHillClimbing
The enforced hill climbing algorithm.
search(CodedProblem) - Method in class fr.uga.pddl4j.planners.statespace.search.strategy.GreedyBestFirstSearch
The greedy best first search algorithm.
search(CodedProblem) - Method in class fr.uga.pddl4j.planners.statespace.search.strategy.HillClimbing
The hill climbing algorithm.
search(CodedProblem) - Method in interface fr.uga.pddl4j.planners.statespace.search.strategy.StateSpaceStrategy
Solves the planning problem and returns the first solution node found.
searchPlan(CodedProblem) - Method in class fr.uga.pddl4j.planners.statespace.search.strategy.AbstractStateSpaceStrategy
Search a solution plan to a specified domain and problem.
searchPlan(CodedProblem) - Method in interface fr.uga.pddl4j.planners.statespace.search.strategy.StateSpaceStrategy
Search a solution plan to a specified domain and problem.
searchSolutionNode(CodedProblem) - Method in class fr.uga.pddl4j.planners.statespace.search.strategy.AbstractStateSpaceStrategy
Search a solution node to a specified domain and problem.
searchSolutionNode(CodedProblem) - Method in interface fr.uga.pddl4j.planners.statespace.search.strategy.StateSpaceStrategy
Search a solution node to a specified domain and problem.
SequentialPlan - Class in fr.uga.pddl4j.util
This class implements a sequential plan.
SequentialPlan() - Constructor for class fr.uga.pddl4j.util.SequentialPlan
Creates a new empty sequential plan.
SequentialPlan(Plan) - Constructor for class fr.uga.pddl4j.util.SequentialPlan
Creates a new sequential plan from an other.
set(int, int) - Method in class fr.uga.pddl4j.util.BitMatrix
Sets the bit at a specified row and column position to true.
setAdmissible(boolean) - Method in class fr.uga.pddl4j.heuristics.relaxation.AbstractHeuristic
Marks the heuristic as admissible or not.
setAnytime(boolean) - Method in class fr.uga.pddl4j.planners.statespace.AbstractStateSpacePlanner
Set the anytime state value.
setAnytime(boolean) - Method in interface fr.uga.pddl4j.planners.statespace.StateSpacePlanner
Set the anytime state value.
setArguments(int[]) - Method in class fr.uga.pddl4j.util.IntExp
Set the arguments of the expression.
setAtom(List<Symbol>) - Method in class fr.uga.pddl4j.parser.Exp
Sets the atom of this node.
setBody(Exp) - Method in class fr.uga.pddl4j.parser.DerivedPredicate
Sets the body of this derived predicate.
setColumn(int) - Method in class fr.uga.pddl4j.parser.Message
Sets the column of the file concerned by this message.
setCondition(BitExp) - Method in class fr.uga.pddl4j.util.CondBitExp
Sets the conditions of the conditional expression.
setConnective(Connective) - Method in class fr.uga.pddl4j.parser.Exp
Set the connective of this node.
setConnective(Connective) - Method in class fr.uga.pddl4j.util.IntExp
Set a new connective to this expression.
setConstraints(Exp) - Method in class fr.uga.pddl4j.parser.Domain
Sets the constraints to the domain.
setConstraints(Exp) - Method in class fr.uga.pddl4j.parser.Problem
Sets the constraints of the problem.
setContent(String) - Method in class fr.uga.pddl4j.parser.Message
Sets the content of the message.
setCost(double) - Method in class fr.uga.pddl4j.planners.statespace.search.strategy.Node
Sets the cost needed to reach the node from the root node.
setCost(double) - Method in class fr.uga.pddl4j.util.AbstractCodedOp
Sets the cost of the operator.
setCost(double) - Method in interface fr.uga.pddl4j.util.CodedOp
Sets the cost of the operator.
setCreatedNodes(int) - Method in class fr.uga.pddl4j.planners.statespace.search.strategy.AbstractStateSpaceStrategy
Sets the number of created nodes.
setCreatedNodes(int) - Method in interface fr.uga.pddl4j.planners.statespace.search.strategy.StateSpaceStrategy
Sets the number of created nodes.
setDepth(int) - Method in class fr.uga.pddl4j.planners.statespace.search.strategy.Node
Set the depth of this node.
setDomain(Symbol) - Method in class fr.uga.pddl4j.parser.Problem
Sets the domain of the problem.
setDummy(boolean) - Method in class fr.uga.pddl4j.util.AbstractCodedOp
Sets the dummy flag of the operator to a specified value.
setDuration(Exp) - Method in class fr.uga.pddl4j.parser.Op
Sets new duration constraints to the operator.
setDuration(double) - Method in class fr.uga.pddl4j.util.AbstractCodedOp
Sets the duration of the operator.
setDuration(double) - Method in interface fr.uga.pddl4j.util.CodedOp
Sets the duration of the operator.
setEffects(Exp) - Method in class fr.uga.pddl4j.parser.Op
Sets new effects to the operator.
setEffects(BitExp) - Method in class fr.uga.pddl4j.util.CondBitExp
Sets the effects of the conditional expression.
setExploredNodes(int) - Method in class fr.uga.pddl4j.planners.statespace.search.strategy.AbstractStateSpaceStrategy
Sets the number of explored nodes.
setExploredNodes(int) - Method in interface fr.uga.pddl4j.planners.statespace.search.strategy.StateSpaceStrategy
Sets the number of explored nodes.
setFile(File) - Method in class fr.uga.pddl4j.parser.Message
Sets the file concerned by this message.
setGoal(BitExp) - Method in class fr.uga.pddl4j.heuristics.relaxation.AbstractHeuristic
Set the goal of the the relaxed problem to solve in order to compute the heuristic.
setGoal(BitExp) - Method in class fr.uga.pddl4j.heuristics.relaxation.GraphHeuristic
Set the goal of the problem to solve in order to compute the heuristic.
setGoal(BitExp) - Method in class fr.uga.pddl4j.heuristics.relaxation.RelaxedGraphHeuristic
Set the goal of the the relaxed problem to solve in order to compute the heuristic.
setGoal(Exp) - Method in class fr.uga.pddl4j.parser.Problem
Sets the goal of the problem.
setHead(NamedTypedList) - Method in class fr.uga.pddl4j.parser.DerivedPredicate
Sets the head of the derived predicate.
setHeuristic(double) - Method in class fr.uga.pddl4j.planners.statespace.search.strategy.Node
Sets the estimated distance to the goal from the node.
setHeuristicType(Heuristic.Type) - Method in class fr.uga.pddl4j.planners.statespace.search.strategy.AbstractStateSpaceStrategy
Sets the heuristicType to use to solved the problem.
setHeuristicType(Heuristic.Type) - Method in interface fr.uga.pddl4j.planners.statespace.search.strategy.StateSpaceStrategy
Sets the heuristicType to use to solved the problem.
setImage(String) - Method in class fr.uga.pddl4j.parser.Symbol
Sets a new image to this symbol.
setKind(Symbol.Kind) - Method in class fr.uga.pddl4j.parser.Symbol
Sets the kind of this symbol.
SetLevel - Class in fr.uga.pddl4j.heuristics.relaxation
This heuristic returns the level of the planning graph where all the propositions of the goal are reached without any mutex free.
SetLevel(CodedProblem) - Constructor for class fr.uga.pddl4j.heuristics.relaxation.SetLevel
Creates a new SET_LEVEL heuristic for a specified planning problem.
setLine(int) - Method in class fr.uga.pddl4j.parser.Message
Sets the line of the file concerned by this message.
setLogLevel(int) - Static method in class fr.uga.pddl4j.encoding.Encoder
Set the log level of the planner.
setMemoryUsed(long) - Method in class fr.uga.pddl4j.planners.statespace.search.strategy.AbstractStateSpaceStrategy
Sets the amount of memory used for the search.
setMemoryUsed(long) - Method in interface fr.uga.pddl4j.planners.statespace.search.strategy.StateSpaceStrategy
Sets the amount of memory used for the search.
setMemoryUsedForProblemRepresentation(long) - Method in class fr.uga.pddl4j.planners.Statistics
Sets the memory used to encode the planning problem in bytes.
setMemoryUsedToSearch(long) - Method in class fr.uga.pddl4j.planners.Statistics
Sets the memory used to search the planning problem in bytes.
setMetric(Exp) - Method in class fr.uga.pddl4j.parser.Problem
Sets the metric of the problem.
setName(Symbol) - Method in class fr.uga.pddl4j.parser.Domain
Sets a name to the domain.
setName(Symbol) - Method in class fr.uga.pddl4j.parser.NamedTypedList
Sets the name of this typed list.
setName(Symbol) - Method in class fr.uga.pddl4j.parser.Op
Sets a new name to the operator.
setName(Symbol) - Method in class fr.uga.pddl4j.parser.Problem
Sets the name of the problem.
setName(String) - Method in class fr.uga.pddl4j.util.AbstractCodedOp
Set the name of the operator.
setName(String) - Method in interface fr.uga.pddl4j.util.CodedOp
Set the name of the operator.
setNumberOfActions(int) - Method in class fr.uga.pddl4j.planners.Statistics
Sets the number of actions of the solved problem .
setNumberOfRelevantFluents(int) - Method in class fr.uga.pddl4j.planners.Statistics
Sets the number of relevant facts of the solved problem.
setOperator(int) - Method in class fr.uga.pddl4j.planners.statespace.search.strategy.Node
Sets the operator applied to reach the node.
setParameters(List<TypedSymbol>) - Method in class fr.uga.pddl4j.parser.Op
Sets a new list of parameters to this operator.
setParent(Node) - Method in class fr.uga.pddl4j.planners.statespace.search.strategy.Node
Sets the parent node of the node.
setPendingNodes(int) - Method in class fr.uga.pddl4j.planners.statespace.search.strategy.AbstractStateSpaceStrategy
Sets the number of pending nodes.
setPendingNodes(int) - Method in interface fr.uga.pddl4j.planners.statespace.search.strategy.StateSpaceStrategy
Sets the number of pending nodes.
setPreconditions(Exp) - Method in class fr.uga.pddl4j.parser.Op
Sets new preconditions to the operator.
setPreconditions(BitExp) - Method in class fr.uga.pddl4j.util.BitOp
Sets the preconditions of the operator.
setPredicate(int) - Method in class fr.uga.pddl4j.util.IntExp
Set a new predicate to this expression.
setPrefName(Symbol) - Method in class fr.uga.pddl4j.parser.Exp
Sets a name to the preference.
setProblem(String) - Method in class fr.uga.pddl4j.planners.Statistics
Sets the path to the file containing the description of the solved problem.
setSaveState(boolean) - Method in class fr.uga.pddl4j.planners.AbstractPlanner
Set the statistics generation value.
setSaveState(boolean) - Method in interface fr.uga.pddl4j.planners.Planner
Set the statistics generation value.
setSearchingTime(long) - Method in class fr.uga.pddl4j.planners.statespace.search.strategy.AbstractStateSpaceStrategy
Sets the time out of the planner.
setSearchingTime(long) - Method in interface fr.uga.pddl4j.planners.statespace.search.strategy.StateSpaceStrategy
Sets the time spend to find a solution.
setTimeOut(int) - Method in class fr.uga.pddl4j.planners.statespace.search.strategy.AbstractStateSpaceStrategy
Sets the time out of the planner.
setTimeOut(int) - Method in interface fr.uga.pddl4j.planners.statespace.search.strategy.StateSpaceStrategy
Sets the time out of the planner.
setTimeToEncode(long) - Method in class fr.uga.pddl4j.planners.Statistics
Sets the encoding time, i.e., the time to encode the planning problem in a compact representation.
setTimeToParse(long) - Method in class fr.uga.pddl4j.planners.Statistics
Sets the parsing time, i.e., the time needed to parser the domain and the problem description.
setTimeToSearch(long) - Method in class fr.uga.pddl4j.planners.Statistics
Sets the search time, i.e., the time needed to find a solution.
setTraceLevel(int) - Method in class fr.uga.pddl4j.planners.AbstractPlanner
Sets the trace level of the planner.
setTraceLevel(int) - Method in interface fr.uga.pddl4j.planners.Planner
Sets the trace level of the planner.
setTraceLevel(int) - Method in class fr.uga.pddl4j.planners.ProblemFactory
Sets the trace level.
setType(Message.Type) - Method in class fr.uga.pddl4j.parser.Message
Sets the type of the message.
setType(int) - Method in class fr.uga.pddl4j.util.IntExp
Set a new type to the quantified variable of the expression.
setTypeOfParameter(int, int) - Method in class fr.uga.pddl4j.util.AbstractCodedOp
Set a new type the parameter at a specified index.
setTypeOfParameter(int, int) - Method in interface fr.uga.pddl4j.util.CodedOp
Set a new type the parameter at a specified index.
setValue(double) - Method in class fr.uga.pddl4j.parser.Exp
Set the value of this node.
setValue(double) - Method in class fr.uga.pddl4j.util.IntExp
Set a new value to the expression.
setValueOfParameter(int, int) - Method in class fr.uga.pddl4j.util.AbstractCodedOp
Instantiate a parameter of the operator at a specified index with a value.
setValueOfParameter(int, int) - Method in interface fr.uga.pddl4j.util.CodedOp
Instantiate a parameter of the operator at a specified index with a value.
setVariable(Symbol) - Method in class fr.uga.pddl4j.parser.Exp
Sets a new variable to this parser node.
setVariable(int) - Method in class fr.uga.pddl4j.util.IntExp
Set a new quantified variable to the expression.
setVariables(List<TypedSymbol>) - Method in class fr.uga.pddl4j.parser.Exp
Sets the parse variable of this node, i.e., the var args in quantifiers.
setWeight(double) - Method in class fr.uga.pddl4j.planners.statespace.search.strategy.AbstractStateSpaceStrategy
Sets the wight of the heuristic.
setWeight(double) - Method in interface fr.uga.pddl4j.planners.statespace.search.strategy.StateSpaceStrategy
Sets the wight of the heuristic.
size() - Method in class fr.uga.pddl4j.util.AbstractPlan
Returns the size of the search.
size() - Method in interface fr.uga.pddl4j.util.Plan
Returns the size of the search.
sizeOf(Object) - Static method in class fr.uga.pddl4j.util.MemoryAgent
Returns an implementation-specific approximation of the amount of storage consumed by the specified object in bytes.
skipFinalField(boolean) - Static method in class fr.uga.pddl4j.util.MemoryAgent
Allows to skip the final field while computing the deep size of an object.
skipFlyweightObject(boolean) - Static method in class fr.uga.pddl4j.util.MemoryAgent
Allows to skip the flyweight object.
skipStaticField(boolean) - Static method in class fr.uga.pddl4j.util.MemoryAgent
Allows to skip the static field while computing the deep size of an object.
standardize() - Method in class fr.uga.pddl4j.parser.Domain
Normalize the domain.
standardize() - Method in class fr.uga.pddl4j.parser.Problem
Normalize the problem.
StateSpacePlanner - Interface in fr.uga.pddl4j.planners.statespace
This interface defines the main methods to access a state space planner.
StateSpacePlannerFactory - Class in fr.uga.pddl4j.planners.statespace
This class defines the main methods to create state based planner.
StateSpaceStrategy - Interface in fr.uga.pddl4j.planners.statespace.search.strategy
This interface defines the main methods for search strategies.
STATISTICS - Static variable in interface fr.uga.pddl4j.planners.Planner
The statistics key for properties.
Statistics - Class in fr.uga.pddl4j.planners
The class implements the statistics of the planner, search time, memory used, etc.
Statistics() - Constructor for class fr.uga.pddl4j.planners.Statistics
Creates a new statistics object to store statistical information about planner performances.
Sum - Class in fr.uga.pddl4j.heuristics.relaxation
This class implements the SUM_ID heuristic.
Sum(CodedProblem) - Constructor for class fr.uga.pddl4j.heuristics.relaxation.Sum
Creates a new SUM_ID heuristic for a specified planning problem.
SumMutex - Class in fr.uga.pddl4j.heuristics.relaxation
This class implements the SUM_ID mutex heuristic is an adaptation of the sum heuristic where mutual exclusion are computed.
SumMutex(CodedProblem) - Constructor for class fr.uga.pddl4j.heuristics.relaxation.SumMutex
Creates a new SUM_MUTEX heuristic for a specified planning problem.
Symbol - Class in fr.uga.pddl4j.parser
This class implements a symbol parsed by the parser.
Symbol(Symbol) - Constructor for class fr.uga.pddl4j.parser.Symbol
Creates a symbol from a specified symbol.
Symbol(Symbol.Kind, Token) - Constructor for class fr.uga.pddl4j.parser.Symbol
Create a new symbol from a specified token.
Symbol(Symbol.Kind, String, int, int, int, int) - Constructor for class fr.uga.pddl4j.parser.Symbol
Create a symbol with a specified image, line and column.
Symbol(Symbol.Kind, String) - Constructor for class fr.uga.pddl4j.parser.Symbol
Creates a new symbol with a specified image.
Symbol.Kind - Enum in fr.uga.pddl4j.parser
The enumeration used to specified the different types of the symbol.

T

TemporalPlan - Class in fr.uga.pddl4j.util
This class implements a temporal plan.
TemporalPlan() - Constructor for class fr.uga.pddl4j.util.TemporalPlan
Creates a new empty temporal plan.
TemporalPlan(Plan) - Constructor for class fr.uga.pddl4j.util.TemporalPlan
Creates a new temporal plan from an other.
TIMEOUT - Static variable in interface fr.uga.pddl4j.planners.Planner
The timeout key for properties.
timeSpecifiers() - Method in class fr.uga.pddl4j.util.ParallelPlan
Returns the ordered set of time specifiers used in this plan.
timeSpecifiers() - Method in interface fr.uga.pddl4j.util.Plan
Returns the ordered set of time specifiers used in this search.
timeSpecifiers() - Method in class fr.uga.pddl4j.util.SequentialPlan
Returns the set of time specifiers used in this plan.
timeSpecifiers() - Method in class fr.uga.pddl4j.util.TemporalPlan
Returns the set of time specifiers used in this plan.
toJsonString(Plan) - Method in class fr.uga.pddl4j.encoding.JsonAdapter
Return a string of the plan in a json format.
toShortString(BitOp) - Method in class fr.uga.pddl4j.encoding.CodedProblem
Returns a short string representation of the specified operator, i.e., only its name and the value of its parameters.
toString(BitOp) - Method in class fr.uga.pddl4j.encoding.CodedProblem
Returns a string representation of the specified operator.
toString(IntExp) - Method in class fr.uga.pddl4j.encoding.CodedProblem
Returns a string representation of an expression.
toString(IntExp, String) - Method in class fr.uga.pddl4j.encoding.CodedProblem
Returns a string representation of an expression.
toString(BitExp) - Method in class fr.uga.pddl4j.encoding.CodedProblem
Returns a string representation of a bit expression.
toString(BitState) - Method in class fr.uga.pddl4j.encoding.CodedProblem
Returns a string representation of a bit state.
toString(CondBitExp) - Method in class fr.uga.pddl4j.encoding.CodedProblem
Returns a string representation of a conditional bit expression.
toString(Plan) - Method in class fr.uga.pddl4j.encoding.CodedProblem
Return a string representation of a search.
toString() - Method in class fr.uga.pddl4j.parser.DerivedPredicate
Returns a string representation of this derived predicate.
toString() - Method in class fr.uga.pddl4j.parser.Domain
Returns a string representation of this domain.
toString() - Method in class fr.uga.pddl4j.parser.Exp
Returns a string representation of this node.
toString() - Method in class fr.uga.pddl4j.parser.Message
Returns a string representation of this message.
toString() - Method in class fr.uga.pddl4j.parser.NamedTypedList
Returns a string representation of this named typed list.
toString() - Method in class fr.uga.pddl4j.parser.Op
Returns a PDDL string representation of the operator.
toString() - Method in class fr.uga.pddl4j.parser.Problem
Returns a string representation of this problem.
toString() - Method in enum fr.uga.pddl4j.parser.RequireKey
Returns a string representation of this require key.
toString() - Method in class fr.uga.pddl4j.parser.Symbol
Returns a string representation of this symbol.
toString() - Method in class fr.uga.pddl4j.parser.TypedSymbol
Returns a string representation of this typed symbol.
toString() - Method in class fr.uga.pddl4j.planners.Statistics
Returns a string representation of this statistics.
toString() - Method in class fr.uga.pddl4j.util.BitMatrix
Returns a string representation of the matrix.
TOTAL_COST - Static variable in class fr.uga.pddl4j.parser.Parser
The specific symbol total-costs.
TOTAL_TIME - Static variable in class fr.uga.pddl4j.parser.Parser
The specific symbol total-costs.
TRACE_LEVEL - Static variable in interface fr.uga.pddl4j.planners.Planner
The trace level key for properties.
TypedSymbol - Class in fr.uga.pddl4j.parser
This class implements a typed symbol.
TypedSymbol(TypedSymbol) - Constructor for class fr.uga.pddl4j.parser.TypedSymbol
Creates a typed symbol from a specified typed symbol.
TypedSymbol(Symbol) - Constructor for class fr.uga.pddl4j.parser.TypedSymbol
Creates a new typed symbol from a specified symbol.

U

UnexpectedExpressionException - Exception in fr.uga.pddl4j.exceptions
Exception use for issues with unexpected expression.
UnexpectedExpressionException(String) - Constructor for exception fr.uga.pddl4j.exceptions.UnexpectedExpressionException
Default constructor with only string message.
UnexpectedExpressionException(String, Throwable) - Constructor for exception fr.uga.pddl4j.exceptions.UnexpectedExpressionException
Default constructor with string message and the Java Throwable cause.
UsageException - Exception in fr.uga.pddl4j.exceptions
Exception use for call that do not respect method contract.
UsageException(String) - Constructor for exception fr.uga.pddl4j.exceptions.UsageException
Default constructor with only string message.
UsageException(String, Throwable) - Constructor for exception fr.uga.pddl4j.exceptions.UsageException
Default constructor with string message and the Java Throwable cause.

V

valueOf(String) - Static method in enum fr.uga.pddl4j.encoding.Inertia
Returns the enum constant of this type with the specified name.
valueOf(String) - Static method in enum fr.uga.pddl4j.heuristics.relaxation.Heuristic.Type
Returns the enum constant of this type with the specified name.
valueOf(String) - Static method in enum fr.uga.pddl4j.parser.Connective
Returns the enum constant of this type with the specified name.
valueOf(String) - Static method in enum fr.uga.pddl4j.parser.Message.Type
Returns the enum constant of this type with the specified name.
valueOf(String) - Static method in enum fr.uga.pddl4j.parser.RequireKey
Returns the enum constant of this type with the specified name.
valueOf(String) - Static method in enum fr.uga.pddl4j.parser.Symbol.Kind
Returns the enum constant of this type with the specified name.
valueOf(String) - Static method in enum fr.uga.pddl4j.planners.Planner.Name
Returns the enum constant of this type with the specified name.
values() - Static method in enum fr.uga.pddl4j.encoding.Inertia
Returns an array containing the constants of this enum type, in the order they are declared.
values() - Static method in enum fr.uga.pddl4j.heuristics.relaxation.Heuristic.Type
Returns an array containing the constants of this enum type, in the order they are declared.
values() - Static method in enum fr.uga.pddl4j.parser.Connective
Returns an array containing the constants of this enum type, in the order they are declared.
values() - Static method in enum fr.uga.pddl4j.parser.Message.Type
Returns an array containing the constants of this enum type, in the order they are declared.
values() - Static method in enum fr.uga.pddl4j.parser.RequireKey
Returns an array containing the constants of this enum type, in the order they are declared.
values() - Static method in enum fr.uga.pddl4j.parser.Symbol.Kind
Returns an array containing the constants of this enum type, in the order they are declared.
values() - Static method in enum fr.uga.pddl4j.planners.Planner.Name
Returns an array containing the constants of this enum type, in the order they are declared.

W

WEIGHT - Static variable in interface fr.uga.pddl4j.planners.statespace.StateSpacePlanner
The weight key for properties.
A B C D E F G H I J L M N O P R S T U V W 
Skip navigation links