Uses of Interface
dev.civl.abc.ast.node.IF.expression.QuantifiedExpressionNode

Packages that use QuantifiedExpressionNode

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

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

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

Modifier and Type	Method	Description
QuantifiedExpressionNode	NodeFactory.newQuantifiedExpressionNode(Source source, QuantifiedExpressionNode.Quantifier quantifier, SequenceNode<PairNode<SequenceNode<VariableDeclarationNode>,ExpressionNode>> boundVariableDeclarationList, ExpressionNode restriction, ExpressionNode expression, SequenceNode<PairNode<ExpressionNode,ExpressionNode>> intervalSequence)	Constructs a new quantified expression.