Skip to content

Commit 7d0d04e

Browse files
author
Ioana
committed
add to example
1 parent 6e2bb5e commit 7d0d04e

File tree

7 files changed

+294
-0
lines changed

7 files changed

+294
-0
lines changed

‎posets_test/test3/cflow_Weakly_0.dot‎

Lines changed: 56 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,56 @@
1+
/* Compression of 1 causal flows obtained in average at 9.685578E+00 t.u */
2+
/* Compressed causal flows were: [337] */
3+
digraph G{
4+
ranksep=.5 ;
5+
{ rank = same ; "0" [shape=plaintext] ;
6+
node_1 [label="Intro B", shape=house, style=filled, fillcolor=green] ;
7+
node_2 [label="Intro A", shape=house, style=filled, fillcolor=green] ;
8+
node_3 [label="Intro C", shape=house, style=filled, fillcolor=green] ;
9+
node_4 [label="Intro B", shape=house, style=filled, fillcolor=green] ;
10+
node_5 [label="Intro C", shape=house, style=filled, fillcolor=green] ;
11+
}
12+
{ rank = same ; "1" [shape=plaintext] ;
13+
node_6 [label="ab", shape=invhouse, style=filled, fillcolor = lightblue] ;
14+
node_8 [label="bc", shape=invhouse, style=filled, fillcolor = lightblue] ;
15+
}
16+
{ rank = same ; "2" [shape=plaintext] ;
17+
node_7 [label="bac", shape=invhouse, style=filled, fillcolor = lightblue] ;
18+
node_9 [label="a.bc", shape=invhouse, style=filled, fillcolor = lightblue] ;
19+
}
20+
{ rank = same ; "3" [shape=plaintext] ;
21+
node_10 [label="ab", shape=invhouse, style=filled, fillcolor = lightblue] ;
22+
}
23+
{ rank = same ; "4" [shape=plaintext] ;
24+
node_11 [label="pcab", shape=invhouse, style=filled, fillcolor = lightblue] ;
25+
}
26+
{ rank = same ; "5" [shape=plaintext] ;
27+
node_12 [label="c.ap", shape=invhouse, style=filled, fillcolor = lightblue] ;
28+
}
29+
{ rank = same ; "6" [shape=plaintext] ;
30+
node_13 [label="Apy", style=filled, fillcolor=red] ;
31+
}
32+
"0" -> "1" [style="invis"];
33+
"1" -> "2" [style="invis"];
34+
"2" -> "3" [style="invis"];
35+
"3" -> "4" [style="invis"];
36+
"4" -> "5" [style="invis"];
37+
"5" -> "6" [style="invis"];
38+
node_1 -> node_6
39+
node_2 -> node_6
40+
node_5 -> node_7
41+
node_6 -> node_7
42+
node_1 -> node_8
43+
node_3 -> node_8
44+
node_6 -> node_9
45+
node_8 -> node_9
46+
node_4 -> node_10
47+
node_9 -> node_10
48+
node_7 -> node_11
49+
node_10 -> node_11
50+
node_11 -> node_12
51+
node_12 -> node_13
52+
node_9 -> node_7 [style=dotted, arrowhead = tee]
53+
}
54+
/*
55+
Dot generation time: 0.000166
56+
*/

‎posets_test/test3/cflow_Weakly_1.dot‎

