|
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 () |
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) |
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 |