Uses of Class
mepk.kernel.Justification

Packages that use Justification

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 Justification in mepk.builtin

Methods in mepk.builtin that return Justification

Modifier and Type	Method	Description
Justification	TrustedProof.getJustificationFor(Statement statement)
Justification	TrustedProof.Internal.getJustificationFor(Statement statement)	Return a justification for the given statement.

Uses of Justification in mepk.builtin.internal

Methods in mepk.builtin.internal that return Justification

Modifier and Type	Method	Description
Justification	ParProof.getJustificationFor(Statement statement)
Justification	SeqProof.getJustificationFor(Statement statement)
Justification	TrivialProof.getJustificationFor(Statement statement)

Uses of Justification in mepk.kernel

Methods in mepk.kernel that return Justification

Modifier and Type	Method	Description
abstract Justification	Proof.getJustificationFor(Statement statement)	Return a justification for the given statement.
Justification	ProofStep.getJustificationFor(Statement statement)

Uses of Justification in mepk.kernel.util

Methods in mepk.kernel.util that return Justification

Modifier and Type	Method	Description
Justification	ExpandedAbbreviationsProof.getJustificationFor(Statement statement)
Justification	TrivialProof.getJustificationFor(Statement statement)