ConForM.CoopnTools.CoKer.ConstraintsMgr
Class ConstraintsLogicalOperation

java.lang.Object
  |
  +--ConForM.CoopnTools.CoKer.ConstraintsMgr.ConstraintsElement
        |
        +--ConForM.CoopnTools.CoKer.ConstraintsMgr.ConstraintsAtom
              |
              +--ConForM.CoopnTools.CoKer.ConstraintsMgr.ConstraintsLogicalOperation
All Implemented Interfaces:
java.lang.Cloneable, CoopnSyntacticElement, java.io.Serializable
Direct Known Subclasses:
ConstraintsLogicalEqual, ConstraintsLogicalGreater, ConstraintsLogicalGreaterOrEqual, ConstraintsLogicalLess, ConstraintsLogicalLessOrEqual, ConstraintsLogicalNotEqual

public abstract class ConstraintsLogicalOperation
extends ConstraintsAtom

This class implements a logical operation between two expressions

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

Field Summary
protected  ConstraintsExpression left
           
protected  ConstraintsExpression right
           
 
Constructor Summary
ConstraintsLogicalOperation(ConstraintsExpression left, ConstraintsExpression right)
          Simple constructor.
 
Method Summary
 java.lang.Object clone()
          Cloning method.
 boolean equals(java.lang.Object obj)
          Equality method.
 ConstraintsExpression[] expressions()
           
 int hashCode()
          Hashcode method.
 void setLeftExpression(ConstraintsExpression left)
           
 void setRightExpression(ConstraintsExpression right)
           
 java.lang.Object unmodifiableCopy()
          Copy the element into an unmodifiable structure.
 
Methods inherited from class ConForM.CoopnTools.CoKer.ConstraintsMgr.ConstraintsElement
cloneConstraintsElement, toCompleteString, toCompleteString, toCompleteString, toString, toString, toString
 
Methods inherited from class java.lang.Object
finalize, getClass, notify, notifyAll, wait, wait, wait
 

Field Detail

left

protected ConstraintsExpression left

right

protected ConstraintsExpression right
Constructor Detail

ConstraintsLogicalOperation

public ConstraintsLogicalOperation(ConstraintsExpression left,
                                   ConstraintsExpression right)
Simple constructor.
Method Detail

setLeftExpression

public void setLeftExpression(ConstraintsExpression left)

setRightExpression

public void setRightExpression(ConstraintsExpression right)

expressions

public ConstraintsExpression[] expressions()

hashCode

public int hashCode()
Description copied from class: ConstraintsElement
Hashcode method. Must be defined in the inherited classes.
Overrides:
hashCode in class ConstraintsElement
Following copied from class: ConForM.CoopnTools.CoKer.ConstraintsMgr.ConstraintsElement
Returns:
the hash code.

unmodifiableCopy

public java.lang.Object unmodifiableCopy()
Description copied from class: ConstraintsElement
Copy the element into an unmodifiable structure.
Overrides:
unmodifiableCopy in class ConstraintsElement
Following copied from class: ConForM.CoopnTools.CoKer.ConstraintsMgr.ConstraintsElement
Returns:
an unmodififable clone of the element.

clone

public java.lang.Object clone()
Description copied from class: ConstraintsElement
Cloning method. Must be defined in the inherited classes.
Overrides:
clone in class ConstraintsElement
Following copied from class: ConForM.CoopnTools.CoKer.ConstraintsMgr.ConstraintsElement
Returns:
a clone object.

equals

public boolean equals(java.lang.Object obj)
Description copied from class: ConstraintsElement
Equality method. Must be defined in the inherited classes.
Overrides:
equals in class ConstraintsElement
Following copied from class: ConForM.CoopnTools.CoKer.ConstraintsMgr.ConstraintsElement
Parameters:
obj - the object to compare
Returns:
true iff this object and the parameter are equals.