Uses of Class
wyal.lang.WyalFile.Pair

Packages that use WyalFile.Pair

Package	Description
wyal.lang
wytp.proof.rules

Uses of WyalFile.Pair in wyal.lang

Methods in wyal.lang that return WyalFile.Pair

Modifier and Type	Method and Description
WyalFile.Pair<K,V>	WyalFile.Pair.clone(SyntacticItem[] operands)
WyalFile.Pair<WyalFile.Identifier,WyalFile.Expr>[]	WyalFile.Expr.RecordInitialiser.getFields()

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

Constructor and Description
RecordInitialiser(WyalFile.Pair<WyalFile.Identifier,WyalFile.Expr>... fields)

Uses of WyalFile.Pair in wytp.proof.rules

Methods in wytp.proof.rules that return WyalFile.Pair

Modifier and Type	Method and Description
WyalFile.Pair<WyalFile.Expr,WyalFile.Expr>	Simplification.normaliseBounds(WyalFile.Expr lhs, WyalFile.Expr rhs) Normalise bounds of an equation to be positive.