org.jscience.computing.ai.planning
Class InternalAxiom

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