Uses of Class
wytp.proof.Formula.Is

Packages that use Formula.Is

Package	Description
wytp.proof
wytp.proof.rules

Uses of Formula.Is in wytp.proof

Methods in wytp.proof that return Formula.Is

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

Uses of Formula.Is in wytp.proof.rules

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

Modifier and Type	Method and Description
Formula	Simplification.simplifyIs(Formula.Is e)