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

Packages that use WyalFile.Expr.Constant

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

Uses of WyalFile.Expr.Constant in wyal.io

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

Modifier and Type	Method and Description
void	WyalFilePrinter.writeConstant(WyalFile.Expr.Constant expr)

Uses of WyalFile.Expr.Constant in wyal.lang

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

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

Uses of WyalFile.Expr.Constant in wyal.util

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

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

Uses of WyalFile.Expr.Constant in wytp.proof

Subclasses of WyalFile.Expr.Constant in wytp.proof

Modifier and Type	Class and Description
static class	Formula.Truth

Uses of WyalFile.Expr.Constant in wytp.proof.rules

Methods in wytp.proof.rules with parameters of type WyalFile.Expr.Constant

Modifier and Type	Method and Description
WyalFile.Expr	Simplification.simplifyConstant(WyalFile.Expr.Constant e)

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

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

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