MMTValueDeclaration: Class for facts with values, e.g. Distances or Angles
◆ MMTValueDeclaration()
JSONManager.MMTValueDeclaration.MMTValueDeclaration |
( |
string |
label, |
|
|
MMTTerm |
lhs, |
|
|
MMTTerm |
valueTp, |
|
|
MMTTerm |
value |
|
) |
| |
Constructor used for sending new declarations to mmt
◆ kind
string JSONManager.MMTValueDeclaration.kind = "veq" |
◆ lhs
MMTTerm JSONManager.MMTValueDeclaration.lhs |
◆ value
MMTTerm JSONManager.MMTValueDeclaration.value |
◆ valueTp
MMTTerm JSONManager.MMTValueDeclaration.valueTp |
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