|
||||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
java.lang.ObjectSubstitution
Eine Substitution speichert die Bindung einer freien Variablen an ein Muster.
Diese Bindung wird von dem Unifikationsalgorithmus in der Klasse "Simplifier" erzeugt.
Die Variable wird durch ihren Namen repräsentiert, das Muster durch einen Baum vom Typ
"SimpleNode".
Diese Klasse dient als Elementklasse einer Liste aus Bindungen (ListOfSubstitutions).
Simplifier
,
SimpleNode
,
ListOfSubstitutions
Field Summary | |
(package private) Substitution |
next
Zeiger auf die nächste Substitution. |
(package private) Substitution |
prev
Zeiger auf die vorangegangene Substitution. |
Constructor Summary | |
Substitution(java.lang.String var,
SimpleNode subst)
Erzeugt eine Bindung der Variablen mit Namen var an das Muster subst. |
Method Summary | |
SimpleNode |
getSubst()
Liefert das Muster der Substitution. |
java.lang.String |
getVar()
Liefert den Namen der gebundenen Variablen. |
java.lang.String |
toString()
Konvertiert eine Substitution in einen String. |
Methods inherited from class java.lang.Object |
clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait |
Field Detail |
Substitution next
Substitution prev
Constructor Detail |
public Substitution(java.lang.String var, SimpleNode subst)
Method Detail |
public java.lang.String getVar()
public SimpleNode getSubst()
public java.lang.String toString()
|
||||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |