Uses of Interface
dev.civl.abc.ast.node.IF.acsl.ExtendedQuantifiedExpressionNode

Packages that use ExtendedQuantifiedExpressionNode

Package	Description
dev.civl.abc.ast.node.IF	Submodule ast.node defines every kind of node in an AST.

Uses of ExtendedQuantifiedExpressionNode in dev.civl.abc.ast.node.IF

Methods in dev.civl.abc.ast.node.IF that return ExtendedQuantifiedExpressionNode

Modifier and Type	Method	Description
ExtendedQuantifiedExpressionNode	NodeFactory.newExtendedQuantifiedExpressionNode(Source source, ExtendedQuantifiedExpressionNode.ExtendedQuantifier quant, ExpressionNode lo, ExpressionNode hi, ExpressionNode function)	Creates a new extended quantified expression node.