Uses of Package

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.