FrameIT
UnEqualCirclesFact Class Reference

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

Inheritance diagram for UnEqualCirclesFact:
FactWrappedCRTP< UnEqualCirclesFact >

Public Member Functions

 UnEqualCirclesFact ()
 
 UnEqualCirclesFact (string cid1, string cid2)
 Standard Constructor: Initiates members and creates MMT Fact Server-Side More...
 
 UnEqualCirclesFact (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< UnEqualCirclesFact >
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 unequal in area More...
 
string Cid2
 two circles that are meant to be unequal 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 (UnEqualCirclesFact f1, UnEqualCirclesFact f2)
 Compares f1 against f2 . More...
 
override Fact _ReInitializeMe (Dictionary< string, string > old_to_new)
 
- Protected Member Functions inherited from FactWrappedCRTP< UnEqualCirclesFact >
 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 not the same size and is comprised of two CircleFacts

Constructor & Destructor Documentation

◆ UnEqualCirclesFact() [1/3]

UnEqualCirclesFact.UnEqualCirclesFact ( )

Only being used by JsonReader to initiate empty Facts.

See also
SOMDocManager

◆ UnEqualCirclesFact() [2/3]

UnEqualCirclesFact.UnEqualCirclesFact ( string  cid1,
string  cid2 
)

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

Parameters
cid1sets Cid1
cid2sets Cid2

◆ UnEqualCirclesFact() [3/3]

UnEqualCirclesFact.UnEqualCirclesFact ( 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 UnEqualCirclesFact._ReInitializeMe ( Dictionary< string, string >  old_to_new)
protected

◆ Defines()

override SOMDoc UnEqualCirclesFact.Defines ( )

◆ EquivalentWrapped()

override bool UnEqualCirclesFact.EquivalentWrapped ( UnEqualCirclesFact  f1,
UnEqualCirclesFact  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 UnEqualCirclesFact.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[] UnEqualCirclesFact.GetDependentFactIds ( )
protected

◆ MakeMMTDeclaration()

override MMTFact UnEqualCirclesFact.MakeMMTDeclaration ( )

◆ parseFact()

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

◆ RecalculateTransform()

override void UnEqualCirclesFact.RecalculateTransform ( )
protected

Member Data Documentation

◆ Cid1

string UnEqualCirclesFact.Cid1

two circles that are meant to be unequal in area

◆ Cid2

string UnEqualCirclesFact.Cid2

two circles that are meant to be unequal in area

Property Documentation

◆ Circle1

CircleFact UnEqualCirclesFact.Circle1
get

◆ Circle2

CircleFact UnEqualCirclesFact.Circle2
get

◆ HasDependentFacts

override bool UnEqualCirclesFact.HasDependentFacts
get


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