Uses of Enum Class
dev.civl.mc.model.IF.expression.QuantifiedExpression.Quantifier

Packages that use QuantifiedExpression.Quantifier

Package	Description
dev.civl.mc.model.IF	Module model defines a static model, i.e., the control flow graph, representation of a CIVL-C program.
dev.civl.mc.model.IF.expression	Submodule model.expression defines expression in CIVL.

Uses of QuantifiedExpression.Quantifier in dev.civl.mc.model.IF

Methods in dev.civl.mc.model.IF with parameters of type QuantifiedExpression.Quantifier

Modifier and Type	Method	Description
QuantifiedExpression	ModelFactory.quantifiedExpression(CIVLSource source, QuantifiedExpression.Quantifier quantifier, List<Pair<List<Variable>,Expression>> boundVariableList, Expression restriction, Expression expression)	Creates a new quantified expression.

Uses of QuantifiedExpression.Quantifier in dev.civl.mc.model.IF.expression

Methods in dev.civl.mc.model.IF.expression that return QuantifiedExpression.Quantifier

Modifier and Type	Method	Description
QuantifiedExpression.Quantifier	QuantifiedExpression.quantifier()
static QuantifiedExpression.Quantifier	QuantifiedExpression.Quantifier.valueOf(String name)	Returns the enum constant of this class with the specified name.
static QuantifiedExpression.Quantifier[]	QuantifiedExpression.Quantifier.values()	Returns an array containing the constants of this enum class, in the order they are declared.