Uses of Interface
mepk.kernel.Expression.Internal.Wrapper

Packages that use Expression.Internal.Wrapper

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

Uses of Expression.Internal.Wrapper in mepk.kernel

Methods in mepk.kernel with parameters of type Expression.Internal.Wrapper

Modifier and Type	Method	Description
Expression	App.expand(Abbreviation abbreviation, StatementAbbrExpState accu, Expression.Internal.Wrapper wrapper)
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.
Expression	Var.expand(Abbreviation abbreviation, StatementAbbrExpState accu, Expression.Internal.Wrapper wrapper)
Expression	App.substitute(String varName, Expression.Internal replacement, Expression.Internal.Wrapper wrapper)
Expression	Expression.Internal.substitute(String varName, Expression.Internal replacement, Expression.Internal.Wrapper wrapper)	Create a new internal expression by replacing a variable by an internal expression.
Expression	Var.substitute(String varName, Expression.Internal replacement, Expression.Internal.Wrapper wrapper)