FrameIT
REST_JSON_API.MMTGeneralFact Class Reference

Class for facts without values, e.g. Points More...

Inheritance diagram for REST_JSON_API.MMTGeneralFact:
REST_JSON_API.MMTFact

Public Member Functions

 MMTGeneralFact (string label, SOMDoc type, SOMDoc defines)
 Constructor used for sending new declarations to mmt More...
 
override string getType ()
 
override string getApplicant ()
 
override MMTFact MapURIs (Dictionary< string, string > old_to_new)
 
override SOMDoc GetDefines ()
 
override string[] GetDependentFactIds ()
 
override SOMDoc GetMMTType ()
 
override string ToString ()
 
- Public Member Functions inherited from REST_JSON_API.MMTFact
bool Equivalent (MMTFact f2)
 

Public Attributes

SOMDoc type
 
SOMDoc defines
 
- Public Attributes inherited from REST_JSON_API.MMTFact
OMS ref
 

Protected Member Functions

override bool EquivalentWrapped (MMTFact f1, MMTFact f2)
 

Properties

override string kind [get]
 
- Properties inherited from REST_JSON_API.MMTFact
abstract string kind [get]
 
string? label [getset]
 

Private Member Functions

 MMTGeneralFact (OMS @ref, string label, SOMDoc type, SOMDoc defines)
 

Additional Inherited Members

- Static Public Member Functions inherited from REST_JSON_API.MMTFact
static bool Equivalent (MMTFact f1, MMTFact f2)
 

Detailed Description

Class for facts without values, e.g. Points

Constructor & Destructor Documentation

◆ MMTGeneralFact() [1/2]

REST_JSON_API.MMTGeneralFact.MMTGeneralFact ( OMS ref,
string  label,
SOMDoc  type,
SOMDoc  defines 
)
private

◆ MMTGeneralFact() [2/2]

REST_JSON_API.MMTGeneralFact.MMTGeneralFact ( string  label,
SOMDoc  type,
SOMDoc  defines 
)

Constructor used for sending new declarations to mmt

Member Function Documentation

◆ EquivalentWrapped()

override bool REST_JSON_API.MMTGeneralFact.EquivalentWrapped ( MMTFact  f1,
MMTFact  f2 
)
protectedvirtual

Implements REST_JSON_API.MMTFact.

◆ getApplicant()

override string REST_JSON_API.MMTGeneralFact.getApplicant ( )
virtual

Implements REST_JSON_API.MMTFact.

◆ GetDefines()

override SOMDoc REST_JSON_API.MMTGeneralFact.GetDefines ( )
virtual

Implements REST_JSON_API.MMTFact.

◆ GetDependentFactIds()

override string[] REST_JSON_API.MMTGeneralFact.GetDependentFactIds ( )
virtual

Implements REST_JSON_API.MMTFact.

◆ GetMMTType()

override SOMDoc REST_JSON_API.MMTGeneralFact.GetMMTType ( )
virtual

Implements REST_JSON_API.MMTFact.

◆ getType()

override string REST_JSON_API.MMTGeneralFact.getType ( )
virtual

Implements REST_JSON_API.MMTFact.

◆ MapURIs()

override MMTFact REST_JSON_API.MMTGeneralFact.MapURIs ( Dictionary< string, string >  old_to_new)
virtual

Implements REST_JSON_API.MMTFact.

◆ ToString()

override string REST_JSON_API.MMTGeneralFact.ToString ( )
virtual

Implements REST_JSON_API.MMTFact.

Member Data Documentation

◆ defines

SOMDoc REST_JSON_API.MMTGeneralFact.defines

◆ type

SOMDoc REST_JSON_API.MMTGeneralFact.type

Property Documentation

◆ kind

override string REST_JSON_API.MMTGeneralFact.kind
get

The documentation for this class was generated from the following file: