//
// Authors: Martti E. Pesonen and Hanna Lehtola 
// Original base document by Timo Ehmke


// Systemvariablen 
// ===============

APPLET_WIDTH      = 400
APPLET_HEIGHT     = 300
WORLD_X_MAX = +8.0
WORLD_X_MIN = -8.0
WORLD_Y_MAX = +6.0
WORLD_Y_MIN = -6.0
MEASURE_EXACTNESS = 5



// Figurenbeschreibung 
// ===================

e[1]  = A;     point;   fixed;          0.0,2.0;  black;black;black;0;smallcircle  
e[2]  = B;     point;   fixed;         -3.0,5.0;  black;black;black;0;smallcircle 
e[3]  = C;     point;   fixed;          6.0,3.0;   black;black;black;0;smallcircle 
e[4]  = D;     point;   fixed;          7.0,1.0;   black;black;black;0;smallcircle  
e[5]  = E;     point;   fixed;         -5.0,-1.0;   black;black;black;0;smallcircle  
e[6]  = F;     point;   fixed;         -6.0,4.0;   black;black;black;0;smallcircle  
e[7]  = G;     point;   fixed;          0.0,-1.0;   black;black;black;0;smallcircle  
e[8]  = H;     point;   fixed;          2.0,-3.0;   black;black;black;0;smallcircle  
 
e[9]   = EF;     line;    vector;         E,F; 0;black;black;0;
e[10]  = FA;     line;    vector;         F,A; 0;black;black;0;
e[11]  = EA;     line;    vector;         E,A; 0;black;black;0;
e[12]  = EB;     line;    vector;         E,B; 0;black;black;0;
e[13]  = HE;     line;    vector;         H,E; 0;black;black;0;
e[14]  = HG;     line;    vector;         H,G; 0;black;black;0;
e[15]  = GC;     line;    vector;         G,C; 0;black;black;0;
e[16]  = GD;     line;    vector;         G,D; 0;black;black;0;
e[17]  = HD;     line;    vector;         H,D; 0;black;black;0;
e[18]  = DC;     line;    vector;         D,C; 0;black;black;0;
e[19]  = HB;     line;    vector;         H,B; 0;black;black;0;

e[20]  = v1A;     point;   dragable;       -7.0,-5.0; "hideLabel" 
e[21]  = v1B;     point;   dragable;       -7.0,-2.0; "hideLabel"
e[22]  = V1;       line;    vector;         v1A,v1B; "hideLabel"

e[23]  = v2A;     point;   dragable;       -6.5,-5.0; "hideLabel"  
e[24]  = v2B;     point;   dragable;       -6.5,-2.0; "hideLabel"
e[25]  = V2;       line;    vector;         v2A,v2B; "hideLabel"

e[26]  = v3A;     point;   dragable;       -6.0,-5.0; "hideLabel"  
e[27]  = v3B;     point;   dragable;       -6.0,-2.0; "hideLabel"
e[28]  = V3;       line;    vector;         v3A,v3B; "hideLabel"

e[29] = vihje;  measure; checkbox;  "Vihje",0;

e[30] = m1; measure; button;    "Arvioi","evaluate";  

// Ein- und Ausblenden von Objekten
// ================================

hidden[1] = "if (not(calculate(vihje))) hide (Textbox_1)"

// Textfenster
// ===========

<Textbox>
 Position = 70;250;-1;-1
 Relaatio on osittainen järjestys kun se on refleksiivinen, 
 antisymmetrinen ja transitiivinen.
</Textbox>

// Aufgabenanalyse
// ===============

<Problem>
 MAX_ANSWER = 0
//kaikkien nuolten lähdettävä H:sta:
 condition[1] = "isIncident(v1A,H)"
 condition[2] = "isIncident(v2A,H)"
 condition[3] = "isIncident(v3A,H)"
 
//nuolten alkupäät oltava C:ssä, F:ssä ja A:ssa:
 condition[4] = "isIncident(v1B,C)"
 condition[5] = "isIncident(v1B,F)"
 condition[6] = "isIncident(v1B,A)"
 
 condition[7] = "isIncident(v2B,C)"
 condition[8] = "isIncident(v2B,F)"
 condition[9] = "isIncident(v2B,A)"
 
 condition[10] = "isIncident(v3B,C)"
 condition[11] = "isIncident(v3B,F)"
 condition[12] = "isIncident(v3B,A)"
 </Problem>

<Answer 1>
 key = "condition[1] AND condition[2] AND condition[3] AND ((condition[4] AND condition[8] AND condition[12]) OR (condition[5] AND condition[9] AND condition[10]) OR (condition[6] AND condition[7] AND condition[11]) OR (condition[5] AND condition[7] AND condition[12]) OR (condition[4] AND condition[9] AND condition[11]) OR (condition[6] AND condition[8] AND condition[10]))" 
 comment[1] = " OIKEIN!"
</Answer 1>

<Answer 2>
 key = "1"
 comment[1] = " Tämä vastaus ei ole oikein. /n Tässä tehtävässä tärkeä on transitiivisuus. /n Relaatio on transitiivinen, jos kaikille /n x, y ja z pätee: Jos xRy ja yRz, niin xRz. /n Yritä uudelleen."
</Answer 2>