Uses of Interface
wytp.proof.Proof

Packages that use Proof

Package	Description
wyal.lang
wytp.proof
wytp.proof.io
wytp.proof.util
wytp.provers

Uses of Proof in wyal.lang

Methods in wyal.lang that return Proof

Modifier and Type	Method and Description
Proof	WyalFile.Attribute.Proof.getProof()

Constructors in wyal.lang with parameters of type Proof

Constructor and Description
Proof(Proof proof)

Uses of Proof in wytp.proof

Methods in wytp.proof that return Proof

Modifier and Type	Method and Description
Proof	Proof.State.getProof() Get the enclosing proof for this step.

Uses of Proof in wytp.proof.io

Methods in wytp.proof.io with parameters of type Proof

Modifier and Type	Method and Description
void	ProofPrinter.print(Proof p)

Uses of Proof in wytp.proof.util

Classes in wytp.proof.util that implement Proof

Modifier and Type	Class and Description
class	AbstractProof<T extends Proof.State>
class	DeltaProof

Methods in wytp.proof.util that return Proof

Modifier and Type	Method and Description
Proof	AbstractProof.AbstractState.getProof()

Uses of Proof in wytp.provers

Methods in wytp.provers with parameters of type Proof

Modifier and Type	Method and Description
void	AutomatedTheoremProver.print(Proof proof)