Uses of Class
parser.SimpleNode

Packages that use SimpleNode
Default Package   
parser   
 

Uses of SimpleNode in
 

Fields in Default Package declared as SimpleNode
(package private)  SimpleNode SimpRule.pattern
          Muster.
(package private)  SimpleNode SimpRule.simpPattern
          Vereinfachungsmuster.
(package private)  SimpleNode SimpRule.condPattern
          Bedingung.
(package private)  SimpleNode ListElem.elem
          Das Listenelement.
 

Methods in Default Package that return SimpleNode
 SimpleNode OrdSimp.getPattern(int i)
          Liefert das "Muster" der i-ten Regel.
 SimpleNode OrdSimp.getSimpPattern(int i)
          Liefert das "Vereinfachungsmuster" der i-ten Regel.
 SimpleNode OrdSimp.getCondPattern(int i)
          Liefert die "Bedingung" der i-ten Regel.
 SimpleNode BoolRewriter.isDefined(SimpleNode node)
          Prüft, unter welchen Bedingungen ein algebraischer Ausdruck wohldefiniert ist.
abstract  SimpleNode Rules.getPattern(int i)
          Liefert das "Muster" der i-ten Regel.
abstract  SimpleNode Rules.getSimpPattern(int i)
          Liefert das "Vereinfachungsmuster" der i-ten Regel.
abstract  SimpleNode Rules.getCondPattern(int i)
          Liefert die "Bedingung" der i-ten Regel.
 SimpleNode BoolSimp.getPattern(int i)
          Liefert das "Muster" der i-ten Regel.
 SimpleNode BoolSimp.getSimpPattern(int i)
          Liefert das "Vereinfachungsmuster" der i-ten Regel.
 SimpleNode BoolSimp.getCondPattern(int i)
          Liefert die "Bedingung" der i-ten Regel.
 SimpleNode AlgSimp.getPattern(int i)
          Liefert das "Muster" der i-ten Regel.
 SimpleNode AlgSimp.getSimpPattern(int i)
          Liefert das "Vereinfachungsmuster" der i-ten Regel.
 SimpleNode AlgSimp.getCondPattern(int i)
          Liefert die "Bedingung" der i-ten Regel.
 SimpleNode ListOfSubstitutions.getRhsOfSubstitution(java.lang.String name)
          Liefert, falls vorhanden, die rechte Seite der Substitution.
 SimpleNode InternalFrame.getNode()
          Liefert den aktuellen Knoten, der dem Fenster zugrunde liegt.
 SimpleNode InternalFrame.getOldNode()
          Liefert den Knoten, der durch Reset wiederhergestellt wird.
 SimpleNode InternalFrame.getPtree()
          Liefert den aktuellen Teilbaum, der markiert wurde.
 SimpleNode InternalFrame.getUnModTree()
          Liefert den unveränderten vom Anwender ausgewählten Teilbaum
 SimpleNode Substitution.getSubst()
          Liefert das Muster der Substitution.
 SimpleNode VerifCondCreater.getNextCondition()
          Liefert die nächste Verifikationsbedingung.
 SimpleNode Simplifier.applySubsts(SimpleNode simpPattern)
          Ersetzt im Muster simpPattern Variablen, zu denen in theta eine Substitution enthalten ist, durch den an die Variable gebundenen Ausdruck.
 SimpleNode[] Simplifier.getResults()
          Methode, die für alle Regeln prüft, ob sie auf den Teilbaum anwendbar sind.
 SimpleNode Simplifier.doWork(boolean output, int numSteps)
          Steuert den Vereinfachungsprozeß.
 SimpleNode ListOfSimpleNodes.getNext()
          Liefert das nächste Element des Iterators.
 

