ConForM.CoopnTools.CoKer.ConstraintsMgr
Class ConstraintsAssignation
java.lang.Object
|
+--ConForM.CoopnTools.CoKer.ConstraintsMgr.ConstraintsElement
|
+--ConForM.CoopnTools.CoKer.ConstraintsMgr.ConstraintsAtom
|
+--ConForM.CoopnTools.CoKer.ConstraintsMgr.ConstraintsAssignation
- All Implemented Interfaces:
- java.lang.Cloneable, CoopnSyntacticElement, java.io.Serializable
- public class ConstraintsAssignation
- extends ConstraintsAtom
This class implements the assignation of a constraints formula of
a constraints module
- See Also:
ConForm.CoopnTools.CoKer.TemporalLogic.HMLFormula.java
, Serialized Form
Methods inherited from class java.lang.Object |
finalize, getClass, notify, notifyAll, wait, wait, wait |
ConstraintsAssignation
public ConstraintsAssignation(java.lang.String name,
ConstraintsExpression hml)
- Simple constructor.
setName
public void setName(java.lang.String name)
setTermHML
public void setTermHML(ConstraintsExpression hml)
name
public java.lang.String name()
termHML
public ConstraintsExpression termHML()
hasName
public boolean hasName()
hasTermHML
public boolean hasTermHML()
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.
toCompleteString
public java.lang.String toCompleteString(CoopnEnv env,
int indent)
- Complete string conversion method. This
routine converts an element into a string representing it, by
transforming it using toText.
- Overrides:
toCompleteString
in class ConstraintsElement
- Parameters:
env
- the environment deciding the form of the displayindent
- the identation factor- Returns:
- a String image of the element.
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 displayindent
- the identation factor- Returns:
- a String image of the element.