Uses of Class
wytp.proof.Formula.Disjunct

Packages that use Formula.Disjunct

Package	Description
wytp.proof
wytp.proof.rules
wytp.proof.util

Uses of Formula.Disjunct in wytp.proof

Methods in wytp.proof that return Formula.Disjunct

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

Methods in wytp.proof with parameters of type Formula.Disjunct

Modifier and Type	Method and Description
Proof.State[]	Proof.State.split(Formula.Disjunct disjunct) Apply a simple proof step which splits a given disjunct into several sub-states.

Uses of Formula.Disjunct in wytp.proof.rules

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

Modifier and Type	Method and Description
Formula	Simplification.simplifyDisjunct(Formula.Disjunct disjunct)

Uses of Formula.Disjunct in wytp.proof.util

Methods in wytp.proof.util with parameters of type Formula.Disjunct

Modifier and Type	Method and Description
DeltaProof.State[]	DeltaProof.State.split(Formula.Disjunct disjunct)