my.operatoren
Class Substitution

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

public class Substitution
extends java.lang.Object


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

Constructor Detail

Substitution

public Substitution()
Method Detail

doit

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

Parameters:
c - die Collection, auf der die Substitution ausgefuehrt wird
alt - das zu ersetzende LiteralElement
neu -