Uses of Class
mepk.kernel.Abbreviation

Packages that use Abbreviation

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

Methods in mepk.builtin that return types with arguments of type Abbreviation

Modifier and Type	Method	Description
Map<String,Abbreviation>	TrustedProof.getAbbreviations()
Map<String,Abbreviation>	TrustedProof.Internal.getAbbreviations()	Return the abbreviations used by this proof.

Uses of Abbreviation in mepk.builtin.internal

Methods in mepk.builtin.internal that return types with arguments of type Abbreviation

Modifier and Type	Method	Description
Map<String,Abbreviation>	ParProof.getAbbreviations()
Map<String,Abbreviation>	SeqProof.getAbbreviations()
Map<String,Abbreviation>	TrivialProof.getAbbreviations()

Uses of Abbreviation in mepk.kernel

Methods in mepk.kernel that return types with arguments of type Abbreviation

Modifier and Type	Method	Description
abstract Map<String,Abbreviation>	Proof.getAbbreviations()	Return the abbreviations used by this proof.
Map<String,Abbreviation>	ProofStep.getAbbreviations()

Methods in mepk.kernel with parameters of type Abbreviation

Modifier and Type	Method	Description
Expression	App.expand(Abbreviation abbreviation, StatementAbbrExpState accu, Expression.Internal.Wrapper wrapper)
Expression	Expression.expand(Abbreviation abbreviation, StatementAbbrExpState accu)	Create a new expression by expanding all instances of the given abbreviation, and collect all conditions in accu.
Expression	Expression.Internal.expand(Abbreviation abbreviation, StatementAbbrExpState accu, Expression.Internal.Wrapper wrapper)	Create a new expression by expanding all instances of the given abbreviation, and collect all conditions in accu.
Set<Statement>	Statement.expand(Abbreviation abbreviation)	Expand this statement by applying the given abbreviation.
Expression	Var.expand(Abbreviation abbreviation, StatementAbbrExpState accu, Expression.Internal.Wrapper wrapper)

Uses of Abbreviation in mepk.kernel.util

Methods in mepk.kernel.util that return types with arguments of type Abbreviation

Modifier and Type	Method	Description
Map<String,Abbreviation>	ExpandedAbbreviationsProof.getAbbreviations()
Map<String,Abbreviation>	TrivialProof.getAbbreviations()