|
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 () |
Public Member Functions inherited from REST_JSON_API.MMTFact | |
| bool | Equivalent (MMTFact f2) |
Public Attributes | |
| SOMDoc | lhs |
| SOMDoc | valueType |
| SOMDoc | value |
| SOMDoc | proof |
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 | |
| MMTValueFact (OMS @ref, string label, SOMDoc lhs, SOMDoc valueType, SOMDoc value, SOMDoc proof=null) | |
Additional Inherited Members | |
Static Public Member Functions inherited from REST_JSON_API.MMTFact | |
| 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 |