Uses of Class
wyal.lang.WyalFile.Value.Bool

Packages that use WyalFile.Value.Bool

Package	Description
wyal.lang
wytp.proof

Uses of WyalFile.Value.Bool in wyal.lang

Methods in wyal.lang that return WyalFile.Value.Bool

Modifier and Type	Method and Description
WyalFile.Value.Bool	WyalFile.Value.Bool.clone(SyntacticItem[] operands)

Uses of WyalFile.Value.Bool in wytp.proof

Methods in wytp.proof that return WyalFile.Value.Bool

Modifier and Type	Method and Description
WyalFile.Value.Bool	Formula.Truth.getValue()

Constructors in wytp.proof with parameters of type WyalFile.Value.Bool

Constructor and Description
Truth(WyalFile.Value.Bool value)