|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
java.lang.Objectmy.entity.Klausel
public class Klausel
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 |
---|
public Klausel()
public Klausel(java.util.Collection<Literal> c)
c
- Method Detail |
---|
public void add(Literal lit)
lit
- public void remove(Literal lit)
lit
- public Literal get(int index)
index
-
public int size()
|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |