Class Substitution

java.lang.Object
  extended bySubstitution

class Substitution
extends java.lang.Object

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).

See Also:
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

next

Substitution next
Zeiger auf die nächste Substitution.


prev

Substitution prev
Zeiger auf die vorangegangene Substitution.

Constructor Detail

Substitution

public Substitution(java.lang.String var,
                    SimpleNode subst)
Erzeugt eine Bindung der Variablen mit Namen var an das Muster subst.

Method Detail

getVar

public java.lang.String getVar()
Liefert den Namen der gebundenen Variablen.


getSubst

public SimpleNode getSubst()
Liefert das Muster der Substitution.


toString

public java.lang.String toString()
Konvertiert eine Substitution in einen String.