|
||||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
java.lang.ObjectListOfSimpRules
Implementation einer Liste von Vereinfachungsregeln mit Elemeten vom Typ SimpRule.
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 |
public ListOfSimpRules()
Method Detail |
public int getNumber()
public void addLast(SimpRule newRule)
public boolean isEmpty()
public void resetIterator()
public void stepBack()
public SimpRule getNext()
public boolean hasNext()
public void fill(int type, boolean manual)
Ein Beispiel einer algebraischen Regel:
Muster: int(_X) + int(_Y)
Vereinfachungsmuster: int(_Z)
Bedingung: _X + _Y = _Z
manual
- Die boolean Variable fragt ab, ob manuell oder automatisch bewiesen wird. type
- 0 entspricht den algebraischen, 1 den relationalen, 2 den booleschen Regeln
|
||||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |