Uses of Class
Rules

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.