Uses of Class
wyal.util.Interpreter.Result

Packages that use Interpreter.Result

Package	Description
wyal.util

Uses of Interpreter.Result in wyal.util

Methods in wyal.util that return Interpreter.Result

Modifier and Type	Method and Description
Interpreter.Result	Interpreter.evaluate(WyalFile.Declaration.Assert a)
protected Interpreter.Result	Interpreter.evaluateBlock(WyalFile.Stmt.Block block, Interpreter.Environment environment)
protected Interpreter.Result	Interpreter.evaluateCaseOf(WyalFile.Stmt.CaseOf stmt, Interpreter.Environment environment)
protected Interpreter.Result	Interpreter.evaluateExists(WyalFile.Stmt.ExistentialQuantifier stmt, Interpreter.Environment environment)
protected Interpreter.Result	Interpreter.evaluateForAll(WyalFile.Stmt.UniversalQuantifier stmt, Interpreter.Environment environment)
protected Interpreter.Result	Interpreter.evaluateIfThen(WyalFile.Stmt.IfThen stmt, Interpreter.Environment environment)
protected Interpreter.Result	Interpreter.evaluateStatement(WyalFile.Stmt stmt, Interpreter.Environment environment)