Interface Ausdruck<T>
-
- All Known Implementing Classes:
LogischesLiteral,LogischeVariable,Operation
public interface Ausdruck<T>Basisklasse aller Symbole des Interpeters.
-
-
Method Summary
Modifier and Type Method Description default java.util.List<? extends Ausdruck<?>>getNachfolger()Gibt eine Liste der verschachtelten Ausdrücke zurück.static java.util.Set<java.lang.String>getVariablen(Ausdruck<?> ausdruck)Bestimmt Rekursiv die Menge der Termsymbole im Ausdruck, die Variablen darstellen.Tinterpret(Kontext kontext)Interpretiert den Ausdruck im gegebenen Kontext.
-
-
-
Method Detail
-
getVariablen
static java.util.Set<java.lang.String> getVariablen(Ausdruck<?> ausdruck)
Bestimmt Rekursiv die Menge der Termsymbole im Ausdruck, die Variablen darstellen.- Parameters:
ausdruck- Ein beliebiger Ausdruck- Returns:
- Menge der Variablennamen
-
getNachfolger
default java.util.List<? extends Ausdruck<?>> getNachfolger()
Gibt eine Liste der verschachtelten Ausdrücke zurück.- Returns:
- Liste der Ausdrücke direkt unter diesen Ausdruck.
Die Methode arbeiten im Gegensatz zu
interpret(Kontext)nicht rekursiv.
-
-