Uses of Class
wytp.proof.rules.CongruenceClosure.Assignment

Packages that use CongruenceClosure.Assignment

Package	Description
wytp.proof.rules

Uses of CongruenceClosure.Assignment in wytp.proof.rules

Methods in wytp.proof.rules that return CongruenceClosure.Assignment

Modifier and Type	Method and Description
static CongruenceClosure.Assignment	CongruenceClosure.rearrangeToAssignment(Formula.Equality equality) Rearrange an equality into two parts.