A C D E F G I K L M P R S T U V

D

DelDuplicate - Class in my.operatoren
 
DelDuplicate() - Constructor for class my.operatoren.DelDuplicate
 
doit(Collection<Literal>) - Static method in class my.operatoren.DelDuplicate
Zur Realisierung einer mathematischen Menge ohne Interface 'Set'.
Stattdessen beliebige Collection anwendbar.
Entfernt aus einer Collection (of Literal) alle doppelt vorhandenen Literale.
Benutzt die equals-Methode aus Literal.
doit(Collection<Literal>, LiteralElement, LiteralElement) - Static method in class my.operatoren.Substitution
Fuehrt in einer Collection(Literal) eine Substitution durch.
LiteralElement 'alt' wird in allen Literalen bei jedem Vorkommen ersetzt
durch LiteralElement 'neu'.
Benutzt die equals-Methode aus LiteralElement.

A C D E F G I K L M P R S T U V