Uses of Class
wyal.lang.WyalFile.Expr.UniversalQuantifier

Packages that use WyalFile.Expr.UniversalQuantifier

Package	Description
wyal.util

Uses of WyalFile.Expr.UniversalQuantifier in wyal.util

Methods in wyal.util with parameters of type WyalFile.Expr.UniversalQuantifier

Modifier and Type	Method and Description
protected boolean	Interpreter.evaluateUniversalQuantifier(WyalFile.Expr.UniversalQuantifier stmt, Interpreter.Environment environment)