Public Member Functions | |
| boolean | add (AtomicFormula op_name, int k) |
| boolean | equals (Object obj) |
| Set< AtomicFormula > | get (int k) |
| int | hashCode () |
| Iterator< Set< AtomicFormula > > | iterator () |
| int | layers () |
| Plan () | |
| int | size () |
| String | toString () |
Public Attributes | |
| ArrayList< Set< AtomicFormula > > | actions |
Static Public Attributes | |
| static final Plan | EMPTY = new Plan() |
| static final Plan | FAILURE = null |
Private Attributes | |
| int | size |
| boolean Plan.add | ( | AtomicFormula | op_name, |
| int | k | ||
| ) | [inline] |
| boolean Plan.equals | ( | Object | obj | ) | [inline] |
Returns true if this plan is equals to an other object. This method returns true if the object is a not null instance of the class Plan and both plan have the same layers.
| obj | the object to be compared. |
true if this plan is equals to an other object; false otherwise. | Set<AtomicFormula> Plan.get | ( | int | k | ) | [inline] |
| int Plan.hashCode | ( | ) | [inline] |
| Iterator<Set<AtomicFormula> > Plan.iterator | ( | ) | [inline] |
| int Plan.layers | ( | ) | [inline] |
| int Plan.size | ( | ) | [inline] |
| String Plan.toString | ( | ) | [inline] |
| ArrayList<Set<AtomicFormula> > Plan.actions |
final Plan Plan.EMPTY = new Plan() [static] |
final Plan Plan.FAILURE = null [static] |
int Plan.size [private] |