Class Negations

java.lang.Object
   |
   +----Negations

public class Negations
extends Object
In diese Klasse kommen alle Atome und Modelle, die negiert werden sollen.


Constructor Index

 o Negations()

Method Index

 o add(Atom)
 o add(AtomList)
 o getAtoms()
 o getModels()
 o removeAtom(Atom)
 o toString()

Constructors

 o Negations
 public Negations()

Methods

 o add
 public void add(Atom a)
 o getAtoms
 public Vector getAtoms()
 o removeAtom
 public void removeAtom(Atom a)
 o add
 public void add(AtomList atl)
 o getModels
 public Vector getModels()
 o toString
 public String toString()
Overrides:
toString in class Object