|
|||||||||||
PREV NEXT | FRAMES NO FRAMES |
Packages that use Default Package | |
Default Package |
Classes in used by Default Package | |
AlgSimp
Eine Instanz von AlgSimp stellt eine Reihe algebraischer Regeln zum Vereinfachen einer beliebigen Verifikationsbedingung bereit. |
|
BoolSimp
Eine Instanz von BoolSimp stellt eine Reihe boolescher Regeln zum Vereinfachen einer beliebigen Verifikationsbedingung bereit. |
|
ListElem
|
|
ListOfSimpleNodes
Implementation einer Liste aus SimpleNodes. |
|
ListOfSubstitutions
Implementation einer Liste aus Substitutions. |
|
ListRule
|
|
OrdSimp
Eine Instanz von OrdSimp stellt eine Reihe relationaler Regeln zum Vereinfachen einer beliebigen Verifikationsbedingung bereit. |
|
Rules
Abstrakte Klasse einer Menge von Vereinfachungsregeln. |
|
SimpRule
Eine SimpRule enthält die verschiedenen Muster einer Vereinfachungsregel des Beweisers. |
|
Substitution
Eine Substitution speichert die Bindung einer freien Variablen an ein Muster. |
|
VerifCondCreater
Ein VerifCondCreater erzeugt aus einem Programm, welches in Form eines Baumes (ein Objekt vom Typ SimpleNode) gespeichert ist, sämtliche Verifikationsbedingungen. |
|
|||||||||||
PREV NEXT | FRAMES NO FRAMES |