Class Rules

java.lang.Object
  extended byRules
Direct Known Subclasses:
AlgSimp, BoolSimp, OrdSimp

abstract class Rules
extends java.lang.Object

Abstrakte Klasse einer Menge von Vereinfachungsregeln.
Wird von AlgSimp, BoolSimp und OrdSimp erweitert.

See Also:
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

Rules()
Method Detail

getNumberOfRules

public abstract int getNumberOfRules()
Liefert die Anzahl der Vereinfachungsregeln.


getPattern

public abstract SimpleNode getPattern(int i)
Liefert das "Muster" der i-ten Regel.


getSimpPattern

public abstract SimpleNode getSimpPattern(int i)
Liefert das "Vereinfachungsmuster" der i-ten Regel.


getCondPattern

public abstract SimpleNode getCondPattern(int i)
Liefert die "Bedingung" der i-ten Regel.


hasCondPattern

public abstract boolean hasCondPattern(int i)
Überprüft, ob die i-te Regel eine "Bedingung" benötigt.


getCondType

public abstract short getCondType(int i)
Liefert den Typ der i-ten Regel.
Beschreibung der Typen: siehe SimpRule

See Also:
SimpRule

getIdNameOfSimplifiedCondPattern

public abstract java.lang.String getIdNameOfSimplifiedCondPattern(int i)
Liefert den Bezeichner der freien Variablen in der "Bedingung" der i-ten Regel.