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.AusdruckAusdruck.getNachfolger()public java.lang.Object interpret(de.bsvrz.sys.funclib.bitctrl.interpreter.Kontext kontext)
interpret in interface de.bsvrz.sys.funclib.bitctrl.interpreter.AusdruckAusdruck.interpret(de.bsvrz.sys.funclib.bitctrl.interpreter.Kontext)