my.entity
Class Klausel

java.lang.Object
  extended by my.entity.Klausel

public class Klausel
extends java.lang.Object


Constructor Summary
Klausel()
          Standardkonstruktor
Klausel(java.util.Collection<Literal> c)
          Konstuktor erzeugt neue Klausel mit uebergebener Collection von Literalen,
indem diese kopiert wird
 
Method Summary
 void add(Literal lit)
          Fuegt ein Literal in die Klausel ein
 Literal get(int index)
          Gibt das Literal an der Stelle 'index' zurueck
 void remove(Literal lit)
          entfernt das uebergebene Literal aus der Klausel
 int size()
          Gibt die Anzahl der Elemente (Literale) in der Klausel zurueck
 
Methods inherited from class java.lang.Object
equals, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Constructor Detail

Klausel

public Klausel()
Standardkonstruktor


Klausel

public Klausel(java.util.Collection<Literal> c)
Konstuktor erzeugt neue Klausel mit uebergebener Collection von Literalen,
indem diese kopiert wird

Parameters:
c -
Method Detail

add

public void add(Literal lit)
Fuegt ein Literal in die Klausel ein

Parameters:
lit -

remove

public void remove(Literal lit)
entfernt das uebergebene Literal aus der Klausel

Parameters:
lit -

get

public Literal get(int index)
Gibt das Literal an der Stelle 'index' zurueck

Parameters:
index -
Returns:
Literal

size

public int size()
Gibt die Anzahl der Elemente (Literale) in der Klausel zurueck

Returns:
int