|
|||||||||||
PREV NEXT | FRAMES NO FRAMES |
Packages that use Rules | |
Default Package |
Uses of Rules in |
Subclasses of Rules in Default Package | |
(package private) class |
AlgSimp
Eine Instanz von AlgSimp stellt eine Reihe algebraischer Regeln zum Vereinfachen einer beliebigen Verifikationsbedingung bereit. |
(package private) class |
BoolSimp
Eine Instanz von BoolSimp stellt eine Reihe boolescher Regeln zum Vereinfachen einer beliebigen Verifikationsbedingung bereit. |
(package private) class |
OrdSimp
Eine Instanz von OrdSimp stellt eine Reihe relationaler Regeln zum Vereinfachen einer beliebigen Verifikationsbedingung bereit. |
Methods in Default Package with parameters of type Rules | |
boolean |
Simplifier.reduceOne(SimpleNode ccondition,
Rules rules,
int rule,
boolean output)
Versucht, die i-te Regel von rules (OrdSimp, BoolSimp oder AlgSimp) auf ccondition anzuwenden. |
boolean |
Simplifier.reduce(SimpleNode ccondition,
Rules rules,
boolean output)
Versucht einen einzelnen Vereinfachungsschritt durch Anwendung einer Vereinfachungsregel durchzufuehren. |
|
|||||||||||
PREV NEXT | FRAMES NO FRAMES |