MMTSymbolDeclaration: Class for facts without values, e.g. Points
◆ MMTSymbolDeclaration()
JSONManager.MMTSymbolDeclaration.MMTSymbolDeclaration |
( |
string |
label, |
|
|
MMTTerm |
tp, |
|
|
MMTTerm |
df |
|
) |
| |
Constructor used for sending new declarations to mmt
◆ df
MMTTerm JSONManager.MMTSymbolDeclaration.df |
◆ kind
string JSONManager.MMTSymbolDeclaration.kind = "general" |
◆ tp
MMTTerm JSONManager.MMTSymbolDeclaration.tp |
The documentation for this class was generated from the following file:
- D:/Users/marco/Dokuments/OneDrive/FAU/Informatik/UFrameIT/FrameIT/Windows/MaZiFAU/Assets/Scripts/JSONManager.cs