Public Member Functions | Public Attributes | Static Public Attributes | Private Attributes
Plan Class Reference

List of all members.

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

Detailed Description

This class implements a layered plan.

Author:
Damien Pellier
Version:
1.0

Definition at line 47 of file Plan.java.


Constructor & Destructor Documentation

Plan.Plan ( ) [inline]

Creates a new empty plan.

Definition at line 71 of file Plan.java.


Member Function Documentation

boolean Plan.add ( AtomicFormula  op_name,
int  k 
) [inline]

Adds a new action in the k layer of the plan.

Parameters:
op_nameThe action to add.
kthe layer where the action must be added.
Returns:
true if the actions was added; false otherwise.

Definition at line 84 of file Plan.java.

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.

Parameters:
objthe object to be compared.
Returns:
true if this plan is equals to an other object; false otherwise.

Definition at line 145 of file Plan.java.

Set<AtomicFormula> Plan.get ( int  k) [inline]

Returns the set of actions contains in a specified layer.

Parameters:
kthe layer.
Returns:
the set of actions contains in a specified layer.

Definition at line 104 of file Plan.java.

int Plan.hashCode ( ) [inline]

Returns a hash code value for this plan. This method is supported for the benefit of hashtables such as those provided by java.util.Hashtable.

Returns:
a hash code value for this plan.

Definition at line 160 of file Plan.java.

Iterator<Set<AtomicFormula> > Plan.iterator ( ) [inline]

Returns an iterator over the layers of the plan.

Returns:
an iterator over the layers of the plan.

Definition at line 131 of file Plan.java.

int Plan.layers ( ) [inline]

Returns the number of layers of the plan.

Returns:
the number of layers of the plan.

Definition at line 113 of file Plan.java.

int Plan.size ( ) [inline]

Returns the number of actions contains in the plan.

Returns:
the number of actions contains in the plan.

Definition at line 122 of file Plan.java.

String Plan.toString ( ) [inline]

Returns a string representation of this plan.

Returns:
a string representation of this plan.

Definition at line 169 of file Plan.java.


Member Data Documentation

ArrayList<Set<AtomicFormula> > Plan.actions

The list used to store the actions of the plan.

Definition at line 66 of file Plan.java.

final Plan Plan.EMPTY = new Plan() [static]

The constant empty plan.

Definition at line 56 of file Plan.java.

final Plan Plan.FAILURE = null [static]

The constant failure plan.

Definition at line 52 of file Plan.java.

int Plan.size [private]

The size of the plan, i.e., the number of actions contains in the plan.

Definition at line 61 of file Plan.java.


The documentation for this class was generated from the following file:


tug_ist_diagnosis_repair
Author(s): Safdar Zaman
autogenerated on Mon Jan 6 2014 11:51:12