FrameIT
|
Public Member Functions | |
override String | getType () |
Public Attributes | |
MMTTerm | lhs |
MMTTerm | valueTp |
MMTTerm | value |
MMTTerm | proof |
![]() | |
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 |