Area of a CircleFact
More...
◆ 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
-
◆ 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
-
Cid1 | sets Cid1 |
backendURI | MMT URI |
◆ _ReInitializeMe()
override Fact AreaCircleFact._ReInitializeMe |
( |
Dictionary< string, string > |
old_to_new | ) |
|
|
protected |
◆ Defines()
override SOMDoc AreaCircleFact.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 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 |
the area which is contained by the circle
◆ Cid1
string AreaCircleFact.Cid1 |
◆ Circle
◆ HasDependentFacts
override bool AreaCircleFact.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/CircleFact.cs