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

Packages that use ExtendedQuantifiedExpression

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 ExtendedQuantifiedExpression in dev.civl.mc.model.IF

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

Modifier and Type	Method	Description
ExtendedQuantifiedExpression	ModelFactory.extendedQuantifiedExpression(CIVLSource source, CIVLType type, dev.civl.abc.ast.node.IF.acsl.ExtendedQuantifiedExpressionNode.ExtendedQuantifier quant, Expression lo, Expression hi, Expression function)