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


Method Summary
 void addAtom(ConstraintAtom a)
           
 java.util.Set atoms()
           
 java.lang.Object clone()
           
 boolean equals(java.lang.Object obj)
           
 
Methods inherited from class java.lang.Object
finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Method Detail

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