FrameIT
TruncatedConeVolumeFact Class Reference

The volume of a cone A defined by a base area CircleFact, a top area CircleFact and the volume as float More...

Inheritance diagram for TruncatedConeVolumeFact:
FactWrappedCRTP< TruncatedConeVolumeFact >

Public Member Functions

 TruncatedConeVolumeFact ()
 
 TruncatedConeVolumeFact (string cid1, string cid2, float vol, string unequalproof, OMA proof)
 Standard Constructor: Initiates members and creates MMT Fact Server-Side More...
 
 TruncatedConeVolumeFact (string Cid1, string Cid2, float volume, string unequalproof, OMA proof, 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< TruncatedConeVolumeFact >
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 CidBase
 a CircleFact describing the base area More...
 
string CidTop
 a CircleFact describing the top area More...
 
float volume
 the volume of Truncated the cone as a float More...
 
string unequalCirclesProof
 a proof that both circles have not the same size More...
 
OMA proof
 OMA proof that the two circles are parallel 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 (TruncatedConeVolumeFact f1, TruncatedConeVolumeFact f2)
 Compares f1 against f2 . More...
 
override Fact _ReInitializeMe (Dictionary< string, string > old_to_new)
 
- Protected Member Functions inherited from FactWrappedCRTP< TruncatedConeVolumeFact >
 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 CircleBase [get]
 
CircleFact CircleTop [get]
 
override bool HasDependentFacts [get]
 

Detailed Description

The volume of a cone A defined by a base area CircleFact, a top area CircleFact and the volume as float

Constructor & Destructor Documentation

◆ TruncatedConeVolumeFact() [1/3]

TruncatedConeVolumeFact.TruncatedConeVolumeFact ( )

Only being used by JsonReader to initiate empty Facts.

See also
SOMDocManager

◆ TruncatedConeVolumeFact() [2/3]

TruncatedConeVolumeFact.TruncatedConeVolumeFact ( string  cid1,
string  cid2,
float  vol,
string  unequalproof,
OMA  proof 
)

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

Parameters
cid1sets CidBase
cid2sets CidTop
volsets volume
proofsets proof

◆ TruncatedConeVolumeFact() [3/3]

TruncatedConeVolumeFact.TruncatedConeVolumeFact ( string  Cid1,
string  Cid2,
float  volume,
string  unequalproof,
OMA  proof,
SOMDoc  _ServerDefinition 
)

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

Parameters
Cid1sets CidBase
Cid2sets CidTop
volumesets volume
proofsets proof
backendURIMMT URI

Member Function Documentation

◆ _ReInitializeMe()

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

◆ Defines()

override SOMDoc TruncatedConeVolumeFact.Defines ( )

◆ EquivalentWrapped()

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

◆ MakeMMTDeclaration()

override MMTFact TruncatedConeVolumeFact.MakeMMTDeclaration ( )

◆ parseFact()

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

◆ RecalculateTransform()

override void TruncatedConeVolumeFact.RecalculateTransform ( )
protected

Member Data Documentation

◆ CidBase

string TruncatedConeVolumeFact.CidBase

a CircleFact describing the base area

◆ CidTop

string TruncatedConeVolumeFact.CidTop

a CircleFact describing the top area

◆ proof

OMA TruncatedConeVolumeFact.proof

OMA proof that the two circles are parallel

◆ unequalCirclesProof

string TruncatedConeVolumeFact.unequalCirclesProof

a proof that both circles have not the same size

◆ volume

float TruncatedConeVolumeFact.volume

the volume of Truncated the cone as a float

Property Documentation

◆ CircleBase

CircleFact TruncatedConeVolumeFact.CircleBase
get

◆ CircleTop

CircleFact TruncatedConeVolumeFact.CircleTop
get

◆ HasDependentFacts

override bool TruncatedConeVolumeFact.HasDependentFacts
get


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