Uses of Class
wyc.lang.Expr.QOp

Packages that use Expr.QOp

Package	Description
wyc.lang	Provides core classes for the Abstract Syntax Tree (AST) used to represent Whiley source files.

Uses of Expr.QOp in wyc.lang

Fields in wyc.lang declared as Expr.QOp

Modifier and Type	Field and Description
Expr.QOp	Expr.Quantifier.cop

Methods in wyc.lang that return Expr.QOp

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

Constructors in wyc.lang with parameters of type Expr.QOp

Constructor and Description
Quantifier(Expr.QOp cop, Collection<wycc.util.Triple<String,Expr,Expr>> sources, Expr condition, wybs.lang.Attribute... attributes)