Uses of Enum Class
dev.civl.abc.ast.node.IF.expression.QuantifiedExpressionNode.Quantifier

Packages that use QuantifiedExpressionNode.Quantifier

Package	Description
dev.civl.abc.ast.node.IF	Submodule ast.node defines every kind of node in an AST.
dev.civl.abc.ast.node.IF.expression	The ast.node.expression submodule defines AST nodes for representing expressions in a program.

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

Methods in dev.civl.abc.ast.node.IF with parameters of type QuantifiedExpressionNode.Quantifier

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.

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

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

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