ConForM.CoopnTools.CoKer.ConstraintsMgr
Class ConstraintsOnlyConstructor
java.lang.Object
|
+--ConForM.CoopnTools.CoKer.ConstraintsMgr.ConstraintsElement
|
+--ConForM.CoopnTools.CoKer.ConstraintsMgr.ConstraintsExpression
|
+--ConForM.CoopnTools.CoKer.ConstraintsMgr.ConstraintsTerm
|
+--ConForM.CoopnTools.CoKer.ConstraintsMgr.ConstraintsFactor
|
+--ConForM.CoopnTools.CoKer.ConstraintsMgr.ConstraintsOnlyConstructor
- All Implemented Interfaces:
- java.lang.Cloneable, CoopnSyntacticElement, java.io.Serializable
- public class ConstraintsOnlyConstructor
- extends ConstraintsFactor
This class implements a natural term of
a constraints expression of a constraints module
- See Also:
- Serialized Form
Methods inherited from class java.lang.Object |
finalize, getClass, notify, notifyAll, wait, wait, wait |
ConstraintsOnlyConstructor
public ConstraintsOnlyConstructor(ConstraintsExpression formula)
- Simple constructor. Unary Temporal Logic Operation
- Parameters:
form
- the formula of this unary Temporal Logic Operation
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 ConstraintsExpression
- 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.
formula
public ConstraintsExpression formula()
equals
public boolean equals(java.lang.Object obj)
- Equality method. Must be defined in the inherited classes.
- Overrides:
equals
in class ConstraintsElement
- Parameters:
obj
- the object to compare- Returns:
- true iff this object and the parameter are equals.
hashCode
public int hashCode()
- Hashcode method. Must be defined in the inherited classes.
- Overrides:
hashCode
in class ConstraintsElement
- Returns:
- the hash code.
unmodifiableCopy
public java.lang.Object unmodifiableCopy()
- Copy the element into an unmodifiable structure.
- Overrides:
unmodifiableCopy
in class ConstraintsElement
- Returns:
- an unmodififable clone of the element.
clone
public java.lang.Object clone()
- Cloning method. Must be defined in the inherited classes.
- Overrides:
clone
in class ConstraintsElement
- Returns:
- a clone object.