ConForM.CoopnTools.CoKer.ConstraintsMgr
Class ConstraintsExpression

java.lang.Object
  |
  +--ConForM.CoopnTools.CoKer.ConstraintsMgr.ConstraintsElement
        |
        +--ConForM.CoopnTools.CoKer.ConstraintsMgr.ConstraintsExpression
All Implemented Interfaces:
java.lang.Cloneable, CoopnSyntacticElement, java.io.Serializable
Direct Known Subclasses:
ConstraintsAdditionExpression, ConstraintsConcatExpression, ConstraintsTerm

public abstract class ConstraintsExpression
extends ConstraintsElement

This class implements the constraints expression of the axiom field of a constraints module

See Also:
ConForm.CoopnTools.CoKer.TemporalLogic.HMLFormula.java, Serialized Form

Constructor Summary
ConstraintsExpression()
           
 
Method Summary
abstract  java.lang.String toString(CoopnEnv env, int indent)
          String conversion method.
 
Methods inherited from class ConForM.CoopnTools.CoKer.ConstraintsMgr.ConstraintsElement
clone, cloneConstraintsElement, equals, hashCode, toCompleteString, toCompleteString, toCompleteString, toString, toString, unmodifiableCopy
 
Methods inherited from class java.lang.Object
finalize, getClass, notify, notifyAll, wait, wait, wait
 

Constructor Detail

ConstraintsExpression

public ConstraintsExpression()
Method Detail

toString

public abstract java.lang.String toString(CoopnEnv env,
                                          int indent)
Description copied from class: ConstraintsElement
String conversion method. This routine converts an element into a string representing it, by transforming it using toText.
Overrides:
toString in class ConstraintsElement
Following copied from class: ConForM.CoopnTools.CoKer.ConstraintsMgr.ConstraintsElement
Parameters:
env - the environment deciding the form of the display
indent - the identation factor
Returns:
a String image of the element.