CNF

util
Class Rules

java.lang.Object
  |
  +--java.util.AbstractCollection
        |
        +--java.util.AbstractList
              |
              +--java.util.Vector
                    |
                    +--util.OList
                          |
                          +--util.Set
                                |
                                +--util.Rules
All Implemented Interfaces:
java.lang.Cloneable, java.util.Collection, java.util.List, java.io.Serializable

public final class Rules
extends Set

Eine Regelmenge ist eine Menge von Regeln. :-) Zusätzlich bietet die Regelmenge einige nützliche Operationen.

See Also:
Set,

Quelltext, Serialized Form


Fields inherited from class java.util.Vector
capacityIncrement, elementCount, elementData
 
Fields inherited from class java.util.AbstractList
modCount
 
Constructor Summary
Rules()
          Neue leere Regelmenge.
Rules(Rule r)
          Neue Regelmenge mit der Regel r.
 
Method Summary
 OList add(java.lang.Object obj)
          Fügt ein Objekt hinzu, wenn es sich um eine Regel handelt.
 OList add(Rule r)
          Fügt eine Regel zur Regelmenge hinzu, wenn sie links mindestens ein Zeichen enthält.
 Alphabet inRules()
          Alphabet mit allen Zeichen, die in den Regeln vorkommen.
 Alphabet inRulesLeft()
          Alphabet mit allen Zeichen, die in den linken Seiten der Regeln vorkommen.
 Alphabet inRulesRight()
          Alphabet mit allen Zeichen, die in den rechten Seiten der Regeln vorkommen.
 Rules subst(java.lang.String s_old, java.lang.String s_new)
          Ersetzt alle Vorkommen eines bestimmten Zeichens durch ein anderes.
 
Methods inherited from class util.Set
setToString
 
Methods inherited from class util.OList
addList, contains, del, delList, equals, filter, foldl, hull, init, intersect, map, mapS, mapV, minus, power, sort, subst, tail, union
 
Methods inherited from class java.util.Vector
add, addAll, addAll, addElement, capacity, clear, clone, contains, containsAll, copyInto, elementAt, elements, ensureCapacity, firstElement, get, hashCode, indexOf, indexOf, insertElementAt, isEmpty, lastElement, lastIndexOf, lastIndexOf, remove, remove, removeAll, removeAllElements, removeElement, removeElementAt, removeRange, retainAll, set, setElementAt, setSize, size, subList, toArray, toArray, toString, trimToSize
 
Methods inherited from class java.util.AbstractList
iterator, listIterator, listIterator
 
Methods inherited from class java.lang.Object
finalize, getClass, notify, notifyAll, wait, wait, wait
 
Methods inherited from interface java.util.List
iterator, listIterator, listIterator
 

Constructor Detail

Rules

public Rules()
Neue leere Regelmenge.

Rules

public Rules(Rule r)
Neue Regelmenge mit der Regel r.
Method Detail

add

public OList add(java.lang.Object obj)
Fügt ein Objekt hinzu, wenn es sich um eine Regel handelt.
Overrides:
add in class Set
Following copied from class: util.OList
Parameters:
obj - beliebiges Objekt
Returns:
gibt sich selbst zurück, damit kann die add-Routine auch gut z.B. in Folds verwendet werden
See Also:
Vector.addElement(java.lang.Object)

add

public OList add(Rule r)
Fügt eine Regel zur Regelmenge hinzu, wenn sie links mindestens ein Zeichen enthält.

inRules

public final Alphabet inRules()
Alphabet mit allen Zeichen, die in den Regeln vorkommen.

inRulesLeft

public final Alphabet inRulesLeft()
Alphabet mit allen Zeichen, die in den linken Seiten der Regeln vorkommen.

inRulesRight

public final Alphabet inRulesRight()
Alphabet mit allen Zeichen, die in den rechten Seiten der Regeln vorkommen.

subst

public final Rules subst(java.lang.String s_old,
                         java.lang.String s_new)
Ersetzt alle Vorkommen eines bestimmten Zeichens durch ein anderes.
See Also:
MapSubstInRules

CNF

Kontakt: m.rahn@stud.uka.de und mai99jsv@studserv.uni-leipzig.de