package modules
MMT Modules, i.e., Theorys and Views.
Link unifies Views and symbols.Structures, the two kinds of atomic theory morphisms.
ModuleOrLink unifies the two. That class defines most of the state of a module, in particular the body.
- Source
- package.scala
- Alphabetic
- By Inheritance
- modules
- AnyRef
- Any
- Hide All
- Show All
- Public
- All
Type Members
-
trait
AbstractTheory extends ModuleOrLink
abstract interface of theories and related classes, analog to Link
-
trait
Link extends ModuleOrLink
atomic MMT morphism, unifies views (which are modules) and structures (which are declarations)
atomic MMT morphism, unifies views (which are modules) and structures (which are declarations)
The declarations in the body are assignments, which are 1) Constants, whose name is the qualified name (always starts with ComplexStep) of a domain Constant and whose definiens is codomain Term or 2) or accordingly with DeclaredStructures with definiens
-
abstract
class
Module extends ModuleOrLink
MMT modules, unifies theories and views
-
trait
ModuleOrLink extends ContentElement with ContainerElement[Declaration] with HasDefiniens
this class carries the common properties of complex structural elements, in particular the body and the optional definiens Instances are of two type: Theory and Views are Modules; Views and Structures are Links
this class carries the common properties of complex structural elements, in particular the body and the optional definiens Instances are of two type: Theory and Views are Modules; Views and Structures are Links
It stores both the logical Declarations as well as their narrative structure. The former uses a hash from LocalName to Declaration, which completely ignores narrative structure. In particular, declaration names must be unique independent of the narrative grouping. The latter is stored as a Document, which holds SRef to the logical declarations.
-
trait
ModuleWrapper extends ContentElement
A ContentElement that that is defined via a module
- class RuleCache extends ChangeListener
-
class
Theory extends Module with AbstractTheory
A Theory represents an MMT theory.
A Theory represents an MMT theory.
Theories are constructed empty. Body is derived to hold a set of named symbols.
-
class
View extends Module with Link
an MMT view, i.e., a named morphism