Uses of Class
wyal.lang.WyalFile.Value

Packages that use WyalFile.Value

Package	Description
wyal.lang
wytp.proof.rules

Uses of WyalFile.Value in wyal.lang

Subclasses of WyalFile.Value in wyal.lang

Modifier and Type	Class and Description
static class	WyalFile.Value.Bool
static class	WyalFile.Value.Int
static class	WyalFile.Value.Null
static class	WyalFile.Value.UTF8

Methods in wyal.lang that return WyalFile.Value

Modifier and Type	Method and Description
WyalFile.Value	WyalFile.Expr.Constant.getValue()

Constructors in wyal.lang with parameters of type WyalFile.Value

Constructor and Description
Constant(WyalFile.Value value)

Uses of WyalFile.Value in wytp.proof.rules

Methods in wytp.proof.rules with parameters of type WyalFile.Value

Modifier and Type	Method and Description
Formula.Truth	Simplification.evaluateEquality(WyalFile.Opcode opcode, WyalFile.Value lhs, WyalFile.Value rhs) Evaluate a given equality whose bounds are known to be constant values of some sort.