Uses of Class
mepk.kernel.Proof

Packages that use Proof

Package	Description
mepk.builtin	This package implements extensions on top of the mepk.kernel.
mepk.builtin.internal	This package contains internal implementations for the concepts in the mepk.builtin package.
mepk.kernel	This package implements the trusted kernel of MEPK.
mepk.kernel.util	This package contains utilities which are necessary for the kernel, but which are also useful outside of it.

Uses of Proof in mepk.builtin

Subclasses of Proof in mepk.builtin

Modifier and Type	Class	Description
final class	TrustedProof	A trusted proof is a Proof which is built on the trusted kernel.

Methods in mepk.builtin that return Proof

Modifier and Type	Method	Description
static Proof	TrustedProof.Par(Proof proof1, Proof proof2)	Merge two proofs 'in parallel', so that the new proof just collects everything which the two parts prove.
static Proof	TrustedProof.Seq(Proof proof1, Proof proof2)	Merge two proofs 'in sequence', where the second proof builds on the second one.
static Proof	TrustedProof.Trivial(Set<Statement> statements)	Create a trivial proof, which does no construction at all: both its grounding and grounded statements are just the given statements.

Methods in mepk.builtin with parameters of type Proof

Modifier and Type	Method	Description
static Proof	TrustedProof.Par(Proof proof1, Proof proof2)	Merge two proofs 'in parallel', so that the new proof just collects everything which the two parts prove.
static Proof	TrustedProof.Seq(Proof proof1, Proof proof2)	Merge two proofs 'in sequence', where the second proof builds on the second one.

Uses of Proof in mepk.builtin.internal

Constructors in mepk.builtin.internal with parameters of type Proof

Modifier	Constructor	Description
	ParProof(Proof proof1, Proof proof2)	Create an instance from two proofs.
	SeqProof(Proof proof1, Proof proof2)	Create an instance from two proofs.

Uses of Proof in mepk.kernel

Subclasses of Proof in mepk.kernel

Modifier and Type	Class	Description
final class	ProofStep	A proof step is the smallest step in a proof: it shows how to create a new statement from existing ones.

Methods in mepk.kernel that return Proof

Modifier and Type	Method	Description
Proof	Justification.getProof()	Return the proof.

Constructors in mepk.kernel with parameters of type Proof

Modifier	Constructor	Description
	Justification(ProofStep proofStep, Proof proof)	Create a new justification.

Uses of Proof in mepk.kernel.util

Subclasses of Proof in mepk.kernel.util

Modifier and Type	Class	Description
class	ExpandedAbbreviationsProof	A proof which wraps another proof, and expands all that proof's abbreviations.
final class	TrivialProof	A proof which trivially grounds exactly its grounding statements.

Constructors in mepk.kernel.util with parameters of type Proof

Modifier	Constructor	Description
	ExpandedAbbreviationsProof(Proof proof)	Create a new instance wrapping the given proof.