my.entity
Class Klausel

java.lang.Object
  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