- 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.
- 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
-
- 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.
- 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.
- 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.
- 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.
- 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.