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

Packages that use WyalFile.Expr.ExistentialQuantifier

Package	Description
wyal.util

Uses of WyalFile.Expr.ExistentialQuantifier in wyal.util

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

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