|
||||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
java.lang.ObjectRules
Abstrakte Klasse einer Menge von Vereinfachungsregeln.
Wird von AlgSimp, BoolSimp und OrdSimp erweitert.
AlgSimp
,
BoolSimp
,
OrdSimp
Constructor Summary | |
(package private) |
Rules()
|
Method Summary | |
abstract SimpleNode |
getCondPattern(int i)
Liefert die "Bedingung" der i-ten Regel. |
abstract short |
getCondType(int i)
Liefert den Typ der i-ten Regel. |
abstract java.lang.String |
getIdNameOfSimplifiedCondPattern(int i)
Liefert den Bezeichner der freien Variablen in der "Bedingung" der i-ten Regel. |
abstract int |
getNumberOfRules()
Liefert die Anzahl der Vereinfachungsregeln. |
abstract SimpleNode |
getPattern(int i)
Liefert das "Muster" der i-ten Regel. |
abstract SimpleNode |
getSimpPattern(int i)
Liefert das "Vereinfachungsmuster" der i-ten Regel. |
abstract boolean |
hasCondPattern(int i)
Überprüft, ob die i-te Regel eine "Bedingung" benötigt. |
Methods inherited from class java.lang.Object |
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
Constructor Detail |
Rules()
Method Detail |
public abstract int getNumberOfRules()
public abstract SimpleNode getPattern(int i)
public abstract SimpleNode getSimpPattern(int i)
public abstract SimpleNode getCondPattern(int i)
public abstract boolean hasCondPattern(int i)
public abstract short getCondType(int i)
SimpRule
public abstract java.lang.String getIdNameOfSimplifiedCondPattern(int i)
|
||||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |