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
Method Summary |
abstract java.lang.String |
toString(CoopnEnv env,
int indent)
String conversion method. |
Methods inherited from class java.lang.Object |
finalize, getClass, notify, notifyAll, wait, wait, wait |
ConstraintsExpression
public ConstraintsExpression()
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 displayindent
- the identation factor- Returns:
- a String image of the element.