|
FrameIT
|
Public Member Functions | |
| override String | getType () |
Public Attributes | |
| MMTTerm | lhs |
| MMTTerm | valueTp |
| MMTTerm | value |
| MMTTerm | proof |
Public Attributes inherited from Scroll.ScrollFact | |
| string | kind |
| UriReference | ref |
| string | label |
Class used for deserializing incoming value-declarations from mmt
|
virtual |
Implements Scroll.ScrollFact.
| MMTTerm Scroll.ScrollValueFact.lhs |
| MMTTerm Scroll.ScrollValueFact.proof |
| MMTTerm Scroll.ScrollValueFact.value |
| MMTTerm Scroll.ScrollValueFact.valueTp |