Uses of Class
wyal.lang.WyalFile.Stmt.Quantifier

Packages that use WyalFile.Stmt.Quantifier

Package	Description
wyal.lang

Uses of WyalFile.Stmt.Quantifier in wyal.lang

Subclasses of WyalFile.Stmt.Quantifier in wyal.lang

Modifier and Type	Class and Description
static class	WyalFile.Stmt.ExistentialQuantifier Represents an unbounded existentially quantified expression of the form "some(T v1, ...
static class	WyalFile.Stmt.UniversalQuantifier Represents an unbounded universally quantified expression of the form "forall(T v1, ...

Methods in wyal.lang that return WyalFile.Stmt.Quantifier

Modifier and Type	Method and Description
abstract WyalFile.Stmt.Quantifier	WyalFile.Stmt.Quantifier.clone(wybs.lang.SyntacticItem[] operands)
WyalFile.Stmt.Quantifier	WyalFile.Stmt.UniversalQuantifier.clone(wybs.lang.SyntacticItem[] operands)
WyalFile.Stmt.Quantifier	WyalFile.Stmt.ExistentialQuantifier.clone(wybs.lang.SyntacticItem[] operands)