-
propositionsLevel
int[] propositionsLevel
The array used to store the apparition level of the propositions.
-
preconditions
BitVector[] preconditions
The array used to store the preconditions of the operators.
-
effects
BitVector[] effects
The array used to store the effects of the operators.
-
operatorsDependences
BitMatrix operatorsDependences
The dependences between the actions.
-
operatorsMutex
java.util.List<E> operatorsMutex
The list of operators mutual exclusions of the planning graph stored by level.
-
propositionsMutex
java.util.List<E> propositionsMutex
The list of propositions mutual exclusions of the planning graph stored by level.
-
bvgoal
BitVector bvgoal
The bit vector that contains the goal of the planning problem.
-
propsLayer
BitVector propsLayer
The bit vector that represents the propositions layer of the planning graph.
-
opsLayer
BitVector opsLayer
The bit vector that represents the operators layer of the planning graph.
-
propositions
java.lang.String[] propositions
The array that contains the string representation of the propositions. This array can be used
only if the debug flag is true.
-
operators
java.lang.String[] operators
The array that contains the string representation of the operators. This array can be used
only if the debug flag is true.
-
goalReached
boolean goalReached
The flag used to indicate if the goal is reached after the expansion of the planning graph.
-
levelOff
boolean levelOff
The flag used to indicate if the planning graph has reached its level off.
-
achievers
java.util.List<E> achievers
The list that contains for each level and for each proposition which operators produce it.
-
nbPropositions
int nbPropositions
The number of propositions of the problem.
-
nbOperators
int nbOperators
The number of operators of the problem.
-
negOffset
int negOffset
The index of first negative propositions.
-
newOperators
BitVector newOperators
The bit vector used to store the new operators during the planning graph expansion.
-
debug
boolean debug
The flag used to debug.