FrameIT
REST_JSON_API.MMTValueFact Member List

This is the complete list of members for REST_JSON_API.MMTValueFact, including all inherited members.

_labelREST_JSON_API.MMTFactprivate
Equivalent(MMTFact f1, MMTFact f2)REST_JSON_API.MMTFactstatic
Equivalent(MMTFact f2)REST_JSON_API.MMTFact
EquivalentWrapped(MMTFact f1, MMTFact f2)REST_JSON_API.MMTValueFactprotectedvirtual
getApplicant()REST_JSON_API.MMTValueFactvirtual
GetDefines()REST_JSON_API.MMTValueFactvirtual
GetDependentFactIds()REST_JSON_API.MMTValueFactvirtual
GetMMTType()REST_JSON_API.MMTValueFactvirtual
getType()REST_JSON_API.MMTValueFactvirtual
kindREST_JSON_API.MMTValueFact
labelREST_JSON_API.MMTFact
lhsREST_JSON_API.MMTValueFact
MapURIs(Dictionary< string, string > old_to_new)REST_JSON_API.MMTValueFactvirtual
MMTValueFact(OMS @ref, string label, SOMDoc lhs, SOMDoc valueType, SOMDoc value, SOMDoc proof=null)REST_JSON_API.MMTValueFactprivate
MMTValueFact(string label, SOMDoc lhs, SOMDoc valueType, SOMDoc value, SOMDoc proof=null)REST_JSON_API.MMTValueFact
proofREST_JSON_API.MMTValueFact
refREST_JSON_API.MMTFact
ToString()REST_JSON_API.MMTValueFactvirtual
valueREST_JSON_API.MMTValueFact
valueTypeREST_JSON_API.MMTValueFact