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