|
|||||||||
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.ConstraintsSymbol | +--ConForM.CoopnTools.CoKer.ConstraintsMgr.ConstraintsAxiomSymbol
Constraints formula. Axiom Symbol
ConstraintsElement
, Serialized FormFields inherited from class ConForM.CoopnTools.CoKer.ConstraintsMgr.ConstraintsSymbol |
comment, symbolIdentifier, symbolModule, symbolName |
Constructor Summary | |
ConstraintsAxiomSymbol(java.lang.String name,
java.lang.String module,
ConstraintsFormula form)
Simple constructor. |
|
ConstraintsAxiomSymbol(java.lang.String name,
java.lang.String module,
ConstraintsFormula form,
java.lang.String comment)
Simple constructor. |
|
ConstraintsAxiomSymbol(java.lang.String name,
java.lang.String identifier,
java.lang.String module,
ConstraintsFormula form)
Simple constructor. |
|
ConstraintsAxiomSymbol(java.lang.String name,
java.lang.String identifier,
java.lang.String module,
ConstraintsFormula form,
java.lang.String comment)
Simple constructor. |
Method Summary | |
ConstraintsAssignation |
assign()
Returns the assignation |
java.lang.Object |
clone()
cloning method. produces a clone of this axiom symbol |
ConstraintsCondition |
condition()
Returns the condition expression |
boolean |
equals(java.lang.Object obj)
compares if this axiom symbol is equals to obj |
ConstraintsFormula |
formula()
Returns the condition expression |
java.lang.String |
kind()
retrieves the kind of this variable symbol |
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()
produces an unmodifiable copy of this axiom symbol |
Methods inherited from class ConForM.CoopnTools.CoKer.ConstraintsMgr.ConstraintsSymbol |
comment, hashCode, identifier, symbolModule, symbolModuleKind, symbolName |
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 |
Methods inherited from interface ConForM.CoopnTools.CoKer.CoopnSyntacticElement |
toCompleteString, toCompleteString, toString, toString |
Constructor Detail |
public ConstraintsAxiomSymbol(java.lang.String name, java.lang.String identifier, java.lang.String module, ConstraintsFormula form)
public ConstraintsAxiomSymbol(java.lang.String name, java.lang.String module, ConstraintsFormula form)
public ConstraintsAxiomSymbol(java.lang.String name, java.lang.String identifier, java.lang.String module, ConstraintsFormula form, java.lang.String comment)
public ConstraintsAxiomSymbol(java.lang.String name, java.lang.String module, ConstraintsFormula form, java.lang.String comment)
Method Detail |
public ConstraintsFormula formula()
public ConstraintsCondition condition()
public ConstraintsAssignation assign()
public boolean equals(java.lang.Object obj)
equals
in class ConstraintsSymbol
ConForM.CoopnTools.CoKer.CoopnSyntacticElement
obj
- the object to comparepublic java.lang.String kind()
ConForM.CoopnTools.CoKer.CoopnSyntacticSymbol
public java.lang.String toCompleteString(CoopnEnv env, int indent)
toCompleteString
in class ConstraintsSymbol
env
- the environment deciding the form of the displayindent
- the identation factorpublic java.lang.String toString(CoopnEnv env, int indent)
toString
in class ConstraintsSymbol
ConForM.CoopnTools.CoKer.CoopnSyntacticElement
env
- the environment deciding the form of the display. A null
values indicates a default form.indent
- the identation factor. A zero value indicates no
indentation at all.public java.lang.Object unmodifiableCopy()
unmodifiableCopy
in class ConstraintsSymbol
ConForM.CoopnTools.CoKer.ConstraintsMgr.ConstraintsSymbol
public java.lang.Object clone()
clone
in class ConstraintsSymbol
ConForM.CoopnTools.CoKer.CoopnSyntacticElement
|
|||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||
SUMMARY: INNER | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |