my.operatoren
Class Substitution

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