Uses of Class
wytp.proof.Formula.Truth

Packages that use Formula.Truth

Package	Description
wytp.proof
wytp.proof.rules

Uses of Formula.Truth in wytp.proof

Methods in wytp.proof that return Formula.Truth

Modifier and Type	Method and Description
Formula.Truth	Formula.Truth.clone(wybs.lang.SyntacticItem[] children)

Uses of Formula.Truth in wytp.proof.rules

Methods in wytp.proof.rules that return Formula.Truth

Modifier and Type	Method and Description
Formula.Truth	Simplification.evaluateEquality(int opcode, wybs.util.AbstractCompilationUnit.Value lhs, wybs.util.AbstractCompilationUnit.Value rhs) Evaluate a given equality whose bounds are known to be constant values of some sort.
Formula.Truth	Simplification.evaluateInequality(int opcode, wybs.util.AbstractCompilationUnit.Value.Int lhs, wybs.util.AbstractCompilationUnit.Value.Int rhs) Evaluate a given inequality whose bounds are known to be constant integer values.