The volume of a cylinder defined by a base area CircleFact, a top area CircleFact and the volume as float
More...
|
| CylinderVolumeFact () |
|
| CylinderVolumeFact (string cid1, string cid2, float vol, string eqProof, OMA proof) |
| Standard Constructor: Initiates members and creates MMT Fact Server-Side More...
|
|
| CylinderVolumeFact (string Cid1, string Cid2, float volume, string eqProof, 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 cylinder defined by a base area CircleFact, a top area CircleFact and the volume as float
◆ CylinderVolumeFact() [1/3]
CylinderVolumeFact.CylinderVolumeFact |
( |
| ) |
|
Only being used by JsonReader to initiate empty Facts.
- See also
- SOMDocManager
◆ CylinderVolumeFact() [2/3]
CylinderVolumeFact.CylinderVolumeFact |
( |
string |
cid1, |
|
|
string |
cid2, |
|
|
float |
vol, |
|
|
string |
eqProof, |
|
|
OMA |
proof |
|
) |
| |
Standard Constructor: Initiates members and creates MMT Fact Server-Side
- Parameters
-
◆ CylinderVolumeFact() [3/3]
CylinderVolumeFact.CylinderVolumeFact |
( |
string |
Cid1, |
|
|
string |
Cid2, |
|
|
float |
volume, |
|
|
string |
eqProof, |
|
|
OMA |
proof, |
|
|
SOMDoc |
_ServerDefinition |
|
) |
| |
Bypasses initialization of new MMT Fact by using existend URI, which is not checked for existence.
- Parameters
-
◆ _ReInitializeMe()
override Fact CylinderVolumeFact._ReInitializeMe |
( |
Dictionary< string, string > |
old_to_new | ) |
|
|
protected |
◆ Defines()
override SOMDoc CylinderVolumeFact.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 CylinderVolumeFact.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[] CylinderVolumeFact.GetDependentFactIds |
( |
| ) |
|
|
protected |
◆ MakeMMTDeclaration()
override MMTFact CylinderVolumeFact.MakeMMTDeclaration |
( |
| ) |
|
◆ parseFact()
static new IEnumerator CylinderVolumeFact.parseFact |
( |
List< Fact > |
ret, |
|
|
MMTFact |
fact |
|
) |
| |
|
static |
◆ RecalculateTransform()
override void CylinderVolumeFact.RecalculateTransform |
( |
| ) |
|
|
protected |
◆ Cid1
string CylinderVolumeFact.Cid1 |
◆ Cid2
string CylinderVolumeFact.Cid2 |
◆ equalCirclesProof
string CylinderVolumeFact.equalCirclesProof |
a proof that both circles have the same size
◆ proof
OMA CylinderVolumeFact.proof |
OMA proof that the two circles are parallel
◆ volume
float CylinderVolumeFact.volume |
the volume of the cylinder as a float
◆ Circle1
◆ Circle2
◆ HasDependentFacts
override bool CylinderVolumeFact.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