Class Negations
java.lang.Object
|
+----Negations
- public class Negations
- extends Object
In diese Klasse kommen alle Atome und Modelle, die negiert werden sollen.
-
Negations()
-
-
add(Atom)
-
-
add(AtomList)
-
-
getAtoms()
-
-
getModels()
-
-
removeAtom(Atom)
-
-
toString()
-
Negations
public Negations()
add
public void add(Atom a)
getAtoms
public Vector getAtoms()
removeAtom
public void removeAtom(Atom a)
add
public void add(AtomList atl)
getModels
public Vector getModels()
toString
public String toString()
- Overrides:
- toString in class Object