org.jscience.computing.ai.planning
Class Axiom

java.lang.Object
  org.jscience.computing.ai.planning.DomainElement
      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.