org.jscience.computing.ai.planning
Class Axiom

java.lang.Object
  extended by org.jscience.computing.ai.planning.DomainElement
      extended by org.jscience.computing.ai.planning.Axiom

public abstract class Axiom
extends DomainElement

Each axiom at run time is represented as a class derived from this abstract class.


Constructor Summary
Axiom(Predicate head, int branchSizeIn)
          To initialize the axiom.
 
Method Summary
 int getBranchSize()
          To get the number of branches in this axiom.
abstract  java.lang.String getLabel(int which)
          To get the label of a given branch of this axiom.
 
Methods inherited from class org.jscience.computing.ai.planning.DomainElement
getHead, getIterator, unify
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Constructor Detail

Axiom

public Axiom(Predicate head,
             int branchSizeIn)
To initialize the axiom.

Parameters:
head - head of the axiom.
branchSizeIn - number of branches in the axiom.
Method Detail

getBranchSize

public int getBranchSize()
To get the number of branches in this axiom.

Returns:
number of branches in this axiom.

getLabel

public abstract java.lang.String getLabel(int which)
To get the label of a given branch of this axiom.

Parameters:
which - the branch the label of which is to be returned.
Returns:
the label for that branch.