Uses of Interface
wytp.proof.Proof.NonLinearRule

Packages that use Proof.NonLinearRule

Package	Description
wytp.proof.rules.logic

Uses of Proof.NonLinearRule in wytp.proof.rules.logic

Classes in wytp.proof.rules.logic that implement Proof.NonLinearRule

Modifier and Type	Class and Description
class	OrElimination Responsible for eliminating disjuncts by forking the proof into multiple branches, one for each clause in the disjunct.