FrameIT
AreaCircleFact Class Reference

Area of a CircleFact More...

Inheritance diagram for AreaCircleFact:
FactWrappedCRTP< AreaCircleFact >

Public Member Functions

 AreaCircleFact ()
 
 AreaCircleFact (string cid1)
 Standard Constructor: Initiates Cid1 and creates MMT Fact Server-Side More...
 
 AreaCircleFact (string Cid1, 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 ()
 
override int GetHashCode ()
 canonical More...
 
- Public Member Functions inherited from FactWrappedCRTP< AreaCircleFact >
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
 the circle CircleFact More...
 
float A
 the area which is contained by the circle 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 (AreaCircleFact f1, AreaCircleFact f2)
 Compares f1 against f2 . More...
 
override Fact _ReInitializeMe (Dictionary< string, string > old_to_new)
 
- Protected Member Functions inherited from FactWrappedCRTP< AreaCircleFact >
 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 Circle [get]
 
override bool HasDependentFacts [get]
 

Detailed Description

Area of a CircleFact

Constructor & Destructor Documentation

◆ AreaCircleFact() [1/3]

AreaCircleFact.AreaCircleFact ( )

Only being used by JsonReader to initiate empty Facts.

See also
SOMDocManager

◆ AreaCircleFact() [2/3]

AreaCircleFact.AreaCircleFact ( string  cid1)

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

Parameters
cid1sets Cid1

◆ AreaCircleFact() [3/3]

AreaCircleFact.AreaCircleFact ( string  Cid1,
SOMDoc  _ServerDefinition 
)

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

Parameters
Cid1sets Cid1
backendURIMMT URI

Member Function Documentation

◆ _ReInitializeMe()

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

◆ Defines()

override SOMDoc AreaCircleFact.Defines ( )

◆ EquivalentWrapped()

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

◆ GetHashCode()

override int AreaCircleFact.GetHashCode ( )

canonical

Returns
unique-ish Hash

◆ MakeMMTDeclaration()

override MMTFact AreaCircleFact.MakeMMTDeclaration ( )

◆ parseFact()

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

◆ RecalculateTransform()

override void AreaCircleFact.RecalculateTransform ( )
protected

Member Data Documentation

◆ A

float AreaCircleFact.A

the area which is contained by the circle

◆ Cid1

string AreaCircleFact.Cid1

the circle CircleFact

Property Documentation

◆ Circle

CircleFact AreaCircleFact.Circle
get

◆ HasDependentFacts

override bool AreaCircleFact.HasDependentFacts
get


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