ConForM.CoopnTools.CoKer.ConstraintsMgr
Class ConstraintsLogicalLessOrEqual
java.lang.Object
|
+--ConForM.CoopnTools.CoKer.ConstraintsMgr.ConstraintsElement
|
+--ConForM.CoopnTools.CoKer.ConstraintsMgr.ConstraintsAtom
|
+--ConForM.CoopnTools.CoKer.ConstraintsMgr.ConstraintsLogicalOperation
|
+--ConForM.CoopnTools.CoKer.ConstraintsMgr.ConstraintsLogicalLessOrEqual
- All Implemented Interfaces:
- java.lang.Cloneable, CoopnSyntacticElement, java.io.Serializable
- public class ConstraintsLogicalLessOrEqual
- extends ConstraintsLogicalOperation
This class implements a natural operation of the constraints factor of
a constraints expression of a constraints module
- See Also:
ConForm.CoopnTools.CoKer.TemporalLogic.HMLFormula.java
, Serialized Form
Methods inherited from class java.lang.Object |
finalize, getClass, notify, notifyAll, wait, wait, wait |
ConstraintsLogicalLessOrEqual
public ConstraintsLogicalLessOrEqual(ConstraintsExpression left,
ConstraintsExpression right)
- Simple constructor.
Construction of a binary operation of Term-N
toString
public 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.
toCompleteString
public java.lang.String toCompleteString(CoopnEnv env,
int indent)
- Description copied from class:
ConstraintsElement
- Complete string conversion method. This
routine converts an element into a string representing it, by
transforming it using toText.
- Overrides:
toCompleteString
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.