FrameIT
EqualCirclesFact Class Reference

A fact that describes, that two circles have the same size and is comprised of two CircleFacts More...

Inheritance diagram for EqualCirclesFact:
FactWrappedCRTP< EqualCirclesFact >

Public Member Functions

 EqualCirclesFact ()
 
 EqualCirclesFact (string cid1, string cid2)
 Standard Constructor: Initiates members and creates MMT Fact Server-Side More...
 
 EqualCirclesFact (string Cid1, string Cid2, SOMDoc _ServerDefinition)
 Bypasses initialization of new MMT Fact by using existend URI, which is not checked for existence. More...
 
override MMTFact MakeMMTDeclaration ()
 
override SOMDoc Defines ()
 
- Public Member Functions inherited from FactWrappedCRTP< EqualCirclesFact >
override bool Equivalent (Fact f2)
 Compares this against f2 . More...
 
override bool Equivalent (Fact f1, Fact f2)
 Compares f1 against f2 . More...
 

Static Public Member Functions

static new IEnumerator parseFact (List< Fact > ret, MMTFact fact)
 

Public Attributes

string Cid1
 two circles that are meant to be equal in area More...
 
string Cid2
 two circles that are meant to be equal in area More...
 

Protected Member Functions

override void RecalculateTransform ()
 
override string generateLabel (FactRecorder name_space)
 auto-generates GetLabel using generation variable(s) e.g. LabelId; if custom GetLabel is set, tries to restore original generated GetLabel without resetting _CustomLabel. If original GetLabel is already taken, a new one will be generated. More...
 
override string[] GetDependentFactIds ()
 
override bool EquivalentWrapped (EqualCirclesFact f1, EqualCirclesFact f2)
 Compares f1 against f2 . More...
 
override Fact _ReInitializeMe (Dictionary< string, string > old_to_new)
 
- Protected Member Functions inherited from FactWrappedCRTP< EqualCirclesFact >
 FactWrappedCRTP ()
 
abstract bool EquivalentWrapped (T f1, T f2)
 CRTP step of Equivalent(Fact) and Equivalent(Fact, Fact) More...
 
bool DependentFactsEquivalent (T f1, T f2)
 

Properties

CircleFact Circle1 [get]
 
CircleFact Circle2 [get]
 
override bool HasDependentFacts [get]
 

Detailed Description

A fact that describes, that two circles have the same size and is comprised of two CircleFacts

Constructor & Destructor Documentation

◆ EqualCirclesFact() [1/3]

EqualCirclesFact.EqualCirclesFact ( )

Only being used by JsonReader to initiate empty Facts.

See also
SOMDocManager

◆ EqualCirclesFact() [2/3]

EqualCirclesFact.EqualCirclesFact ( string  cid1,
string  cid2 
)

Standard Constructor: Initiates members and creates MMT Fact Server-Side

Parameters
cid1sets Cid1
cid2sets Cid2

◆ EqualCirclesFact() [3/3]

EqualCirclesFact.EqualCirclesFact ( string  Cid1,
string  Cid2,
SOMDoc  _ServerDefinition 
)

Bypasses initialization of new MMT Fact by using existend URI, which is not checked for existence.

Parameters
Cid1sets Cid1
Cid2sets Cid2
backendURIMMT URI

Member Function Documentation

◆ _ReInitializeMe()

override Fact EqualCirclesFact._ReInitializeMe ( Dictionary< string, string >  old_to_new)
protected

◆ Defines()

override SOMDoc EqualCirclesFact.Defines ( )

◆ EquivalentWrapped()

override bool EqualCirclesFact.EquivalentWrapped ( EqualCirclesFact  f1,
EqualCirclesFact  f2 
)
protected

Compares f1 against f2 .

Parameters
f1Fact to compare to
f2Fact to compare to
Returns
true if f2 is semantical very similar to f1

◆ generateLabel()

override string EqualCirclesFact.generateLabel ( FactRecorder  name_space)
protected

auto-generates GetLabel using generation variable(s) e.g. LabelId; if custom GetLabel is set, tries to restore original generated GetLabel without resetting _CustomLabel. If original GetLabel is already taken, a new one will be generated.

Returns
auto-generated GetLabel

◆ GetDependentFactIds()

override string[] EqualCirclesFact.GetDependentFactIds ( )
protected

◆ MakeMMTDeclaration()

override MMTFact EqualCirclesFact.MakeMMTDeclaration ( )

◆ parseFact()

static new IEnumerator EqualCirclesFact.parseFact ( List< Fact ret,
MMTFact  fact 
)
static

◆ RecalculateTransform()

override void EqualCirclesFact.RecalculateTransform ( )
protected

Member Data Documentation

◆ Cid1

string EqualCirclesFact.Cid1

two circles that are meant to be equal in area

◆ Cid2

string EqualCirclesFact.Cid2

two circles that are meant to be equal in area

Property Documentation

◆ Circle1

CircleFact EqualCirclesFact.Circle1
get

◆ Circle2

CircleFact EqualCirclesFact.Circle2
get

◆ HasDependentFacts

override bool EqualCirclesFact.HasDependentFacts
get


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