Lines changed: 42 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,42 @@
1+
/* Compression of 4 causal flows obtained in average at 6.467838E+00 t.u */
2+
/* Compressed causal flows were: [38;120;248;333] */
3+
digraph G{
4+
ranksep=.5 ;
5+
{ rank = same ; "0" [shape=plaintext] ;
6+
node_1 [label="Intro B", shape=house, style=filled, fillcolor=green] ;
7+
node_2 [label="Intro C", shape=house, style=filled, fillcolor=green] ;
8+
node_3 [label="Intro C", shape=house, style=filled, fillcolor=green] ;
9+
node_4 [label="Intro A", shape=house, style=filled, fillcolor=green] ;
10+
}
11+
{ rank = same ; "1" [shape=plaintext] ;
12+
node_5 [label="ac", shape=invhouse, style=filled, fillcolor = lightblue] ;
13+
node_6 [label="bc", shape=invhouse, style=filled, fillcolor = lightblue] ;
14+
node_7 [label="ab", shape=invhouse, style=filled, fillcolor = lightblue] ;
15+
}
16+
{ rank = same ; "2" [shape=plaintext] ;
17+
node_8 [label="pcab", shape=invhouse, style=filled, fillcolor = lightblue] ;
18+
node_9 [label="a.bc", shape=invhouse, style=filled, fillcolor = lightblue] ;
19+
}
20+
{ rank = same ; "3" [shape=plaintext] ;
21+
node_10 [label="Apx", style=filled, fillcolor=red] ;
22+
}
23+
"0" -> "1" [style="invis"];
24+
"1" -> "2" [style="invis"];
25+
"2" -> "3" [style="invis"];
26+
node_3 -> node_5
27+
node_4 -> node_5
28+
node_1 -> node_6
29+
node_2 -> node_6
30+
node_1 -> node_7
31+
node_4 -> node_7
32+
node_5 -> node_8
33+
node_7 -> node_8
34+
node_6 -> node_9
35+
node_7 -> node_9
36+
node_8 -> node_10
37+
node_9 -> node_10
38+
node_9 -> node_8 [style=dotted, arrowhead = tee]
39+
}
40+
/*
41+
Dot generation time: 0.000119
42+
*/

‎posets_test/test3/cflow_Weakly_2.dot‎

Lines changed: 42 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,42 @@
1+
/* Compression of 38 causal flows obtained in average at 7.289355E+00 t.u */
2+
/* Compressed causal flows were: [20;25;36;44;63;68;96;101;122;130;148;168;
3+
178;193;199;203;206;215;217;230;259;268;278;281;292;294;297;307;312;320;325;
4+
326;327;331;344;363;365;369] */
5+
digraph G{
6+
ranksep=.5 ;
7+
{ rank = same ; "0" [shape=plaintext] ;
8+
node_1 [label="Intro C", shape=house, style=filled, fillcolor=green] ;
9+
node_2 [label="Intro A", shape=house, style=filled, fillcolor=green] ;
10+
node_3 [label="Intro B", shape=house, style=filled, fillcolor=green] ;
11+
}
12+
{ rank = same ; "1" [shape=plaintext] ;
13+
node_4 [label="ab", shape=invhouse, style=filled, fillcolor = lightblue] ;
14+
}
15+
{ rank = same ; "2" [shape=plaintext] ;
16+
node_5 [label="bac", shape=invhouse, style=filled, fillcolor = lightblue] ;
17+
}
18+
{ rank = same ; "3" [shape=plaintext] ;
19+
node_6 [label="pcab", shape=invhouse, style=filled, fillcolor = lightblue] ;
20+
}
21+
{ rank = same ; "4" [shape=plaintext] ;
22+
node_7 [label="c.ap", shape=invhouse, style=filled, fillcolor = lightblue] ;
23+
}
24+
{ rank = same ; "5" [shape=plaintext] ;
25+
node_8 [label="Apy", style=filled, fillcolor=red] ;
26+
}
27+
"0" -> "1" [style="invis"];
28+
"1" -> "2" [style="invis"];
29+
"2" -> "3" [style="invis"];
30+
"3" -> "4" [style="invis"];
31+
"4" -> "5" [style="invis"];
32+
node_2 -> node_4
33+
node_3 -> node_4
34+
node_1 -> node_5
35+
node_4 -> node_5
36+
node_5 -> node_6
37+
node_6 -> node_7
38+
node_7 -> node_8
39+
}
40+
/*
41+
Dot generation time: 0.000146
42+
*/

‎posets_test/test3/cflow_Weakly_3.dot‎

