ConForM.CoopnTools.CoKer.ConstraintsMgr
Class ConstraintCond
java.lang.Object
|
+--ConForM.CoopnTools.CoKer.ConstraintsMgr.ConstraintCond
- public class ConstraintCond
- extends java.lang.Object
Semantic representation of a ConstraintModule. Build when user
wants to "check" the semantic of a constraints module
Methods inherited from class java.lang.Object |
finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
addAtom
public void addAtom(ConstraintAtom a)
equals
public boolean equals(java.lang.Object obj)
- Overrides:
equals
in class java.lang.Object
atoms
public java.util.Set atoms()
clone
public java.lang.Object clone()
- Overrides:
clone
in class java.lang.Object