Methods in Default Package with parameters of type SimpleNode
 SimpleNode BoolRewriter.isDefined(SimpleNode node)
          Prüft, unter welchen Bedingungen ein algebraischer Ausdruck wohldefiniert ist.
 void InternalFrame.setNode(SimpleNode tree)
          Definiert den aktuellen Knoten, der dem Fenster zugrunde liegt.
 void InternalFrame.setOldNode(SimpleNode tree)
          Definiert den Knoten, der durch Reset wiederhergestellt wird.
 void InternalFrame.setPtree(SimpleNode tree)
          Definiert den aktuellen Teilbaum, der markiert wurde.
 void InternalFrame.setUnModTree(SimpleNode tree)
          Definiert den unveränderten vom Anwender ausgewählten Teilbaum
 SimpleNode Simplifier.applySubsts(SimpleNode simpPattern)
          Ersetzt im Muster simpPattern Variablen, zu denen in theta eine Substitution enthalten ist, durch den an die Variable gebundenen Ausdruck.
 boolean Simplifier.unify(SimpleNode condition, SimpleNode pattern)
          Startet den Unifikationsalgorithmus.
 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.
 boolean Simplifier.simplify(SimpleNode ccondition, boolean output)
          Versucht durch Verwendung der Methode reduce(SimpleNode ccondition, Rules rules, boolean output) einen einzelnen Vereinfachungsschritt durchzufuehren.
 void ListOfSimpleNodes.addLast(SimpleNode newNode)
          Fügt ein Element an das Ende der Liste an.
 void ListOfSimpleNodes.createTree(SimpleNode node)
          Erstellt eine Liste mit Elementen vom Typ SimpleNode, in der die einzelnen Knoten in der Reihenfolge der entsprechenden String-Repräsentation enthalten sind.
 

Constructors in Default Package with parameters of type SimpleNode
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.
BoolRewriter(SimpleNode condition, ListOfSubstitutions theta)
          Erzeugt einen BoolRewriter für einen booleschen Ausdruck.
Substitution(java.lang.String var, SimpleNode subst)
          Erzeugt eine Bindung der Variablen mit Namen var an das Muster subst.
VerifCondCreater(SimpleNode prog)
          Erzeugt einen VerifCondCreater für das in der Variablen program enthaltene Programm.
Simplifier(SimpleNode condition, BoolSimp boolSimp, OrdSimp ordSimp, AlgSimp algSimp, javax.swing.JTextArea output)
          Erzeugt einen Simplifier.
ListElem(SimpleNode elem)
          Erzeugt ein Listenelement.
 

Uses of SimpleNode in parser
 

Methods in parser that return SimpleNode
 SimpleNode SimpleNode.getParent()
          Liefert den Parentknoten des aktuellen SimpleNode.
 SimpleNode SimpleNode.getChild(int i)
          Liefert i-ten Kindknoten des Arrays children.
 SimpleNode SimpleNode.copy()
          Liefert eine tiefe Kopie dieses Baumes.
 

Methods in parser with parameters of type SimpleNode
 void SimpleNode.replaceAll(SimpleNode oldNode, SimpleNode newNode)
          Ersetzt alle Identifier-Knoten (Typ VerifierTreeConstants.JJTID), die den gleichen Bezeichner wie der Identifier-Knoten oldNode besitzen, durch den Knoten newNode.
 void SimpleNode.replaceAll(java.lang.String nameOfOldNode, SimpleNode newNode)
          Ersetzt alle Knoten mit dem Bezeichner nameOfOldNode durch den Knoten newNode.
 void SimpleNode.replaceNode(SimpleNode newNode)
          Ersetzt diesen Knoten durch newNode.
 void SimpleNode.mod(SimpleNode simpCond)
          Ersetzt in einer SimpleNode den vom Benutzer markierten Teilbaum durch einen vereinfachten Teilbaum simpCond unter Berücksichtigung der Linksklammerung von verschachtelten Summen und Produkten.
 

Constructors in parser with parameters of type SimpleNode
SimpleNode(int i, java.lang.String nname, SimpleNode[] cchildren)
          Erzeugt einen Baumknoten vom Typ i und Bezeichner nname mit den Kindern cchildren.