The volume of a cone A defined by a base area CircleFact, a top area CircleFact and the volume as float
More...
|
| 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 () |
|
override bool | Equivalent (Fact f2) |
| Compares this against f2 . More...
|
|
override bool | Equivalent (Fact f1, Fact f2) |
| Compares f1 against f2 . More...
|
|
The volume of a cone A defined by a base area CircleFact, a top area CircleFact and the volume as float
◆ 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
-
◆ 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
-
◆ _ReInitializeMe()
override Fact TruncatedConeVolumeFact._ReInitializeMe |
( |
Dictionary< string, string > |
old_to_new | ) |
|
|
protected |
◆ Defines()
override SOMDoc TruncatedConeVolumeFact.Defines |
( |
| ) |
|
◆ EquivalentWrapped()
Compares f1 against f2 .
- Parameters
-
f1 | Fact to compare to |
f2 | Fact 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 |
◆ CidBase
string TruncatedConeVolumeFact.CidBase |
◆ CidTop
string TruncatedConeVolumeFact.CidTop |
◆ 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
◆ CircleBase
◆ CircleTop
◆ HasDependentFacts
override bool TruncatedConeVolumeFact.HasDependentFacts |
|
get |
The documentation for this class was generated from the following file:
- D:/Users/marco/Dokuments/OneDrive/FAU/Informatik/!UFrameIT/FrameIT/MaZiFAU/Assets/Scripts/InteractionEngine/FactHandling/Facts/VolumeFacts.cs