|
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 |