Lines changed: 38 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,38 @@
1+
/* Compression of 4 causal flows obtained in average at 3.210137E+00 t.u */
2+
/* Compressed causal flows were: [11;19;48;167] */
3+
digraph G{
4+
ranksep=.5 ;
5+
{ rank = same ; "0" [shape=plaintext] ;
6+
node_1 [label="Intro B", shape=house, style=filled, fillcolor=green] ;
7+
node_2 [label="Intro A", shape=house, style=filled, fillcolor=green] ;
8+
node_3 [label="Intro C", shape=house, style=filled, fillcolor=green] ;
9+
}
10+
{ rank = same ; "1" [shape=plaintext] ;
11+
node_4 [label="ab", shape=invhouse, style=filled, fillcolor = lightblue] ;
12+
node_5 [label="bc", shape=invhouse, style=filled, fillcolor = lightblue] ;
13+
}
14+
{ rank = same ; "2" [shape=plaintext] ;
15+
node_6 [label="pabc", shape=invhouse, style=filled, fillcolor = lightblue] ;
16+
node_7 [label="a.bc", shape=invhouse, style=filled, fillcolor = lightblue] ;
17+
}
18+
{ rank = same ; "3" [shape=plaintext] ;
19+
node_8 [label="Apx", style=filled, fillcolor=red] ;
20+
}
21+
"0" -> "1" [style="invis"];
22+
"1" -> "2" [style="invis"];
23+
"2" -> "3" [style="invis"];
24+
node_1 -> node_4
25+
node_2 -> node_4
26+
node_1 -> node_5
27+
node_3 -> node_5
28+
node_4 -> node_6
29+
node_5 -> node_6
30+
node_4 -> node_7
31+
node_5 -> node_7
32+
node_6 -> node_8
33+
node_7 -> node_8
34+
node_7 -> node_6 [style=dotted, arrowhead = tee]
35+
}
36+
/*
37+
Dot generation time: 0.000112
38+
*/

‎posets_test/test3/cflow_Weakly_4.dot‎

Lines changed: 43 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,43 @@
1+
/* Compression of 207 causal flows obtained in average at 6.607145E+00 t.u */
2+
/* Compressed causal flows were: [2;3;5;6;7;8;9;10;12;13;15;16;18;21;23;24;
3+
26;27;28;31;33;34;35;39;40;42;43;46;49;51;52;55;56;57;59;60;64;65;66;70;75;
4+
77;80;81;82;84;86;87;91;92;95;97;98;102;104;105;106;109;110;112;116;123;124;
5+
125;126;132;134;135;136;138;140;141;145;146;147;149;150;151;153;154;156;157;
6+
158;159;160;163;164;169;170;171;172;173;175;177;179;180;183;185;187;188;189;
7+
190;191;194;195;196;197;200;201;204;205;207;208;209;211;212;213;218;219;220;
8+
222;223;225;228;232;233;234;235;236;237;238;239;241;242;243;247;249;250;252;
9+
253;254;255;257;258;260;261;263;265;266;267;269;272;273;274;275;277;279;282;
10+
283;286;288;289;291;293;295;296;298;300;301;303;304;305;306;309;313;314;316;
11+
317;318;319;321;322;323;324;328;334;335;336;338;339;340;341;342;343;346;347;
12+
348;349;351;355;356;357;359;360;364;366;367] */
13+
digraph G{
14+
ranksep=.5 ;
15+
{ rank = same ; "0" [shape=plaintext] ;
16+
node_1 [label="Intro A", shape=house, style=filled, fillcolor=green] ;
17+
node_2 [label="Intro C", shape=house, style=filled, fillcolor=green] ;
18+
node_3 [label="Intro B", shape=house, style=filled, fillcolor=green] ;
19+
}
20+
{ rank = same ; "1" [shape=plaintext] ;
21+
node_4 [label="bc", shape=invhouse, style=filled, fillcolor = lightblue] ;
22+
node_5 [label="ab", shape=invhouse, style=filled, fillcolor = lightblue] ;
23+
}
24+
{ rank = same ; "2" [shape=plaintext] ;
25+
node_6 [label="pabc", shape=invhouse, style=filled, fillcolor = lightblue] ;
26+
}
27+
{ rank = same ; "3" [shape=plaintext] ;
28+
node_7 [label="Apy", style=filled, fillcolor=red] ;
29+
}
30+
"0" -> "1" [style="invis"];
31+
"1" -> "2" [style="invis"];
32+
"2" -> "3" [style="invis"];
33+
node_2 -> node_4
34+
node_3 -> node_4
35+
node_1 -> node_5
36+
node_3 -> node_5
37+
node_4 -> node_6
38+
node_5 -> node_6
39+
node_6 -> node_7
40+
}
41+
/*
42+
Dot generation time: 0.000902
43+
*/

‎posets_test/test3/cflow_Weakly_5.dot‎

