|
|||||||||
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.ConstraintsExpression | +--ConForM.CoopnTools.CoKer.ConstraintsMgr.ConstraintsTerm
This class implements the constraints terms of the axiom field of a constraints module
ConForm.CoopnTools.CoKer.TemporalLogic.HMLFormula.java
, Serialized FormConstructor Summary | |
ConstraintsTerm()
|
Methods inherited from class ConForM.CoopnTools.CoKer.ConstraintsMgr.ConstraintsExpression |
toString |
Methods inherited from class ConForM.CoopnTools.CoKer.ConstraintsMgr.ConstraintsElement |
clone, cloneConstraintsElement, equals, hashCode, toCompleteString, toCompleteString, toCompleteString, toString, toString, unmodifiableCopy |
Methods inherited from class java.lang.Object |
finalize, getClass, notify, notifyAll, wait, wait, wait |
Constructor Detail |
public ConstraintsTerm()
|
|||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||
SUMMARY: INNER | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |