FrameIT
JSONManager.MMTValueDeclaration Class Reference
Inheritance diagram for JSONManager.MMTValueDeclaration:
JSONManager.MMTDeclaration

Public Member Functions

 MMTValueDeclaration (string label, MMTTerm lhs, MMTTerm valueTp, MMTTerm value)
 

Public Attributes

string kind = "veq"
 
MMTTerm lhs
 
MMTTerm valueTp
 
MMTTerm value
 
- Public Attributes inherited from JSONManager.MMTDeclaration
string label
 

Additional Inherited Members

- Static Public Member Functions inherited from JSONManager.MMTDeclaration
static MMTDeclaration FromJson (string json)
 
static string ToJson (MMTDeclaration mmtDecl)
 

Detailed Description

MMTValueDeclaration: Class for facts with values, e.g. Distances or Angles

Constructor & Destructor Documentation

◆ MMTValueDeclaration()

JSONManager.MMTValueDeclaration.MMTValueDeclaration ( string  label,
MMTTerm  lhs,
MMTTerm  valueTp,
MMTTerm  value 
)

Constructor used for sending new declarations to mmt

Member Data Documentation

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