Class ListOfSimpRules

java.lang.Object
  extended byListOfSimpRules

public class ListOfSimpRules
extends java.lang.Object

Implementation einer Liste von Vereinfachungsregeln mit Elemeten vom Typ SimpRule.

See Also:
SimpRule

Constructor Summary
ListOfSimpRules()
          Erzeugt eine leere Liste aus SimpRules.
 
Method Summary
 void addLast(SimpRule newRule)
          Fügt ein Element an das Ende der Liste an.
 void fill(int type, boolean manual)
          Füllt die Liste mit allen zur Verfügung stehenden Regeln eines Typs.
 SimpRule getNext()
          Liefert das nächste Element des Iterators.
 int getNumber()
          Liefert die Anzahl der Elemente.
 boolean hasNext()
          Überprüft, ob der Iterator ein nächstes Element liefern kann.
 boolean isEmpty()
          Überprüft, ob die Liste leer ist.
 void resetIterator()
          Setzt den Cursor des Iterators auf den Anfang der Liste.
 void stepBack()
          Setzt den Cursor des Iterators um ein Element zurück.
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Constructor Detail

ListOfSimpRules

public ListOfSimpRules()
Erzeugt eine leere Liste aus SimpRules.

Method Detail

getNumber

public int getNumber()
Liefert die Anzahl der Elemente.


addLast

public void addLast(SimpRule newRule)
Fügt ein Element an das Ende der Liste an.


isEmpty

public boolean isEmpty()
Überprüft, ob die Liste leer ist.


resetIterator

public void resetIterator()
Setzt den Cursor des Iterators auf den Anfang der Liste.


stepBack

public void stepBack()
Setzt den Cursor des Iterators um ein Element zurück.


getNext

public SimpRule getNext()
Liefert das nächste Element des Iterators.


hasNext

public boolean hasNext()
Überprüft, ob der Iterator ein nächstes Element liefern kann.


fill

public void fill(int type,
                 boolean manual)
Füllt die Liste mit allen zur Verfügung stehenden Regeln eines Typs.
Eine solche Regel besteht im Allgemeinen (je nach Typ) aus einem Muster, einem Vereinfachungsmuster
und einer Bedingung, jeweils in Form eines Baumes (ein Objekt vom Typ SimpleNode), zusammengefasst
zu einem Objekt vom Typ SimpRule.

Ein Beispiel einer algebraischen Regel:
Muster: int(_X) + int(_Y)
Vereinfachungsmuster: int(_Z)
Bedingung: _X + _Y = _Z

Parameters:
manual - Die boolean Variable fragt ab, ob manuell oder automatisch bewiesen wird.
type - 0 entspricht den algebraischen, 1 den relationalen, 2 den booleschen Regeln