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

Packages that use WyalFile.Expr.LogicalImplication

Package	Description
wyal.util

Uses of WyalFile.Expr.LogicalImplication in wyal.util

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

Modifier and Type	Method and Description
protected boolean	Interpreter.evaluateLogicalImplication(WyalFile.Expr.LogicalImplication expr, Interpreter.Environment environment)