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

Packages that use WyalFile.Value.Int

Package	Description
wyal.lang
wytp.proof
wytp.proof.rules

Uses of WyalFile.Value.Int in wyal.lang

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

Modifier and Type	Method and Description
WyalFile.Value.Int	WyalFile.Value.Int.clone(SyntacticItem[] operands)
WyalFile.Value.Int	WyalFile.Expr.Invoke.getSelector()

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

Constructor and Description
Invoke(WyalFile.Type.FunctionOrMacroOrInvariant type, WyalFile.Name name, WyalFile.Value.Int selector, WyalFile.Tuple<WyalFile.Expr> arguments, wybs.lang.Attribute... attributes)

Uses of WyalFile.Value.Int in wytp.proof

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

Constructor and Description
Invoke(boolean sign, WyalFile.Type.FunctionOrMacroOrInvariant type, WyalFile.Name name, WyalFile.Value.Int selector, WyalFile.Tuple<WyalFile.Expr> arguments)

Uses of WyalFile.Value.Int in wytp.proof.rules

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

Modifier and Type	Method and Description
Formula.Truth	Simplification.evaluateInequality(WyalFile.Opcode opcode, WyalFile.Value.Int lhs, WyalFile.Value.Int rhs) Evaluate a given inequality whose bounds are known to be constant integer values.