|
|||||||||||
PREV NEXT | FRAMES NO FRAMES |
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. |
|
|||||||||||
PREV NEXT | FRAMES NO FRAMES |