FrameIT
|
Public Member Functions | |
override String | getType () |
Public Attributes | |
MMTTerm | tp |
MMTTerm | df |
![]() | |
string | kind |
UriReference | ref |
string | label |
Class used for deserializing incoming symbol-declarations from mmt
|
virtual |
Implements Scroll.ScrollFact.
MMTTerm Scroll.ScrollSymbolFact.df |
MMTTerm Scroll.ScrollSymbolFact.tp |