Uses of Interface
dev.civl.mc.model.IF.expression.QuantifiedExpression

Packages that use QuantifiedExpression

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.

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

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

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.