Uses of Class
wytp.proof.Formula.Conjunct

Packages that use Formula.Conjunct

Package	Description
wytp.proof
wytp.proof.rules

Uses of Formula.Conjunct in wytp.proof

Methods in wytp.proof that return Formula.Conjunct

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

Uses of Formula.Conjunct in wytp.proof.rules

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

Modifier and Type	Method and Description
Formula	Simplification.simplifyConjunct(Formula.Conjunct conjunct)