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
Methods inherited from class java.lang.Object |
finalize, getClass, notify, notifyAll, wait, wait, wait |
left
protected ConstraintsExpression left
right
protected ConstraintsExpression right
ConstraintsLogicalOperation
public ConstraintsLogicalOperation(ConstraintsExpression left,
ConstraintsExpression right)
- Simple constructor.
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.