org.jscience.computing.ai.planning
Class InternalAxiom

java.lang.Object
  extended by org.jscience.computing.ai.planning.CompileTimeObject
      extended by org.jscience.computing.ai.planning.InternalElement
          extended by org.jscience.computing.ai.planning.InternalAxiom

public class InternalAxiom
extends InternalElement

Each axiom at compile time is represented as an instance of this class.


Constructor Summary
InternalAxiom(Predicate head, java.util.Vector branchesIn, java.util.Vector labelsIn)
          To initialize an InternalAxiom object.
 
Method Summary
 java.lang.String toCode()
          This function produces the Java code needed to implement this axiom.
 
Methods inherited from class org.jscience.computing.ai.planning.InternalElement
getCnt, getHead
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Constructor Detail

InternalAxiom

public InternalAxiom(Predicate head,
                     java.util.Vector branchesIn,
                     java.util.Vector labelsIn)
To initialize an InternalAxiom object.

Parameters:
head - head of the axiom.
branchesIn - a Vector of logical expressions each of which represents a branch of the axiom.
labelsIn - a Vector of String labels.
Method Detail

toCode

public java.lang.String toCode()
This function produces the Java code needed to implement this axiom.

Specified by:
toCode in class CompileTimeObject
Returns:
DOCUMENT ME!