Uses of Enum Class
dev.civl.abc.ast.node.IF.acsl.ExtendedQuantifiedExpressionNode.ExtendedQuantifier

Packages that use ExtendedQuantifiedExpressionNode.ExtendedQuantifier

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.acsl

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

Methods in dev.civl.abc.ast.node.IF with parameters of type ExtendedQuantifiedExpressionNode.ExtendedQuantifier

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.

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

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

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