FrameIT
|
Class for facts without values, e.g. Points More...
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 () |
![]() | |
bool | Equivalent (MMTFact f2) |
Public Attributes | |
SOMDoc | type |
SOMDoc | defines |
![]() | |
OMS | ref |
Protected Member Functions | |
override bool | EquivalentWrapped (MMTFact f1, MMTFact f2) |
Properties | |
override string | kind [get] |
![]() | |
abstract string | kind [get] |
string? | label [getset] |
Private Member Functions | |
MMTGeneralFact (OMS @ref, string label, SOMDoc type, SOMDoc defines) | |
Additional Inherited Members | |
![]() | |
static bool | Equivalent (MMTFact f1, MMTFact f2) |
Class for facts without values, e.g. Points
|
private |
Constructor used for sending new declarations to mmt
|
protectedvirtual |
Implements REST_JSON_API.MMTFact.
|
virtual |
Implements REST_JSON_API.MMTFact.
|
virtual |
Implements REST_JSON_API.MMTFact.
|
virtual |
Implements REST_JSON_API.MMTFact.
|
virtual |
Implements REST_JSON_API.MMTFact.
|
virtual |
Implements REST_JSON_API.MMTFact.
|
virtual |
Implements REST_JSON_API.MMTFact.
|
virtual |
Implements REST_JSON_API.MMTFact.
SOMDoc REST_JSON_API.MMTGeneralFact.defines |
SOMDoc REST_JSON_API.MMTGeneralFact.type |
|
get |