FrameIT
JSONManager.MMTValueDeclaration Member List

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

FromJson(string json)JSONManager.MMTDeclarationstatic
kindJSONManager.MMTValueDeclaration
labelJSONManager.MMTDeclaration
lhsJSONManager.MMTValueDeclaration
MMTValueDeclaration(string label, MMTTerm lhs, MMTTerm valueTp, MMTTerm value)JSONManager.MMTValueDeclaration
ToJson(MMTDeclaration mmtDecl)JSONManager.MMTDeclarationstatic
valueJSONManager.MMTValueDeclaration
valueTpJSONManager.MMTValueDeclaration