Uses of Class
mepk.kernel.MEPKVerificationException

Packages that use MEPKVerificationException

Package	Description
mepk.kernel	This package implements the trusted kernel of MEPK.

Uses of MEPKVerificationException in mepk.kernel

Methods in mepk.kernel that throw MEPKVerificationException

Modifier and Type	Method	Description
final void	Proof.verify()	Verify this proof, by checking its justifications and recursively verifying their proofs.
protected final void	Proof.verifyStatementsAreJustified(Set<Statement> grounded)	Recursively check that each of the given statements is justified: it must either be one of this proof's grounding statements, or have a Justification whose ProofStep yields it and whose proof justifies that step's prerequisites (which are checked recursively).