org.jscience.computing.ai.planning
Class LogicalExpressionForAll

java.lang.Object
  org.jscience.computing.ai.planning.CompileTimeObject
      org.jscience.computing.ai.planning.LogicalExpression
          org.jscience.computing.ai.planning.LogicalExpressionForAll

public class LogicalExpressionForAll
extends LogicalExpression

Each ForAll logical expression at compile time is represented as an instance of this class.

Constructor Summary

LogicalExpressionForAll(LogicalExpression premiseIn, LogicalExpression consequenceIn)
To initialize this ForAll logical expression.

Method Summary

java.lang.String	getInitCode() This function produces Java code that implements the classes any object of which can be used at run time to represent the premise and the consequence of the ForAll logical expression this object is representing.
protected void	propagateVarCount(int varCount) To propagate the variable count to the ForAll logical expression represented by this object.
java.lang.String	toCode() This function produces the Java code to create a PreconditionForAll object that represents this ForAll logical expression at run time.

Methods inherited from class org.jscience.computing.ai.planning.LogicalExpression

getClassCnt, getVarCount, setVarCount

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Detail

LogicalExpressionForAll

public LogicalExpressionForAll(LogicalExpression premiseIn,
                               LogicalExpression consequenceIn)

To initialize this ForAll logical expression.

Parameters:

premiseIn - the premise of this ForAll logical expression.

consequenceIn - the consequence of this ForAll logical expression.

Method Detail

getInitCode

public java.lang.String getInitCode()

This function produces Java code that implements the classes any object of which can be used at run time to represent the premise and the consequence of the ForAll logical expression this object is representing.

Specified by:

getInitCode in class LogicalExpression

Returns:

DOCUMENT ME!

propagateVarCount

protected void propagateVarCount(int varCount)

To propagate the variable count to the ForAll logical expression represented by this object.

Specified by:

propagateVarCount in class LogicalExpression

Parameters:

varCount - DOCUMENT ME!

toCode

public java.lang.String toCode()

This function produces the Java code to create a PreconditionForAll object that represents this ForAll logical expression at run time.

Specified by:

toCode in class CompileTimeObject

Returns:

DOCUMENT ME!