package execution
The algorithm for imperatively executing MMT content. This is currently very young and immature.
See api for an overview of the algorithms.
- Source
- package.scala
Type Members
- trait ExecutionCallback extends PureExecutionCallback
- abstract class ExecutionRule extends SyntaxDrivenRule with ApplicableUnder
- abstract class Executor extends Extension
- class Heap extends Theory
- class Instance extends Structure
- trait PureExecutionCallback extends AnyRef
- class RuleBasedExecutor extends Executor
- class Runtime extends ExecutionCallback with Logger
- class RuntimeEnvironment extends AnyRef
- class ShellCommand extends ShellExtension
- class Stack extends AnyRef