A fact that describes, that two circles have not the same size and is comprised of two CircleFacts
More...
|
|
string | Cid1 |
| two circles that are meant to be unequal in area More...
|
|
string | Cid2 |
| two circles that are meant to be unequal in area More...
|
|
A fact that describes, that two circles have not the same size and is comprised of two CircleFacts
◆ UnEqualCirclesFact() [1/3]
UnEqualCirclesFact.UnEqualCirclesFact |
( |
| ) |
|
Only being used by JsonReader to initiate empty Facts.
- See also
- SOMDocManager
◆ UnEqualCirclesFact() [2/3]
UnEqualCirclesFact.UnEqualCirclesFact |
( |
string |
cid1, |
|
|
string |
cid2 |
|
) |
| |
Standard Constructor: Initiates members and creates MMT Fact Server-Side
- Parameters
-
◆ UnEqualCirclesFact() [3/3]
UnEqualCirclesFact.UnEqualCirclesFact |
( |
string |
Cid1, |
|
|
string |
Cid2, |
|
|
SOMDoc |
_ServerDefinition |
|
) |
| |
Bypasses initialization of new MMT Fact by using existend URI, which is not checked for existence.
- Parameters
-
Cid1 | sets Cid1 |
Cid2 | sets Cid2 |
backendURI | MMT URI |
◆ _ReInitializeMe()
override Fact UnEqualCirclesFact._ReInitializeMe |
( |
Dictionary< string, string > |
old_to_new | ) |
|
|
protected |
◆ Defines()
override SOMDoc UnEqualCirclesFact.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 UnEqualCirclesFact.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[] UnEqualCirclesFact.GetDependentFactIds |
( |
| ) |
|
|
protected |
◆ MakeMMTDeclaration()
override MMTFact UnEqualCirclesFact.MakeMMTDeclaration |
( |
| ) |
|
◆ parseFact()
static new IEnumerator UnEqualCirclesFact.parseFact |
( |
List< Fact > |
ret, |
|
|
MMTFact |
fact |
|
) |
| |
|
static |
◆ RecalculateTransform()
override void UnEqualCirclesFact.RecalculateTransform |
( |
| ) |
|
|
protected |
◆ Cid1
string UnEqualCirclesFact.Cid1 |
two circles that are meant to be unequal in area
◆ Cid2
string UnEqualCirclesFact.Cid2 |
two circles that are meant to be unequal in area
◆ Circle1
◆ Circle2
◆ HasDependentFacts
override bool UnEqualCirclesFact.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