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

Packages that use WyalFile.Expr.Is

Package	Description
wyal.io
wyal.lang
wyal.util
wytp.proof
wytp.types.util

Uses of WyalFile.Expr.Is in wyal.io

Methods in wyal.io with parameters of type WyalFile.Expr.Is

Modifier and Type	Method and Description
void	WyalFilePrinter.writeIsOperator(WyalFile.Expr.Is expr)

Uses of WyalFile.Expr.Is in wyal.lang

Methods in wyal.lang that return WyalFile.Expr.Is

Modifier and Type	Method and Description
WyalFile.Expr.Is	WyalFile.Expr.Is.clone(wybs.lang.SyntacticItem[] operands)

Uses of WyalFile.Expr.Is in wyal.util

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

Modifier and Type	Method and Description
protected Object	Interpreter.evaluateIs(WyalFile.Expr.Is expr, Interpreter.Environment environment)

Uses of WyalFile.Expr.Is in wytp.proof

Subclasses of WyalFile.Expr.Is in wytp.proof

Modifier and Type	Class and Description
static class	Formula.Is

Uses of WyalFile.Expr.Is in wytp.types.util

Methods in wytp.types.util with parameters of type WyalFile.Expr.Is

Modifier and Type	Method and Description
protected WyalFile.Type	StdTypeInfererence.inferIs(TypeInferer.Environment environment, WyalFile.Expr.Is expr)