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

Public Member Functions

 MMTSymbolDeclaration (string label, MMTTerm tp, MMTTerm df)
 

Public Attributes

string kind = "general"
 
MMTTerm tp
 
MMTTerm df
 
- 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

MMTSymbolDeclaration: Class for facts without values, e.g. Points

Constructor & Destructor Documentation

◆ MMTSymbolDeclaration()

JSONManager.MMTSymbolDeclaration.MMTSymbolDeclaration ( string  label,
MMTTerm  tp,
MMTTerm  df 
)

Constructor used for sending new declarations to mmt

Member Data Documentation

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