Lines changed: 44 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,44 @@
1+
/* Compression of 115 causal flows obtained in average at 6.271064E+00 t.u */
2+
/* Compressed causal flows were: [1;4;14;17;22;29;30;32;37;41;45;47;50;53;54;
3+
58;61;62;67;69;71;72;73;74;76;78;79;83;85;88;89;90;93;94;99;100;103;107;108;
4+
111;113;114;115;117;118;119;121;127;128;129;131;133;137;139;142;143;144;152;
5+
155;161;162;165;166;174;176;181;182;184;186;192;198;202;210;214;216;221;224;
6+
226;227;229;231;240;244;245;246;251;256;262;264;270;271;276;280;284;285;287;
7+
290;299;302;308;310;311;315;329;330;332;345;350;352;353;354;358;361;362;
8+
368] */
9+
digraph G{
10+
ranksep=.5 ;
11+
{ rank = same ; "0" [shape=plaintext] ;
12+
node_1 [label="Intro A", shape=house, style=filled, fillcolor=green] ;
13+
node_2 [label="Intro C", shape=house, style=filled, fillcolor=green] ;
14+
node_3 [label="Intro B", shape=house, style=filled, fillcolor=green] ;
15+
}
16+
{ rank = same ; "1" [shape=plaintext] ;
17+
node_4 [label="ac", shape=invhouse, style=filled, fillcolor = lightblue] ;
18+
node_5 [label="ab", shape=invhouse, style=filled, fillcolor = lightblue] ;
19+
}
20+
{ rank = same ; "2" [shape=plaintext] ;
21+
node_6 [label="pcab", shape=invhouse, style=filled, fillcolor = lightblue] ;
22+
}
23+
{ rank = same ; "3" [shape=plaintext] ;
24+
node_7 [label="c.ap", shape=invhouse, style=filled, fillcolor = lightblue] ;
25+
}
26+
{ rank = same ; "4" [shape=plaintext] ;
27+
node_8 [label="Apy", style=filled, fillcolor=red] ;
28+
}
29+
"0" -> "1" [style="invis"];
30+
"1" -> "2" [style="invis"];
31+
"2" -> "3" [style="invis"];
32+
"3" -> "4" [style="invis"];
33+
node_1 -> node_4
34+
node_2 -> node_4
35+
node_1 -> node_5
36+
node_3 -> node_5
37+
node_4 -> node_6
38+
node_5 -> node_6
39+
node_6 -> node_7
40+
node_7 -> node_8
41+
}
42+
/*
43+
Dot generation time: 0.000224
44+
*/

‎posets_test/test3/test3.ka‎

Lines changed: 29 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,29 @@
1+
%agent: A(a~p~u,x,y)
2+
%agent: B(x,z)
3+
%agent: C(y,z)
4+
5+
'ab' A(a~u,x), B(x) -> A(a~u,x!1), B(x!1) @ 0.01
6+
7+
'bac' A(x!1,y), B(x!1), C(y) -> A(x!1,y!2), B(x!1), C(y!2) @ 0.01
8+
'c.ab' A(x!1,y!2), B(x!1), C(y!2) -> A(x!1,y), B(x!1), C(y) @ 0.01
9+
10+
'c.ap' A(a~p,y!1), C(y!1) -> A(a~p,y), C(y) @ 1
11+
'pabc' A(a~u,x!1), B(x!1,z!2), C(z!2) -> A(a~p,x!1), B(x!1,z!2), C(z!2) @ 0.01
12+
'pcab' A(a~u,x!1,y!2), B(x!1), C(y!2) -> A(a~p,x!1,y!2), B(x!1), C(y!2) @ 0.01
13+
14+
'bc' B(z), C(z) -> B(z!1), C(z!1) @ 0.01
15+
16+
'a.bc' A(x!1), B(x!1,z!2), C(z!2) -> A(x), B(x,z!2), C(z!2) @ 0.01
17+
'ac' A(a~u,y), C(y) -> A(a~u,y!1), C(y!1) @ 0.01
18+
19+
%obs: 'Ap' |A(a~p)|
20+
%obs: 'Apx' |A(a~p,x)|
21+
%obs: 'Apy' |A(a~p,y)|
22+
23+
24+
%mod: [true] do $TRACK 'Apx' [true]
25+
%mod: [true] do $TRACK 'Apy' [true]
26+
%def: "displayCompression" "weak"
27+
%def: "dotCflows" "json"
28+
29+
%init: 1000 A(a~u,x,y), B(x,z), C(y,z)

0 commit comments

Comments
 (0)