public static final class Ausdruck.Info
extends java.lang.Object
Modifier and Type | Method and Description |
---|---|
static java.util.Set<java.lang.String> |
getVariablen(Ausdruck ausdruck)
Bestimmt Rekursiv die Menge der Termsymbole im Ausdruck, die
Variablen darstellen.
|
public static java.util.Set<java.lang.String> getVariablen(Ausdruck ausdruck)
ausdruck
- Ein beliebiger Ausdruck