Uses of Class
wytp.proof.Formula.ArithmeticEquality

Packages that use Formula.ArithmeticEquality

Package	Description
wytp.proof
wytp.proof.rules

Uses of Formula.ArithmeticEquality in wytp.proof

Methods in wytp.proof that return Formula.ArithmeticEquality

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

Uses of Formula.ArithmeticEquality in wytp.proof.rules

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

Modifier and Type	Method and Description
Formula	Simplification.simplifyArithmeticEquality(Formula.ArithmeticEquality eq) Simplify an arithmetic equality by canceling, evaluating and/or balancing: Canceling is the process of removing commons terms from both sides.