Uses of Class
wytp.proof.util.AbstractProof

Packages that use AbstractProof

Package	Description
wytp.proof.util

Uses of AbstractProof in wytp.proof.util

Subclasses of AbstractProof in wytp.proof.util

Modifier and Type	Class and Description
class	DeltaProof

Fields in wytp.proof.util declared as AbstractProof

Modifier and Type	Field and Description
protected AbstractProof<T>	AbstractProof.AbstractState.proof

Constructors in wytp.proof.util with parameters of type AbstractProof

Constructor and Description
AbstractState(AbstractProof<T> proof, T parent, Proof.Rule rule, Formula... dependencies)