Uses of Class
mepk.builtin.internal.StatementAbbrExpState

Packages that use StatementAbbrExpState

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

Uses of StatementAbbrExpState in mepk.kernel

Methods in mepk.kernel with parameters of type StatementAbbrExpState

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.
Expression	Var.expand(Abbreviation abbreviation, StatementAbbrExpState accu, Expression.Internal.Wrapper wrapper)