Uses of Class
wytp.proof.util.DeltaProof.State

Packages that use DeltaProof.State

Package	Description
wytp.proof.util

Uses of DeltaProof.State in wytp.proof.util

Methods in wytp.proof.util that return DeltaProof.State

Modifier and Type	Method and Description
DeltaProof.State	DeltaProof.State.infer(Proof.Rule rule, Formula truth, Formula... dependencies)
DeltaProof.State[]	DeltaProof.State.split(Formula.Disjunct disjunct)
DeltaProof.State	DeltaProof.State.subsume(Proof.Rule rule, Formula from, Formula to, Formula... deps) Subume one formula with one or more formulae.