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

Fields inherited from class ConForM.CoopnTools.CoKer.ConstraintsMgr.ConstraintsLogicalOperation
left, right
 
Constructor Summary
ConstraintsLogicalLessOrEqual(ConstraintsExpression left, ConstraintsExpression right)
          Simple constructor.
 
Method Summary
 java.lang.String toCompleteString(CoopnEnv env, int indent)
          Complete string conversion method.
 java.lang.String toString(CoopnEnv env, int indent)
          String conversion method.
 
Methods inherited from class ConForM.CoopnTools.CoKer.ConstraintsMgr.ConstraintsLogicalOperation
clone, equals, expressions, hashCode, setLeftExpression, setRightExpression, unmodifiableCopy
 
Methods inherited from class ConForM.CoopnTools.CoKer.ConstraintsMgr.ConstraintsElement
cloneConstraintsElement, toCompleteString, toCompleteString, toString, toString
 
Methods inherited from class java.lang.Object
finalize, getClass, notify, notifyAll, wait, wait, wait
 

Constructor Detail

ConstraintsLogicalLessOrEqual

public ConstraintsLogicalLessOrEqual(ConstraintsExpression left,
                                     ConstraintsExpression right)
Simple constructor. Construction of a binary operation of Term-N
Method Detail

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 display
indent - 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 display
indent - the identation factor
Returns:
a String image of the element.