FrameIT
|
This is the complete list of members for JSONManager.MMTValueDeclaration, including all inherited members.
FromJson(string json) | JSONManager.MMTDeclaration | static |
kind | JSONManager.MMTValueDeclaration | |
label | JSONManager.MMTDeclaration | |
lhs | JSONManager.MMTValueDeclaration | |
MMTValueDeclaration(string label, MMTTerm lhs, MMTTerm valueTp, MMTTerm value) | JSONManager.MMTValueDeclaration | |
ToJson(MMTDeclaration mmtDecl) | JSONManager.MMTDeclaration | static |
value | JSONManager.MMTValueDeclaration | |
valueTp | JSONManager.MMTValueDeclaration |