1		:- dynamic parserVersionNum/1, parserVersionStr/1, parseResult/5.
2		:- dynamic module/4.
3		'parserVersionStr'('0.6.2.1').
4		'parseResult'('ok','',0,0,0).
5		:- dynamic channel/2, bindval/3, agent/3.
6		:- dynamic agent_curry/3, symbol/4.
7		:- dynamic dataTypeDef/2, subTypeDef/2, nameType/2.
8		:- dynamic cspTransparent/1.
9		:- dynamic cspPrint/1.
10		:- dynamic pragma/1.
11		:- dynamic comment/2.
12		:- dynamic assertBool/1, assertRef/5, assertTauPrio/6.
13		:- dynamic assertModelCheckExt/4, assertModelCheck/3.
14		:- dynamic assertLtl/4, assertCtl/4.
15		'parserVersionNum'([0,11,1,1]).
16		'parserVersionStr'('CSPM-Frontent-0.11.1.1').
17		'bindval'('MAXINT','int'(3),'src_span'(1,1,1,11,0,10)).
18		'bindval'('MAXINS','int'(3),'src_span'(3,1,3,11,32,10)).
19		'bindval'('maxbuff','int'(2),'src_span'(4,1,4,12,43,11)).
20		'bindval'('Nat','setExp'('rangeClosed'('int'(0),'val_of'('MAXINT','src_span'(5,11,5,17,65,6)))),'src_span'(5,1,5,18,55,17)).
21		'agent'('cross'(_X,_Y),'setExp'('rangeEnum'(['tupleExp'([_x,_y])]),['comprehensionGenerator'(_x,_X),'comprehensionGenerator'(_y,_Y)]),'src_span'(8,15,8,39,109,24)).
22		'agent'('rel'(_X2,_Y2),'agent_call'('src_span'(11,13,11,16,184,3),'Set',['agent_call'('src_span'(11,17,11,22,188,5),'cross',[_X2,_Y2])]),'src_span'(11,13,11,29,184,16)).
23		'agent'('pfun'(_X3,_Y3),'setExp'('rangeEnum'([_s]),['comprehensionGenerator'(_s,'agent_call'('src_span'(14,23,14,26,301,3),'rel',[_X3,_Y3])),'comprehensionGuard'('agent_call'('src_span'(14,33,14,38,311,5),'empty',['setExp'('rangeEnum'([_x1]),['comprehensionGenerator'('tuplePat'([_x1,_y1]),_s),'comprehensionGenerator'('tuplePat'([_x2,_y2]),_s),'comprehensionGuard'('bool_and'('=='(_x1,_x2),'!='(_y1,_y2)))])]))]),'src_span'(14,14,14,93,292,79)).
24		'agent'('squash'(_s2),'let'(['agent'('pick'('singleSetPat'([_x3])),_x3,'src_span'(33,14,33,15,873,1)),'agent'('below'(_b),'agent_call'('src_span'(35,13,35,17,935,4),'card',['setExp'('rangeEnum'([_x4]),['comprehensionGenerator'('tuplePat'([_x4,_y3]),_s2),'comprehensionGuard'('<='(_x4,_b))])]),'src_span'(35,13,35,43,935,30)),'bindval'('pairs','setExp'('rangeEnum'(['tupleExp'([_y4,'agent_call'('src_span'(37,19,37,24,1031,5),'below',[_x5])])]),['comprehensionGenerator'('tuplePat'([_x5,_y4]),_s2)]),'src_span'(37,2,37,41,1014,39)),'agent'('select'(_i),'agent_call'('src_span'(39,13,39,17,1136,4),'pick',['setExp'('rangeEnum'([_y5]),['comprehensionGenerator'('tuplePat'([_y5,_n]),'val_of'('pairs','src_span'(39,31,39,36,1154,5))),'comprehensionGuard'('=='(_i,_n))])]),'src_span'(39,13,39,45,1136,32))],'listExp'('rangeEnum'(['agent_call'('src_span'(40,12,40,18,1180,6),'select',[_i2])]),['comprehensionGenerator'(_i2,'listExp'('rangeClosed'('int'(1),'agent_call'('src_span'(40,33,40,37,1201,4),'card',[_s2]))))])),'src_span'(32,3,40,43,856,355)).
25		'agent'('fseq'(_s3),'setExp'('rangeEnum'(['agent_call'('src_span'(42,12,42,18,1224,6),'squash',[_s4])]),['comprehensionGenerator'(_s4,'agent_call'('src_span'(42,29,42,33,1241,4),'pfun',['setExp'('rangeClosed'('int'(1),'val_of'('MAXINS','src_span'(42,38,42,44,1250,6)))),_s3]))]),'src_span'(42,11,42,51,1223,40)).
26		'channel'('input','type'('dotTupleType'(['val_of'('Nat','src_span'(44,24,44,27,1288,3))]))).
27		'channel'('output','type'('dotTupleType'(['val_of'('Nat','src_span'(44,24,44,27,1288,3))]))).
28		'channel'('Buffer_Init','type'('dotUnitType')).
29		'channel'('Buffer_Op_size','type'('dotTupleType'(['setExp'('rangeClosed'('int'(0),'val_of'('maxbuff','src_span'(46,31,46,38,1342,7))))]))).
30		'channel'('Buffer_Op_buff','type'('dotTupleType'(['agent_call'('src_span'(47,25,47,29,1375,4),'fseq',['val_of'('Nat','src_span'(47,30,47,33,1380,3))])]))).
31		'channel'('Buffer_InputCmd','type'('dotTupleType'(['val_of'('Nat','src_span'(48,26,48,29,1410,3))]))).
32		'channel'('Buffer_InputCmd_f','type'('dotTupleType'(['val_of'('Nat','src_span'(49,28,49,31,1441,3))]))).
33		'channel'('Buffer_OutputCmd','type'('dotUnitType')).
34		'channel'('Buffer_OutputCmd_f','type'('dotUnitType')).
35		'channel'('div','type'('dotUnitType')).
36		'bindval'('DIV','prefix'('src_span'(54,7,54,10,1516,3),[],'div','stop'('src_span'(54,14,54,18,1523,4)),'src_span'(54,11,54,13,1519,11)),'src_span'(54,1,54,18,1510,17)).
37		'bindval'('HIDE_CSPB','closure'(['Buffer_Init','Buffer_Op_size','Buffer_Op_buff','Buffer_InputCmd','Buffer_InputCmd_f','Buffer_OutputCmd','Buffer_OutputCmd_f']),'src_span'(56,1,56,132,1529,131)).
38		'bindval'('Buffer',';'('prefix'('src_span'(58,10,58,21,1671,11),[],'Buffer_Init','skip'('src_span'(58,25,58,29,1686,4)),'src_span'(58,22,58,24,1682,19)),'let'(['bindval'('X4',';'('prefix'('src_span'(59,18,59,32,1710,14),['in'(_size)],'Buffer_Op_size','prefix'('src_span'(59,41,59,55,1733,14),['in'(_buff)],'Buffer_Op_buff','[]'('&'('<'(_size,'val_of'('maxbuff','src_span'(60,29,60,36,1786,7))),'prefix'('src_span'(60,40,60,45,1797,5),['in'(_x6)],'input','[]'('prefix'('src_span'(60,52,60,67,1809,15),['out'(_x6)],'Buffer_InputCmd','skip'('src_span'(60,73,60,77,1830,4)),'src_span'(60,70,60,72,1826,10)),'prefix'('src_span'(60,81,60,98,1838,17),['out'(_x6)],'Buffer_InputCmd_f','val_of'('DIV','src_span'(60,104,60,107,1861,3)),'src_span'(60,101,60,103,1857,9)),'src_span_operator'('no_loc_info_available','src_span'(60,78,60,80,1835,2))),'src_span'(60,48,60,50,1804,63))),'&'('>'(_size,'int'(0)),'prefix'('src_span'(62,34,62,40,1922,6),['out'('agent_call'('src_span'(62,42,62,46,1930,4),'head',[_buff]))],'output','[]'('prefix'('src_span'(62,58,62,74,1946,16),[],'Buffer_OutputCmd','skip'('src_span'(62,78,62,82,1966,4)),'src_span'(62,75,62,77,1962,24)),'prefix'('src_span'(62,86,62,104,1974,18),[],'Buffer_OutputCmd_f','val_of'('DIV','src_span'(62,108,62,111,1996,3)),'src_span'(62,105,62,107,1992,25)),'src_span_operator'('no_loc_info_available','src_span'(62,83,62,85,1971,2))),'src_span'(62,54,62,56,1941,72))),'src_span_operator'('no_loc_info_available','src_span'(61,21,61,23,1886,2))),'src_span'(59,61,59,63,1752,271)),'src_span'(59,38,59,40,1729,294)),'val_of'('X4','src_span'(63,22,63,23,2022,1)),'src_span_operator'('no_loc_info_available','src_span'(63,20,63,21,2020,1))),'src_span'(59,13,63,23,1705,318))],'val_of'('X4','src_span'(64,16,64,17,2040,1))),'src_span_operator'('no_loc_info_available','src_span'(58,30,58,31,1691,1))),'src_span'(58,1,64,17,1662,379)).
39		'bindval'('MAIN','val_of'('Buffer','src_span'(66,8,66,14,2050,6)),'src_span'(66,1,66,14,2043,13)).
40		'comment'('lineComment'('-- Maximum Instances'),'src_position'(2,1,11,20)).
41		'comment'('lineComment'('-- Cartesian Product'),'src_position'(7,1,74,20)).
42		'comment'('lineComment'('--rel(X, Y) = { (x,y) | x<-X, y<-Y }'),'src_position'(10,1,135,36)).
43		'comment'('lineComment'('-- partial function: not every element in X has the corresponding value in Y'),'src_position'(13,1,202,76)).
44		'comment'('lineComment'('-- -- get a sequence with all same element but its size is specified'),'src_position'(16,1,373,68)).
45		'comment'('lineComment'('-- nseq({x}, 0) = <>'),'src_position'(17,1,442,20)).
46		'comment'('lineComment'('-- nseq({x}, 1) = <x>'),'src_position'(18,1,463,21)).
47		'comment'('lineComment'('-- nseq({x}, n) = <x> ^ nseq({x}, n-1)'),'src_position'(19,1,485,38)).
48		'comment'('lineComment'('-- '),'src_position'(20,1,524,3)).
49		'comment'('lineComment'('-- -- get a set of sequence which only includes x'),'src_position'(21,1,528,49)).
50		'comment'('lineComment'('-- sseq({x}, 0) = {<>}'),'src_position'(22,1,578,22)).
51		'comment'('lineComment'('-- sseq({x}, 1) = {<>,<x>}'),'src_position'(23,1,601,26)).
52		'comment'('lineComment'('-- sseq({x}, n) = union(sseq({x}, n-1), {nseq({x}, n)})'),'src_position'(24,1,628,55)).
53		'comment'('lineComment'('-- '),'src_position'(25,1,684,3)).
54		'comment'('lineComment'('-- fseq({}) = {<>}'),'src_position'(26,1,688,18)).
55		'comment'('lineComment'('-- fseq({x}) = sseq({x}, 4) '),'src_position'(27,1,707,28)).
56		'comment'('lineComment'('-- -- fseq({x}) = { s1^<x> | s1 <- fseq({x}), member(set(s1), {x}) and #s1 < 4}'),'src_position'(28,1,736,79)).
57		'comment'('lineComment'('-- fseq(s) = {<x>^_ | }'),'src_position'(29,1,816,23)).
58		'comment'('lineComment'('-- how many items which 1st item x are below b'),'src_position'(34,2,876,46)).
59		'comment'('lineComment'('-- get all pairs, such as {(a,1),(b,3),(c,2)}'),'src_position'(36,2,967,45)).
60		'comment'('lineComment'('-- return the y value of a x below which there are i number of items'),'src_position'(38,2,1055,68)).
61		'symbol'('MAXINT','MAXINT','src_span'(1,1,1,7,0,6),'Ident (Groundrep.)').
62		'symbol'('MAXINS','MAXINS','src_span'(3,1,3,7,32,6),'Ident (Groundrep.)').
63		'symbol'('maxbuff','maxbuff','src_span'(4,1,4,8,43,7),'Ident (Groundrep.)').
64		'symbol'('Nat','Nat','src_span'(5,1,5,4,55,3),'Ident (Groundrep.)').
65		'symbol'('cross','cross','src_span'(8,1,8,6,95,5),'Funktion or Process').
66		'symbol'('X','X','src_span'(8,7,8,8,101,1),'Ident (Prolog Variable)').
67		'symbol'('Y','Y','src_span'(8,10,8,11,104,1),'Ident (Prolog Variable)').
68		'symbol'('x','x','src_span'(8,24,8,25,118,1),'Ident (Prolog Variable)').
69		'symbol'('y','y','src_span'(8,32,8,33,126,1),'Ident (Prolog Variable)').
70		'symbol'('rel','rel','src_span'(11,1,11,4,172,3),'Funktion or Process').
71		'symbol'('X2','X','src_span'(11,5,11,6,176,1),'Ident (Prolog Variable)').
72		'symbol'('Y2','Y','src_span'(11,8,11,9,179,1),'Ident (Prolog Variable)').
73		'symbol'('Set','Set','src_span'(11,13,11,16,184,3),'BuiltIn primitive').
74		'symbol'('pfun','pfun','src_span'(14,1,14,5,279,4),'Funktion or Process').
75		'symbol'('X3','X','src_span'(14,6,14,7,284,1),'Ident (Prolog Variable)').
76		'symbol'('Y3','Y','src_span'(14,9,14,10,287,1),'Ident (Prolog Variable)').
77		'symbol'('s','s','src_span'(14,20,14,21,298,1),'Ident (Prolog Variable)').
78		'symbol'('empty','empty','src_span'(14,33,14,38,311,5),'BuiltIn primitive').
79		'symbol'('x1','x1','src_span'(14,46,14,48,324,2),'Ident (Prolog Variable)').
80		'symbol'('y1','y1','src_span'(14,49,14,51,327,2),'Ident (Prolog Variable)').
81		'symbol'('x2','x2','src_span'(14,58,14,60,336,2),'Ident (Prolog Variable)').
82		'symbol'('y2','y2','src_span'(14,61,14,63,339,2),'Ident (Prolog Variable)').
83		'symbol'('squash','squash','src_span'(31,1,31,7,841,6),'Funktion or Process').
84		'symbol'('s2','s','src_span'(31,8,31,9,848,1),'Ident (Prolog Variable)').
85		'symbol'('pick','pick','src_span'(33,2,33,6,861,4),'Funktion or Process').
86		'symbol'('x3','x','src_span'(33,8,33,9,867,1),'Ident (Prolog Variable)').
87		'symbol'('below','below','src_span'(35,2,35,7,924,5),'Funktion or Process').
88		'symbol'('b','b','src_span'(35,8,35,9,930,1),'Ident (Prolog Variable)').
89		'symbol'('card','card','src_span'(35,13,35,17,935,4),'BuiltIn primitive').
90		'symbol'('x4','x','src_span'(35,25,35,26,947,1),'Ident (Prolog Variable)').
91		'symbol'('y3','y','src_span'(35,27,35,28,949,1),'Ident (Prolog Variable)').
92		'symbol'('pairs','pairs','src_span'(37,2,37,7,1014,5),'Ident (Groundrep.)').
93		'symbol'('x5','x','src_span'(37,32,37,33,1044,1),'Ident (Prolog Variable)').
94		'symbol'('y4','y','src_span'(37,34,37,35,1046,1),'Ident (Prolog Variable)').
95		'symbol'('select','select','src_span'(39,2,39,8,1125,6),'Funktion or Process').
96		'symbol'('i','i','src_span'(39,9,39,10,1132,1),'Ident (Prolog Variable)').
97		'symbol'('y5','y','src_span'(39,25,39,26,1148,1),'Ident (Prolog Variable)').
98		'symbol'('n','n','src_span'(39,27,39,28,1150,1),'Ident (Prolog Variable)').
99		'symbol'('i2','i','src_span'(40,24,40,25,1192,1),'Ident (Prolog Variable)').
100		'symbol'('card','card','src_span'(40,33,40,37,1201,4),'BuiltIn primitive').
101		'symbol'('fseq','fseq','src_span'(42,1,42,5,1213,4),'Funktion or Process').
102		'symbol'('s3','s','src_span'(42,6,42,7,1218,1),'Ident (Prolog Variable)').
103		'symbol'('s4','s','src_span'(42,24,42,25,1236,1),'Ident (Prolog Variable)').
104		'symbol'('input','input','src_span'(44,9,44,14,1273,5),'Channel').
105		'symbol'('output','output','src_span'(44,16,44,22,1280,6),'Channel').
106		'symbol'('Buffer_Init','Buffer_Init','src_span'(45,9,45,20,1300,11),'Channel').
107		'symbol'('Buffer_Op_size','Buffer_Op_size','src_span'(46,9,46,23,1320,14),'Channel').
108		'symbol'('Buffer_Op_buff','Buffer_Op_buff','src_span'(47,9,47,23,1359,14),'Channel').
109		'symbol'('Buffer_InputCmd','Buffer_InputCmd','src_span'(48,9,48,24,1393,15),'Channel').
110		'symbol'('Buffer_InputCmd_f','Buffer_InputCmd_f','src_span'(49,9,49,26,1422,17),'Channel').
111		'symbol'('Buffer_OutputCmd','Buffer_OutputCmd','src_span'(50,9,50,25,1453,16),'Channel').
112		'symbol'('Buffer_OutputCmd_f','Buffer_OutputCmd_f','src_span'(51,9,51,27,1478,18),'Channel').
113		'symbol'('div','div','src_span'(52,9,52,12,1505,3),'Channel').
114		'symbol'('DIV','DIV','src_span'(54,1,54,4,1510,3),'Ident (Groundrep.)').
115		'symbol'('HIDE_CSPB','HIDE_CSPB','src_span'(56,1,56,10,1529,9),'Ident (Groundrep.)').
116		'symbol'('Buffer','Buffer','src_span'(58,1,58,7,1662,6),'Ident (Groundrep.)').
117		'symbol'('X4','X','src_span'(59,13,59,14,1705,1),'Ident (Groundrep.)').
118		'symbol'('size','size','src_span'(59,33,59,37,1725,4),'Ident (Prolog Variable)').
119		'symbol'('buff','buff','src_span'(59,56,59,60,1748,4),'Ident (Prolog Variable)').
120		'symbol'('x6','x','src_span'(60,46,60,47,1803,1),'Ident (Prolog Variable)').
121		'symbol'('head','head','src_span'(62,42,62,46,1930,4),'BuiltIn primitive').
122		'symbol'('MAIN','MAIN','src_span'(66,1,66,5,2043,4),'Ident (Groundrep.)').