my.operatoren
Class DelDuplicate

java.lang.Object
  extended by my.operatoren.DelDuplicate

public class DelDuplicate
extends java.lang.Object


Constructor Summary
DelDuplicate()
           
 
Method Summary
static void doit(java.util.Collection<Literal> c)
          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.
 
Methods inherited from class java.lang.Object
equals, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Constructor Detail

DelDuplicate

public DelDuplicate()
Method Detail

doit

public static void doit(java.util.Collection<Literal> c)
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.

Parameters:
c -