ConForM.CoopnTools.CoKer.ConstraintsMgr
Class ConstraintsCondition
java.lang.Object
|
+--ConForM.CoopnTools.CoKer.ConstraintsMgr.ConstraintsElement
|
+--ConForM.CoopnTools.CoKer.ConstraintsMgr.ConstraintsCondition
- All Implemented Interfaces:
- java.lang.Cloneable, CoopnSyntacticElement, java.io.Serializable
- public class ConstraintsCondition
- extends ConstraintsElement
This class implements the constraints condition of
the axiom field 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 |
ConstraintsCondition
public ConstraintsCondition(ConstraintsAtom fact,
java.util.List atoms)
- Simple constructor.
ConstraintsCondition
public ConstraintsCondition(ConstraintsAtom fact)
setAtom
public void setAtom(ConstraintsAtom fact)
setAtomList
public void setAtomList(java.util.List atoms)
addAtom
public void addAtom(ConstraintsAtom atom)
removeAtom
public void removeAtom(ConstraintsAtom atom)
atom
public ConstraintsAtom atom()
atomlist
public ConstraintsAtom[] atomlist()
hasAtom
public boolean hasAtom()
hasAtomList
public boolean hasAtomList()
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.