my.operatoren
Class DelDuplicate

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