|
||||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
java.lang.ObjectSimpRule
Eine SimpRule enthält die verschiedenen Muster einer Vereinfachungsregel des Beweisers.
Eine solche Regel besteht im Allgemeinen (je nach Typ) aus einem Muster, einem Vereinfachungsmuster und einer Bedingung, jeweils
in Form eines Baumes (ein Objekt vom Typ SimpleNode).
Es existieren 7 verschiedene Regeltypen. Diese unterscheiden sich im Wesentlichen durch ihre Anwendung. Einige besitzen
beispielsweise eine Bedingung, andere nicht. Eine genaue Beschreibung der Regeln mit Beispielen befindet sich in der zum Programm
gehörenden Dokumentation.
Rules
,
BoolSimp
,
OrdSimp
,
AlgSimp
,
Simplifier
,
SimpleNode
Field Summary | |
(package private) SimpleNode |
condPattern
Bedingung. |
(package private) java.lang.String |
idNameOfSimplifiedCondPattern
Name einer speziellen freien Variablen im Muster condPattern. |
(package private) SimpleNode |
pattern
Muster. |
(package private) SimpleNode |
simpPattern
Vereinfachungsmuster. |
(package private) short |
type
Typ der Vereinfachungsregel. |
Constructor Summary | |
SimpRule(SimpleNode pattern,
SimpleNode simpPattern)
Erzeugt eine SimpRule, welche nur aus einem Muster und dem Vereinfachungsmuster besteht. |
|
SimpRule(SimpleNode pattern,
SimpleNode simpPattern,
SimpleNode condPattern,
int type,
java.lang.String idName)
Erzeugt eine SimpRule bestehend aus einem Muster pattern, einem Vereinfachungsmuster simpPattern, einer Bedingung condPattern, dem Typ der Vereinfachungsregel type und dem Namen idName einer speziellen freien Variablen. |
Methods inherited from class java.lang.Object |
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
Field Detail |
SimpleNode pattern
SimpleNode simpPattern
Muster
, wird sie anhand
dieses Vereinfachungsmusters umgeformt.
SimpleNode condPattern
short type
Klassenbeschreibung
.
java.lang.String idNameOfSimplifiedCondPattern
Constructor Detail |
public SimpRule(SimpleNode pattern, SimpleNode simpPattern)
pattern
- Das Muster.simpPattern
- Das Vereinfachungsmuster.public SimpRule(SimpleNode pattern, SimpleNode simpPattern, SimpleNode condPattern, int type, java.lang.String idName)
|
||||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |