ConForM.CoopnTools.CoKer.ConstraintsMgr
Class ConstraintsLogicalNotEqual

java.lang.Object
  |
  +--ConForM.CoopnTools.CoKer.ConstraintsMgr.ConstraintsElement
        |
        +--ConForM.CoopnTools.CoKer.ConstraintsMgr.ConstraintsAtom
              |
              +--ConForM.CoopnTools.CoKer.ConstraintsMgr.ConstraintsLogicalOperation
                    |
                    +--ConForM.CoopnTools.CoKer.ConstraintsMgr.ConstraintsLogicalNotEqual
All Implemented Interfaces:
java.lang.Cloneable, CoopnSyntacticElement, java.io.Serializable

public class ConstraintsLogicalNotEqual
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
ConstraintsLogicalNotEqual(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

ConstraintsLogicalNotEqual

public ConstraintsLogicalNotEqual(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.