FrameIT
REST_JSON_API.MMTValueFact Class Reference

Class for facts with values, e.g. Distances or Angles More...

Inheritance diagram for REST_JSON_API.MMTValueFact:
REST_JSON_API.MMTFact

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)
 

Detailed Description

Class for facts with values, e.g. Distances or Angles

Constructor & Destructor Documentation

◆ MMTValueFact() [1/2]

REST_JSON_API.MMTValueFact.MMTValueFact ( OMS ref,
string  label,
SOMDoc  lhs,
SOMDoc  valueType,
SOMDoc  value,
SOMDoc  proof = null 
)
private

◆ MMTValueFact() [2/2]

REST_JSON_API.MMTValueFact.MMTValueFact ( string  label,
SOMDoc  lhs,
SOMDoc  valueType,
SOMDoc  value,
SOMDoc  proof = null 
)

Constructor used for sending new declarations to mmt

Member Function Documentation

◆ EquivalentWrapped()

override bool REST_JSON_API.MMTValueFact.EquivalentWrapped ( MMTFact  f1,
MMTFact  f2 
)
protectedvirtual

Implements REST_JSON_API.MMTFact.

◆ getApplicant()

override string REST_JSON_API.MMTValueFact.getApplicant ( )
virtual

Implements REST_JSON_API.MMTFact.

◆ GetDefines()

override SOMDoc REST_JSON_API.MMTValueFact.GetDefines ( )
virtual

Implements REST_JSON_API.MMTFact.

◆ GetDependentFactIds()

override string[] REST_JSON_API.MMTValueFact.GetDependentFactIds ( )
virtual

Implements REST_JSON_API.MMTFact.

◆ GetMMTType()

override SOMDoc REST_JSON_API.MMTValueFact.GetMMTType ( )
virtual

Implements REST_JSON_API.MMTFact.

◆ getType()

override string REST_JSON_API.MMTValueFact.getType ( )
virtual

Implements REST_JSON_API.MMTFact.

◆ MapURIs()

override MMTFact REST_JSON_API.MMTValueFact.MapURIs ( Dictionary< string, string >  old_to_new)
virtual

Implements REST_JSON_API.MMTFact.

◆ ToString()

override string REST_JSON_API.MMTValueFact.ToString ( )
virtual

Implements REST_JSON_API.MMTFact.

Member Data Documentation

◆ lhs

SOMDoc REST_JSON_API.MMTValueFact.lhs

◆ proof

SOMDoc REST_JSON_API.MMTValueFact.proof

◆ value

SOMDoc REST_JSON_API.MMTValueFact.value

◆ valueType

SOMDoc REST_JSON_API.MMTValueFact.valueType

Property Documentation

◆ kind

override string REST_JSON_API.MMTValueFact.kind
get

The documentation for this class was generated from the following file: