FrameIT
JSONManager.MMTSymbolDeclaration Member List

This is the complete list of members for JSONManager.MMTSymbolDeclaration, including all inherited members.

dfJSONManager.MMTSymbolDeclaration
FromJson(string json)JSONManager.MMTDeclarationstatic
kindJSONManager.MMTSymbolDeclaration
labelJSONManager.MMTDeclaration
MMTSymbolDeclaration(string label, MMTTerm tp, MMTTerm df)JSONManager.MMTSymbolDeclaration
ToJson(MMTDeclaration mmtDecl)JSONManager.MMTDeclarationstatic
tpJSONManager.MMTSymbolDeclaration