FrameIT
|
Class for facts with values, e.g. Distances or Angles More...
Public Member Functions | |
MMTValueFact (string label, SOMDoc lhs, SOMDoc valueType, SOMDoc value, SOMDoc proof=null) | |
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 | lhs |
SOMDoc | valueType |
SOMDoc | value |
SOMDoc | proof |
![]() | |
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 | |
MMTValueFact (OMS @ref, string label, SOMDoc lhs, SOMDoc valueType, SOMDoc value, SOMDoc proof=null) | |
Additional Inherited Members | |
![]() | |
static bool | Equivalent (MMTFact f1, MMTFact f2) |
Class for facts with values, e.g. Distances or Angles
|
private |
REST_JSON_API.MMTValueFact.MMTValueFact | ( | string | label, |
SOMDoc | lhs, | ||
SOMDoc | valueType, | ||
SOMDoc | value, | ||
SOMDoc | proof = null |
||
) |
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.MMTValueFact.lhs |
SOMDoc REST_JSON_API.MMTValueFact.proof |
SOMDoc REST_JSON_API.MMTValueFact.value |
SOMDoc REST_JSON_API.MMTValueFact.valueType |
|
get |