|
|||||||||
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.ConstraintsInterface | +--ConForM.CoopnTools.CoKer.ConstraintsMgr.ConstraintsBody
This class implements the body section of a constraints module. The body is composed of three fields (constraints,axiom,variables)
ConForm.CoopnTools.CoKer.TemporalLogic.HMLFormula.java
, Serialized FormField Summary | |
protected ConstraintsAxiomField |
axioms
|
protected ConstraintsVariableField |
variables
|
Fields inherited from class ConForM.CoopnTools.CoKer.ConstraintsMgr.ConstraintsInterface |
cons |
Constructor Summary | |
ConstraintsBody()
Simple constructor. |
Method Summary | |
void |
addAxioms(ConstraintsAxiomField list)
Allows one to add axioms fields |
void |
addVariables(ConstraintsVariableField list)
Allows one to add variables fields |
ConstraintsAxiomField |
axioms()
returns the axiom field of this body |
java.lang.Object |
clone()
cloning method |
boolean |
equals(java.lang.Object obj)
Compares this body with obj |
CoopnSyntacticField[] |
fields()
Returns all fields of this body section |
java.lang.String |
kind()
Kind retrieving method |
void |
removeAxioms(ConstraintsAxiomField list)
Allows one to remove axioms fields |
void |
removeVariables(ConstraintsVariableField list)
Allows one to remove variables fields |
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()
delivers an unmodifiable copy of this body |
ConstraintsVariableField |
variables()
returns the variables field of this body |
Methods inherited from class ConForM.CoopnTools.CoKer.ConstraintsMgr.ConstraintsInterface |
addConstraints, constraints, hashCode, removeConsFields |
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 |
hashCode, toCompleteString, toCompleteString, toString, toString |
Field Detail |
protected ConstraintsAxiomField axioms
protected ConstraintsVariableField variables
Constructor Detail |
public ConstraintsBody()
Method Detail |
public java.lang.String kind()
kind
in interface CoopnSyntacticSection
kind
in class ConstraintsInterface
public CoopnSyntacticField[] fields()
fields
in interface CoopnSyntacticSection
fields
in class ConstraintsInterface
public ConstraintsAxiomField axioms()
public ConstraintsVariableField variables()
public void addAxioms(ConstraintsAxiomField list)
list
- the fields to addpublic void addVariables(ConstraintsVariableField list)
list
- the fields to addpublic void removeAxioms(ConstraintsAxiomField list)
list
- the fields to addpublic void removeVariables(ConstraintsVariableField list)
list
- the fields to addpublic boolean equals(java.lang.Object obj)
equals
in interface CoopnSyntacticElement
equals
in class ConstraintsInterface
public java.lang.String toCompleteString(CoopnEnv env, int indent)
toCompleteString
in interface CoopnSyntacticElement
toCompleteString
in class ConstraintsInterface
env
- the environment deciding the form of the displayindent
- the identation factorpublic java.lang.String toString(CoopnEnv env, int indent)
CoopnSyntacticElement
toString
in interface CoopnSyntacticElement
toString
in class ConstraintsInterface
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 ConstraintsInterface
public java.lang.Object clone()
clone
in interface CoopnSyntacticElement
clone
in class ConstraintsInterface
|
|||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||
SUMMARY: INNER | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |