Uses of Interface
mepk.kernel.Expression.Internal

Packages that use Expression.Internal

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

Uses of Expression.Internal in mepk.kernel

Classes in mepk.kernel that implement Expression.Internal

Modifier and Type	Class	Description
class	App	A constant-application expression.
class	Var	A variable expression.

Methods in mepk.kernel that return Expression.Internal

Modifier and Type	Method	Description
Expression.Internal	Expression.getInternalExpression()	Returns the internal representation of this expression.

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

Modifier and Type	Method	Description
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)
Expression	Expression.Internal.Wrapper.wrap(Expression.Internal internalExpression)	Wrap the given internal expression.