Uses of Class
wytp.proof.Formula.Equality

Packages that use Formula.Equality

Package	Description
wytp.proof
wytp.proof.rules

Uses of Formula.Equality in wytp.proof

Subclasses of Formula.Equality in wytp.proof

Modifier and Type	Class and Description
static class	Formula.ArithmeticEquality

Methods in wytp.proof that return Formula.Equality

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

Uses of Formula.Equality in wytp.proof.rules

Methods in wytp.proof.rules with parameters of type Formula.Equality

Modifier and Type	Method and Description
static CongruenceClosure.Assignment	CongruenceClosure.rearrangeToAssignment(Formula.Equality equality) Rearrange an equality into two parts.
Formula	Simplification.simplifyEquality(Formula.Equality eq) Simplify a non-arithmetic equality by attempting to evaluate it.