Uses of Class
mepk.kernel.MEPKException

Packages that use MEPKException

Package	Description
mepk.builtin	This package implements extensions on top of the mepk.kernel.
mepk.kernel	This package implements the trusted kernel of MEPK.

Uses of MEPKException in mepk.builtin

Subclasses of MEPKException in mepk.builtin

Modifier and Type	Class	Description
class	MEPKParseException	This exception indicates that a String could not be parsed to an Expression, a Statement, or a Set of Statements.

Uses of MEPKException in mepk.kernel

Subclasses of MEPKException in mepk.kernel

Modifier and Type	Class	Description
class	MEPKVerificationException	This exception indicates that a Proof did not Proof.verify() correctly.