|
|||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||
SUMMARY: INNER | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
java.lang.Object | +--ConForM.CoopnTools.CoKer.ConstraintsMgr.ConstraintsElement | +--ConForM.CoopnTools.CoKer.ConstraintsMgr.ConstraintsFormula
This class implements the constraints formula of a constraints module
ConForm.CoopnTools.CoKer.TemporalLogic.HMLFormula.java
, Serialized FormConstructor Summary | |
ConstraintsFormula(ConstraintsAssignation assign)
Simple constructor. |
|
ConstraintsFormula(ConstraintsCondition cond,
ConstraintsAssignation assign)
Simple constructor. |
Method Summary | |
ConstraintsAssignation |
assignation()
|
java.lang.Object |
clone()
Cloning method |
ConstraintsCondition |
condition()
|
boolean |
equals(java.lang.Object obj)
compares this interface with obj |
boolean |
hasAssignation()
|
boolean |
hasCondition()
|
int |
hashCode()
Returns the hashcode for this interface |
void |
setAssignation(ConstraintsAssignation assign)
|
void |
setCondition(ConstraintsCondition cond)
|
java.lang.String |
toCompleteString(CoopnEnv env,
int indent)
Complete string conversion method. |
java.lang.String |
toString(CoopnEnv env,
int indent)
string conversion method |
java.lang.Object |
unmodifiableCopy()
Returns an unmodifiable copy of this interface |
Methods inherited from class ConForM.CoopnTools.CoKer.ConstraintsMgr.ConstraintsElement |
cloneConstraintsElement, toCompleteString, toCompleteString, toString, toString |
Methods inherited from class java.lang.Object |
finalize, getClass, notify, notifyAll, wait, wait, wait |
Constructor Detail |
public ConstraintsFormula(ConstraintsCondition cond, ConstraintsAssignation assign)
public ConstraintsFormula(ConstraintsAssignation assign)
Method Detail |
public void setCondition(ConstraintsCondition cond)
public void setAssignation(ConstraintsAssignation assign)
public ConstraintsCondition condition()
public ConstraintsAssignation assignation()
public boolean hasCondition()
public boolean hasAssignation()
public boolean equals(java.lang.Object obj)
equals
in class ConstraintsElement
obj
- the object to comparepublic int hashCode()
hashCode
in class ConstraintsElement
public java.lang.String toCompleteString(CoopnEnv env, int indent)
toCompleteString
in class ConstraintsElement
env
- the environment deciding the form of the displayindent
- the identation factorpublic java.lang.String toString(CoopnEnv env, int indent)
toString
in class ConstraintsElement
ConForM.CoopnTools.CoKer.ConstraintsMgr.ConstraintsElement
env
- the environment deciding the form of the displayindent
- the identation factorpublic java.lang.Object unmodifiableCopy()
unmodifiableCopy
in class ConstraintsElement
public java.lang.Object clone()
clone
in class ConstraintsElement
|
|||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||
SUMMARY: INNER | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |