public class Quantor
extends java.lang.Object
implements de.bsvrz.sys.funclib.bitctrl.interpreter.Ausdruck
Constructor and Description |
---|
Quantor(Variable variable,
QuantorBedingung quantitaet,
de.bsvrz.sys.funclib.bitctrl.interpreter.Ausdruck menge,
de.bsvrz.sys.funclib.bitctrl.interpreter.Ausdruck bedingung)
Konstruktor.
|
Modifier and Type | Method and Description |
---|---|
java.util.List<de.bsvrz.sys.funclib.bitctrl.interpreter.Ausdruck> |
getNachfolger()
.
|
java.lang.Object |
interpret(de.bsvrz.sys.funclib.bitctrl.interpreter.Kontext kontext)
.
|
public Quantor(Variable variable, QuantorBedingung quantitaet, de.bsvrz.sys.funclib.bitctrl.interpreter.Ausdruck menge, de.bsvrz.sys.funclib.bitctrl.interpreter.Ausdruck bedingung)
variable
- die Laufvariable für die Auswertung der Mengequantitaet
- die Quantor-Bedingungmenge
- die Menge über die die Auswertung erfolgen sollbedingung
- die Bedingung, die für alle Elemente der Menge geprüft werden
sollpublic java.util.List<de.bsvrz.sys.funclib.bitctrl.interpreter.Ausdruck> getNachfolger()
getNachfolger
in interface de.bsvrz.sys.funclib.bitctrl.interpreter.Ausdruck
Ausdruck.getNachfolger()
public java.lang.Object interpret(de.bsvrz.sys.funclib.bitctrl.interpreter.Kontext kontext)
interpret
in interface de.bsvrz.sys.funclib.bitctrl.interpreter.Ausdruck
Ausdruck.interpret(de.bsvrz.sys.funclib.bitctrl.interpreter.Kontext)