Line data Source code
1 : // Author(s): Wieger Wesselink
2 : // Copyright: see the accompanying file COPYING or copy at
3 : // https://github.com/mCRL2org/mCRL2/blob/master/COPYING
4 : //
5 : // Distributed under the Boost Software License, Version 1.0.
6 : // (See accompanying file LICENSE_1_0.txt or copy at
7 : // http://www.boost.org/LICENSE_1_0.txt)
8 : //
9 : /// \file mcrl2/core/detail/function_symbols.h
10 : /// \brief add your file description here.
11 :
12 : #ifndef MCRL2_CORE_DETAIL_FUNCTION_SYMBOLS_H
13 : #define MCRL2_CORE_DETAIL_FUNCTION_SYMBOLS_H
14 :
15 : #include "mcrl2/atermpp/aterm_int.h"
16 : #include "mcrl2/atermpp/aterm_list.h"
17 :
18 : namespace mcrl2 {
19 :
20 : namespace core {
21 :
22 : namespace detail {
23 :
24 : //----------------------------------------------------------------------------------------------//
25 : // Part 1: functions for creating function symbols.
26 : //----------------------------------------------------------------------------------------------//
27 :
28 : // Use a fixed size array for the "smaller" DataAppl and the dynamic
29 : constexpr std::size_t DataApplFixed = 100;
30 : extern atermpp::function_symbol function_symbols_DataApplFixed[DataApplFixed];
31 :
32 : // We use a vector of pointers here, and not a vector of objects. The latter would
33 : // result in references becoming invalid when the vector is resized, i.e., when a new
34 : // element is added. That would mean that function_symbol_DataAppl and function_symbol_DataAppl_helper
35 : // cannot deliver a reference.
36 : // Another solution used in the past is a deque of objects. That turned out to be somewhat slower.
37 : extern std::vector<std::unique_ptr<atermpp::function_symbol>> function_symbols_DataAppl;
38 :
39 : inline
40 0 : const atermpp::function_symbol& function_symbol_DataAppl_helper(std::size_t i)
41 : {
42 : static std::mutex mutex;
43 :
44 : // Since it is larger than DataApplFixed we can ignore the start indices.
45 0 : i -= DataApplFixed;
46 0 : mutex.lock();
47 : do
48 : {
49 0 : function_symbols_DataAppl.push_back(std::make_unique<atermpp::function_symbol>("DataAppl", function_symbols_DataAppl.size() + DataApplFixed));
50 : }
51 0 : while (i >= function_symbols_DataAppl.size());
52 :
53 0 : const atermpp::function_symbol& result = *function_symbols_DataAppl[i];
54 0 : mutex.unlock();
55 :
56 0 : return result;
57 : }
58 :
59 : inline
60 297203892 : const atermpp::function_symbol& function_symbol_DataAppl(std::size_t i)
61 : {
62 297203892 : if (i < DataApplFixed) {
63 : // This is not thread safe, but applications are made during the initialisation process.
64 : static bool initialised = false;
65 297203892 : if (!initialised) {
66 12019 : for (std::size_t i = 0; i < DataApplFixed; ++i) {
67 11900 : function_symbols_DataApplFixed[i] = atermpp::function_symbol("DataAppl", i);
68 : }
69 :
70 119 : initialised = true;
71 : }
72 :
73 297203892 : return function_symbols_DataApplFixed[i];
74 : } else {
75 : // This is much more expensive so deferred to a separate function call.
76 0 : return function_symbol_DataAppl_helper(i);
77 : }
78 : }
79 :
80 : inline
81 277520682 : bool gsIsDataAppl(const atermpp::aterm_appl& Term)
82 : {
83 277520682 : return Term.function() == function_symbol_DataAppl(Term.function().arity());
84 : }
85 :
86 : inline
87 18824 : bool gsIsDataAppl_no_check(const atermpp::aterm_appl& Term)
88 : {
89 18824 : if (Term.function().arity() < DataApplFixed) {
90 18824 : return Term.function() == function_symbols_DataApplFixed[Term.function().arity()];
91 : } else {
92 0 : return Term.function() == *function_symbols_DataAppl[Term.function().arity() - DataApplFixed];
93 : }
94 : }
95 :
96 : // DataVarIdNoIndex
97 : inline
98 221030 : const atermpp::function_symbol& function_symbol_DataVarIdNoIndex()
99 : {
100 221030 : static atermpp::function_symbol f = atermpp::function_symbol("DataVarIdNoIndex", 2);
101 221030 : return f;
102 : }
103 :
104 : // OpIdIndex
105 : inline
106 249408 : const atermpp::function_symbol& function_symbol_OpIdNoIndex()
107 : {
108 249408 : static atermpp::function_symbol f = atermpp::function_symbol("OpIdNoIndex", 2);
109 249408 : return f;
110 : }
111 :
112 : // ProcVarIdNoIndex
113 : inline
114 : const atermpp::function_symbol& function_symbol_ProcVarIdNoIndex()
115 : {
116 : static atermpp::function_symbol f = atermpp::function_symbol("ProcVarIdNoIndex", 2);
117 : return f;
118 : }
119 :
120 : // BooleanVariableNoIndex
121 : inline
122 : const atermpp::function_symbol& function_symbol_BooleanVariableNoIndex() // This function is deprecated and can be removed in the year 2025.
123 : {
124 : static atermpp::function_symbol f = atermpp::function_symbol("BooleanVariableNoIndex", 1);
125 : return f;
126 : }
127 :
128 : // PropVarInstNoIndex
129 : inline
130 282 : const atermpp::function_symbol& function_symbol_PropVarInstNoIndex() // This function is deprecated and can be removed in the year 2025.
131 : {
132 282 : static atermpp::function_symbol f = atermpp::function_symbol("PropVarInstNoIndex", 2);
133 282 : return f;
134 : }
135 :
136 : //--- start generated constructors ---//
137 : // ActAnd
138 : inline
139 305 : const atermpp::function_symbol& function_symbol_ActAnd()
140 : {
141 305 : static const atermpp::global_function_symbol function_symbol_ActAnd("ActAnd", 2);
142 305 : return function_symbol_ActAnd;
143 : }
144 :
145 : // ActAt
146 : inline
147 256 : const atermpp::function_symbol& function_symbol_ActAt()
148 : {
149 256 : static const atermpp::global_function_symbol function_symbol_ActAt("ActAt", 2);
150 256 : return function_symbol_ActAt;
151 : }
152 :
153 : // ActExists
154 : inline
155 267 : const atermpp::function_symbol& function_symbol_ActExists()
156 : {
157 267 : static const atermpp::global_function_symbol function_symbol_ActExists("ActExists", 2);
158 267 : return function_symbol_ActExists;
159 : }
160 :
161 : // ActFalse
162 : inline
163 256 : const atermpp::function_symbol& function_symbol_ActFalse()
164 : {
165 256 : static const atermpp::global_function_symbol function_symbol_ActFalse("ActFalse", 0);
166 256 : return function_symbol_ActFalse;
167 : }
168 :
169 : // ActForall
170 : inline
171 274 : const atermpp::function_symbol& function_symbol_ActForall()
172 : {
173 274 : static const atermpp::global_function_symbol function_symbol_ActForall("ActForall", 2);
174 274 : return function_symbol_ActForall;
175 : }
176 :
177 : // ActId
178 : inline
179 17857 : const atermpp::function_symbol& function_symbol_ActId()
180 : {
181 17857 : static const atermpp::global_function_symbol function_symbol_ActId("ActId", 2);
182 17857 : return function_symbol_ActId;
183 : }
184 :
185 : // ActImp
186 : inline
187 256 : const atermpp::function_symbol& function_symbol_ActImp()
188 : {
189 256 : static const atermpp::global_function_symbol function_symbol_ActImp("ActImp", 2);
190 256 : return function_symbol_ActImp;
191 : }
192 :
193 : // ActMultAct
194 : inline
195 851 : const atermpp::function_symbol& function_symbol_ActMultAct()
196 : {
197 851 : static const atermpp::global_function_symbol function_symbol_ActMultAct("ActMultAct", 1);
198 851 : return function_symbol_ActMultAct;
199 : }
200 :
201 : // ActNot
202 : inline
203 434 : const atermpp::function_symbol& function_symbol_ActNot()
204 : {
205 434 : static const atermpp::global_function_symbol function_symbol_ActNot("ActNot", 1);
206 434 : return function_symbol_ActNot;
207 : }
208 :
209 : // ActOr
210 : inline
211 274 : const atermpp::function_symbol& function_symbol_ActOr()
212 : {
213 274 : static const atermpp::global_function_symbol function_symbol_ActOr("ActOr", 2);
214 274 : return function_symbol_ActOr;
215 : }
216 :
217 : // ActSpec
218 : inline
219 396 : const atermpp::function_symbol& function_symbol_ActSpec()
220 : {
221 396 : static const atermpp::global_function_symbol function_symbol_ActSpec("ActSpec", 1);
222 396 : return function_symbol_ActSpec;
223 : }
224 :
225 : // ActTrue
226 : inline
227 256 : const atermpp::function_symbol& function_symbol_ActTrue()
228 : {
229 256 : static const atermpp::global_function_symbol function_symbol_ActTrue("ActTrue", 0);
230 256 : return function_symbol_ActTrue;
231 : }
232 :
233 : // Action
234 : inline
235 35194 : const atermpp::function_symbol& function_symbol_Action()
236 : {
237 35194 : static const atermpp::global_function_symbol function_symbol_Action("Action", 2);
238 35194 : return function_symbol_Action;
239 : }
240 :
241 : // ActionRenameRule
242 : inline
243 256 : const atermpp::function_symbol& function_symbol_ActionRenameRule()
244 : {
245 256 : static const atermpp::global_function_symbol function_symbol_ActionRenameRule("ActionRenameRule", 4);
246 256 : return function_symbol_ActionRenameRule;
247 : }
248 :
249 : // ActionRenameRules
250 : inline
251 256 : const atermpp::function_symbol& function_symbol_ActionRenameRules()
252 : {
253 256 : static const atermpp::global_function_symbol function_symbol_ActionRenameRules("ActionRenameRules", 1);
254 256 : return function_symbol_ActionRenameRules;
255 : }
256 :
257 : // ActionRenameSpec
258 : inline
259 256 : const atermpp::function_symbol& function_symbol_ActionRenameSpec()
260 : {
261 256 : static const atermpp::global_function_symbol function_symbol_ActionRenameSpec("ActionRenameSpec", 3);
262 256 : return function_symbol_ActionRenameSpec;
263 : }
264 :
265 : // Allow
266 : inline
267 740 : const atermpp::function_symbol& function_symbol_Allow()
268 : {
269 740 : static const atermpp::global_function_symbol function_symbol_Allow("Allow", 2);
270 740 : return function_symbol_Allow;
271 : }
272 :
273 : // AtTime
274 : inline
275 12256 : const atermpp::function_symbol& function_symbol_AtTime()
276 : {
277 12256 : static const atermpp::global_function_symbol function_symbol_AtTime("AtTime", 2);
278 12256 : return function_symbol_AtTime;
279 : }
280 :
281 : // BInit
282 : inline
283 256 : const atermpp::function_symbol& function_symbol_BInit()
284 : {
285 256 : static const atermpp::global_function_symbol function_symbol_BInit("BInit", 2);
286 256 : return function_symbol_BInit;
287 : }
288 :
289 : // BagComp
290 : inline
291 256 : const atermpp::function_symbol& function_symbol_BagComp()
292 : {
293 256 : static const atermpp::global_function_symbol function_symbol_BagComp("BagComp", 0);
294 256 : return function_symbol_BagComp;
295 : }
296 :
297 : // Binder
298 : inline
299 50884 : const atermpp::function_symbol& function_symbol_Binder()
300 : {
301 50884 : static const atermpp::global_function_symbol function_symbol_Binder("Binder", 3);
302 50884 : return function_symbol_Binder;
303 : }
304 :
305 : // Block
306 : inline
307 256 : const atermpp::function_symbol& function_symbol_Block()
308 : {
309 256 : static const atermpp::global_function_symbol function_symbol_Block("Block", 2);
310 256 : return function_symbol_Block;
311 : }
312 :
313 : // Choice
314 : inline
315 9373 : const atermpp::function_symbol& function_symbol_Choice()
316 : {
317 9373 : static const atermpp::global_function_symbol function_symbol_Choice("Choice", 2);
318 9373 : return function_symbol_Choice;
319 : }
320 :
321 : // Comm
322 : inline
323 1107 : const atermpp::function_symbol& function_symbol_Comm()
324 : {
325 1107 : static const atermpp::global_function_symbol function_symbol_Comm("Comm", 2);
326 1107 : return function_symbol_Comm;
327 : }
328 :
329 : // CommExpr
330 : inline
331 649 : const atermpp::function_symbol& function_symbol_CommExpr()
332 : {
333 649 : static const atermpp::global_function_symbol function_symbol_CommExpr("CommExpr", 2);
334 649 : return function_symbol_CommExpr;
335 : }
336 :
337 : // ConsSpec
338 : inline
339 600 : const atermpp::function_symbol& function_symbol_ConsSpec()
340 : {
341 600 : static const atermpp::global_function_symbol function_symbol_ConsSpec("ConsSpec", 1);
342 600 : return function_symbol_ConsSpec;
343 : }
344 :
345 : // DataEqn
346 : inline
347 8345607 : const atermpp::function_symbol& function_symbol_DataEqn()
348 : {
349 8345607 : static const atermpp::global_function_symbol function_symbol_DataEqn("DataEqn", 4);
350 8345607 : return function_symbol_DataEqn;
351 : }
352 :
353 : // DataEqnSpec
354 : inline
355 600 : const atermpp::function_symbol& function_symbol_DataEqnSpec()
356 : {
357 600 : static const atermpp::global_function_symbol function_symbol_DataEqnSpec("DataEqnSpec", 1);
358 600 : return function_symbol_DataEqnSpec;
359 : }
360 :
361 : // DataSpec
362 : inline
363 600 : const atermpp::function_symbol& function_symbol_DataSpec()
364 : {
365 600 : static const atermpp::global_function_symbol function_symbol_DataSpec("DataSpec", 4);
366 600 : return function_symbol_DataSpec;
367 : }
368 :
369 : // DataVarId
370 : inline
371 15053885 : const atermpp::function_symbol& function_symbol_DataVarId()
372 : {
373 15053885 : static const atermpp::global_function_symbol function_symbol_DataVarId("DataVarId", 2);
374 15053885 : return function_symbol_DataVarId;
375 : }
376 :
377 : // DataVarIdInit
378 : inline
379 57542 : const atermpp::function_symbol& function_symbol_DataVarIdInit()
380 : {
381 57542 : static const atermpp::global_function_symbol function_symbol_DataVarIdInit("DataVarIdInit", 2);
382 57542 : return function_symbol_DataVarIdInit;
383 : }
384 :
385 : // Delta
386 : inline
387 288 : const atermpp::function_symbol& function_symbol_Delta()
388 : {
389 288 : static const atermpp::global_function_symbol function_symbol_Delta("Delta", 0);
390 288 : return function_symbol_Delta;
391 : }
392 :
393 : // Distribution
394 : inline
395 30311 : const atermpp::function_symbol& function_symbol_Distribution()
396 : {
397 30311 : static const atermpp::global_function_symbol function_symbol_Distribution("Distribution", 2);
398 30311 : return function_symbol_Distribution;
399 : }
400 :
401 : // Exists
402 : inline
403 256 : const atermpp::function_symbol& function_symbol_Exists()
404 : {
405 256 : static const atermpp::global_function_symbol function_symbol_Exists("Exists", 0);
406 256 : return function_symbol_Exists;
407 : }
408 :
409 : // Forall
410 : inline
411 256 : const atermpp::function_symbol& function_symbol_Forall()
412 : {
413 256 : static const atermpp::global_function_symbol function_symbol_Forall("Forall", 0);
414 256 : return function_symbol_Forall;
415 : }
416 :
417 : // GlobVarSpec
418 : inline
419 596 : const atermpp::function_symbol& function_symbol_GlobVarSpec()
420 : {
421 596 : static const atermpp::global_function_symbol function_symbol_GlobVarSpec("GlobVarSpec", 1);
422 596 : return function_symbol_GlobVarSpec;
423 : }
424 :
425 : // Hide
426 : inline
427 424 : const atermpp::function_symbol& function_symbol_Hide()
428 : {
429 424 : static const atermpp::global_function_symbol function_symbol_Hide("Hide", 2);
430 424 : return function_symbol_Hide;
431 : }
432 :
433 : // IfThen
434 : inline
435 7807 : const atermpp::function_symbol& function_symbol_IfThen()
436 : {
437 7807 : static const atermpp::global_function_symbol function_symbol_IfThen("IfThen", 2);
438 7807 : return function_symbol_IfThen;
439 : }
440 :
441 : // IfThenElse
442 : inline
443 1066 : const atermpp::function_symbol& function_symbol_IfThenElse()
444 : {
445 1066 : static const atermpp::global_function_symbol function_symbol_IfThenElse("IfThenElse", 3);
446 1066 : return function_symbol_IfThenElse;
447 : }
448 :
449 : // LMerge
450 : inline
451 256 : const atermpp::function_symbol& function_symbol_LMerge()
452 : {
453 256 : static const atermpp::global_function_symbol function_symbol_LMerge("LMerge", 2);
454 256 : return function_symbol_LMerge;
455 : }
456 :
457 : // Lambda
458 : inline
459 256 : const atermpp::function_symbol& function_symbol_Lambda()
460 : {
461 256 : static const atermpp::global_function_symbol function_symbol_Lambda("Lambda", 0);
462 256 : return function_symbol_Lambda;
463 : }
464 :
465 : // LinProcSpec
466 : inline
467 396 : const atermpp::function_symbol& function_symbol_LinProcSpec()
468 : {
469 396 : static const atermpp::global_function_symbol function_symbol_LinProcSpec("LinProcSpec", 5);
470 396 : return function_symbol_LinProcSpec;
471 : }
472 :
473 : // LinearProcess
474 : inline
475 396 : const atermpp::function_symbol& function_symbol_LinearProcess()
476 : {
477 396 : static const atermpp::global_function_symbol function_symbol_LinearProcess("LinearProcess", 2);
478 396 : return function_symbol_LinearProcess;
479 : }
480 :
481 : // LinearProcessInit
482 : inline
483 4421 : const atermpp::function_symbol& function_symbol_LinearProcessInit()
484 : {
485 4421 : static const atermpp::global_function_symbol function_symbol_LinearProcessInit("LinearProcessInit", 2);
486 4421 : return function_symbol_LinearProcessInit;
487 : }
488 :
489 : // LinearProcessSummand
490 : inline
491 421 : const atermpp::function_symbol& function_symbol_LinearProcessSummand()
492 : {
493 421 : static const atermpp::global_function_symbol function_symbol_LinearProcessSummand("LinearProcessSummand", 6);
494 421 : return function_symbol_LinearProcessSummand;
495 : }
496 :
497 : // MapSpec
498 : inline
499 600 : const atermpp::function_symbol& function_symbol_MapSpec()
500 : {
501 600 : static const atermpp::global_function_symbol function_symbol_MapSpec("MapSpec", 1);
502 600 : return function_symbol_MapSpec;
503 : }
504 :
505 : // Merge
506 : inline
507 2581 : const atermpp::function_symbol& function_symbol_Merge()
508 : {
509 2581 : static const atermpp::global_function_symbol function_symbol_Merge("Merge", 2);
510 2581 : return function_symbol_Merge;
511 : }
512 :
513 : // Mu
514 : inline
515 3385 : const atermpp::function_symbol& function_symbol_Mu()
516 : {
517 3385 : static const atermpp::global_function_symbol function_symbol_Mu("Mu", 0);
518 3385 : return function_symbol_Mu;
519 : }
520 :
521 : // MultAct
522 : inline
523 256 : const atermpp::function_symbol& function_symbol_MultAct()
524 : {
525 256 : static const atermpp::global_function_symbol function_symbol_MultAct("MultAct", 1);
526 256 : return function_symbol_MultAct;
527 : }
528 :
529 : // MultActName
530 : inline
531 1200 : const atermpp::function_symbol& function_symbol_MultActName()
532 : {
533 1200 : static const atermpp::global_function_symbol function_symbol_MultActName("MultActName", 1);
534 1200 : return function_symbol_MultActName;
535 : }
536 :
537 : // Nu
538 : inline
539 886 : const atermpp::function_symbol& function_symbol_Nu()
540 : {
541 886 : static const atermpp::global_function_symbol function_symbol_Nu("Nu", 0);
542 886 : return function_symbol_Nu;
543 : }
544 :
545 : // OpId
546 : inline
547 19954873 : const atermpp::function_symbol& function_symbol_OpId()
548 : {
549 19954873 : static const atermpp::global_function_symbol function_symbol_OpId("OpId", 3);
550 19954873 : return function_symbol_OpId;
551 : }
552 :
553 : // PBES
554 : inline
555 455 : const atermpp::function_symbol& function_symbol_PBES()
556 : {
557 455 : static const atermpp::global_function_symbol function_symbol_PBES("PBES", 4);
558 455 : return function_symbol_PBES;
559 : }
560 :
561 : // PBESAnd
562 : inline
563 13990 : const atermpp::function_symbol& function_symbol_PBESAnd()
564 : {
565 13990 : static const atermpp::global_function_symbol function_symbol_PBESAnd("PBESAnd", 2);
566 13990 : return function_symbol_PBESAnd;
567 : }
568 :
569 : // PBESExists
570 : inline
571 1799 : const atermpp::function_symbol& function_symbol_PBESExists()
572 : {
573 1799 : static const atermpp::global_function_symbol function_symbol_PBESExists("PBESExists", 2);
574 1799 : return function_symbol_PBESExists;
575 : }
576 :
577 : // PBESFalse
578 : inline
579 256 : const atermpp::function_symbol& function_symbol_PBESFalse()
580 : {
581 256 : static const atermpp::global_function_symbol function_symbol_PBESFalse("PBESFalse", 0);
582 256 : return function_symbol_PBESFalse;
583 : }
584 :
585 : // PBESForall
586 : inline
587 2094 : const atermpp::function_symbol& function_symbol_PBESForall()
588 : {
589 2094 : static const atermpp::global_function_symbol function_symbol_PBESForall("PBESForall", 2);
590 2094 : return function_symbol_PBESForall;
591 : }
592 :
593 : // PBESImp
594 : inline
595 1512 : const atermpp::function_symbol& function_symbol_PBESImp()
596 : {
597 1512 : static const atermpp::global_function_symbol function_symbol_PBESImp("PBESImp", 2);
598 1512 : return function_symbol_PBESImp;
599 : }
600 :
601 : // PBESNot
602 : inline
603 1410 : const atermpp::function_symbol& function_symbol_PBESNot()
604 : {
605 1410 : static const atermpp::global_function_symbol function_symbol_PBESNot("PBESNot", 1);
606 1410 : return function_symbol_PBESNot;
607 : }
608 :
609 : // PBESOr
610 : inline
611 8141 : const atermpp::function_symbol& function_symbol_PBESOr()
612 : {
613 8141 : static const atermpp::global_function_symbol function_symbol_PBESOr("PBESOr", 2);
614 8141 : return function_symbol_PBESOr;
615 : }
616 :
617 : // PBESTrue
618 : inline
619 256 : const atermpp::function_symbol& function_symbol_PBESTrue()
620 : {
621 256 : static const atermpp::global_function_symbol function_symbol_PBESTrue("PBESTrue", 0);
622 256 : return function_symbol_PBESTrue;
623 : }
624 :
625 : // PBEqn
626 : inline
627 963 : const atermpp::function_symbol& function_symbol_PBEqn()
628 : {
629 963 : static const atermpp::global_function_symbol function_symbol_PBEqn("PBEqn", 3);
630 963 : return function_symbol_PBEqn;
631 : }
632 :
633 : // PBEqnSpec
634 : inline
635 455 : const atermpp::function_symbol& function_symbol_PBEqnSpec()
636 : {
637 455 : static const atermpp::global_function_symbol function_symbol_PBEqnSpec("PBEqnSpec", 1);
638 455 : return function_symbol_PBEqnSpec;
639 : }
640 :
641 : // PBInit
642 : inline
643 455 : const atermpp::function_symbol& function_symbol_PBInit()
644 : {
645 455 : static const atermpp::global_function_symbol function_symbol_PBInit("PBInit", 1);
646 455 : return function_symbol_PBInit;
647 : }
648 :
649 : // PRES
650 : inline
651 257 : const atermpp::function_symbol& function_symbol_PRES()
652 : {
653 257 : static const atermpp::global_function_symbol function_symbol_PRES("PRES", 4);
654 257 : return function_symbol_PRES;
655 : }
656 :
657 : // PRESAnd
658 : inline
659 364 : const atermpp::function_symbol& function_symbol_PRESAnd()
660 : {
661 364 : static const atermpp::global_function_symbol function_symbol_PRESAnd("PRESAnd", 2);
662 364 : return function_symbol_PRESAnd;
663 : }
664 :
665 : // PRESCondEq
666 : inline
667 314 : const atermpp::function_symbol& function_symbol_PRESCondEq()
668 : {
669 314 : static const atermpp::global_function_symbol function_symbol_PRESCondEq("PRESCondEq", 3);
670 314 : return function_symbol_PRESCondEq;
671 : }
672 :
673 : // PRESCondSm
674 : inline
675 259 : const atermpp::function_symbol& function_symbol_PRESCondSm()
676 : {
677 259 : static const atermpp::global_function_symbol function_symbol_PRESCondSm("PRESCondSm", 3);
678 259 : return function_symbol_PRESCondSm;
679 : }
680 :
681 : // PRESConstantMultiply
682 : inline
683 311 : const atermpp::function_symbol& function_symbol_PRESConstantMultiply()
684 : {
685 311 : static const atermpp::global_function_symbol function_symbol_PRESConstantMultiply("PRESConstantMultiply", 2);
686 311 : return function_symbol_PRESConstantMultiply;
687 : }
688 :
689 : // PRESConstantMultiplyAlt
690 : inline
691 256 : const atermpp::function_symbol& function_symbol_PRESConstantMultiplyAlt()
692 : {
693 256 : static const atermpp::global_function_symbol function_symbol_PRESConstantMultiplyAlt("PRESConstantMultiplyAlt", 2);
694 256 : return function_symbol_PRESConstantMultiplyAlt;
695 : }
696 :
697 : // PRESEqInf
698 : inline
699 269 : const atermpp::function_symbol& function_symbol_PRESEqInf()
700 : {
701 269 : static const atermpp::global_function_symbol function_symbol_PRESEqInf("PRESEqInf", 1);
702 269 : return function_symbol_PRESEqInf;
703 : }
704 :
705 : // PRESEqNInf
706 : inline
707 284 : const atermpp::function_symbol& function_symbol_PRESEqNInf()
708 : {
709 284 : static const atermpp::global_function_symbol function_symbol_PRESEqNInf("PRESEqNInf", 1);
710 284 : return function_symbol_PRESEqNInf;
711 : }
712 :
713 : // PRESFalse
714 : inline
715 256 : const atermpp::function_symbol& function_symbol_PRESFalse()
716 : {
717 256 : static const atermpp::global_function_symbol function_symbol_PRESFalse("PRESFalse", 0);
718 256 : return function_symbol_PRESFalse;
719 : }
720 :
721 : // PRESImp
722 : inline
723 272 : const atermpp::function_symbol& function_symbol_PRESImp()
724 : {
725 272 : static const atermpp::global_function_symbol function_symbol_PRESImp("PRESImp", 2);
726 272 : return function_symbol_PRESImp;
727 : }
728 :
729 : // PRESInfimum
730 : inline
731 274 : const atermpp::function_symbol& function_symbol_PRESInfimum()
732 : {
733 274 : static const atermpp::global_function_symbol function_symbol_PRESInfimum("PRESInfimum", 2);
734 274 : return function_symbol_PRESInfimum;
735 : }
736 :
737 : // PRESMinus
738 : inline
739 300 : const atermpp::function_symbol& function_symbol_PRESMinus()
740 : {
741 300 : static const atermpp::global_function_symbol function_symbol_PRESMinus("PRESMinus", 1);
742 300 : return function_symbol_PRESMinus;
743 : }
744 :
745 : // PRESOr
746 : inline
747 416 : const atermpp::function_symbol& function_symbol_PRESOr()
748 : {
749 416 : static const atermpp::global_function_symbol function_symbol_PRESOr("PRESOr", 2);
750 416 : return function_symbol_PRESOr;
751 : }
752 :
753 : // PRESPlus
754 : inline
755 279 : const atermpp::function_symbol& function_symbol_PRESPlus()
756 : {
757 279 : static const atermpp::global_function_symbol function_symbol_PRESPlus("PRESPlus", 2);
758 279 : return function_symbol_PRESPlus;
759 : }
760 :
761 : // PRESSum
762 : inline
763 256 : const atermpp::function_symbol& function_symbol_PRESSum()
764 : {
765 256 : static const atermpp::global_function_symbol function_symbol_PRESSum("PRESSum", 2);
766 256 : return function_symbol_PRESSum;
767 : }
768 :
769 : // PRESSupremum
770 : inline
771 279 : const atermpp::function_symbol& function_symbol_PRESSupremum()
772 : {
773 279 : static const atermpp::global_function_symbol function_symbol_PRESSupremum("PRESSupremum", 2);
774 279 : return function_symbol_PRESSupremum;
775 : }
776 :
777 : // PRESTrue
778 : inline
779 256 : const atermpp::function_symbol& function_symbol_PRESTrue()
780 : {
781 256 : static const atermpp::global_function_symbol function_symbol_PRESTrue("PRESTrue", 0);
782 256 : return function_symbol_PRESTrue;
783 : }
784 :
785 : // PREqn
786 : inline
787 257 : const atermpp::function_symbol& function_symbol_PREqn()
788 : {
789 257 : static const atermpp::global_function_symbol function_symbol_PREqn("PREqn", 3);
790 257 : return function_symbol_PREqn;
791 : }
792 :
793 : // PREqnSpec
794 : inline
795 257 : const atermpp::function_symbol& function_symbol_PREqnSpec()
796 : {
797 257 : static const atermpp::global_function_symbol function_symbol_PREqnSpec("PREqnSpec", 1);
798 257 : return function_symbol_PREqnSpec;
799 : }
800 :
801 : // PRInit
802 : inline
803 257 : const atermpp::function_symbol& function_symbol_PRInit()
804 : {
805 257 : static const atermpp::global_function_symbol function_symbol_PRInit("PRInit", 1);
806 257 : return function_symbol_PRInit;
807 : }
808 :
809 : // ProcEqn
810 : inline
811 4834 : const atermpp::function_symbol& function_symbol_ProcEqn()
812 : {
813 4834 : static const atermpp::global_function_symbol function_symbol_ProcEqn("ProcEqn", 3);
814 4834 : return function_symbol_ProcEqn;
815 : }
816 :
817 : // ProcEqnSpec
818 : inline
819 256 : const atermpp::function_symbol& function_symbol_ProcEqnSpec()
820 : {
821 256 : static const atermpp::global_function_symbol function_symbol_ProcEqnSpec("ProcEqnSpec", 1);
822 256 : return function_symbol_ProcEqnSpec;
823 : }
824 :
825 : // ProcSpec
826 : inline
827 256 : const atermpp::function_symbol& function_symbol_ProcSpec()
828 : {
829 256 : static const atermpp::global_function_symbol function_symbol_ProcSpec("ProcSpec", 5);
830 256 : return function_symbol_ProcSpec;
831 : }
832 :
833 : // ProcVarId
834 : inline
835 7614 : const atermpp::function_symbol& function_symbol_ProcVarId()
836 : {
837 7614 : static const atermpp::global_function_symbol function_symbol_ProcVarId("ProcVarId", 2);
838 7614 : return function_symbol_ProcVarId;
839 : }
840 :
841 : // Process
842 : inline
843 4839 : const atermpp::function_symbol& function_symbol_Process()
844 : {
845 4839 : static const atermpp::global_function_symbol function_symbol_Process("Process", 2);
846 4839 : return function_symbol_Process;
847 : }
848 :
849 : // ProcessAssignment
850 : inline
851 16372 : const atermpp::function_symbol& function_symbol_ProcessAssignment()
852 : {
853 16372 : static const atermpp::global_function_symbol function_symbol_ProcessAssignment("ProcessAssignment", 2);
854 16372 : return function_symbol_ProcessAssignment;
855 : }
856 :
857 : // ProcessInit
858 : inline
859 256 : const atermpp::function_symbol& function_symbol_ProcessInit()
860 : {
861 256 : static const atermpp::global_function_symbol function_symbol_ProcessInit("ProcessInit", 1);
862 256 : return function_symbol_ProcessInit;
863 : }
864 :
865 : // PropVarDecl
866 : inline
867 7012 : const atermpp::function_symbol& function_symbol_PropVarDecl()
868 : {
869 7012 : static const atermpp::global_function_symbol function_symbol_PropVarDecl("PropVarDecl", 2);
870 7012 : return function_symbol_PropVarDecl;
871 : }
872 :
873 : // PropVarInst
874 : inline
875 26535 : const atermpp::function_symbol& function_symbol_PropVarInst()
876 : {
877 26535 : static const atermpp::global_function_symbol function_symbol_PropVarInst("PropVarInst", 2);
878 26535 : return function_symbol_PropVarInst;
879 : }
880 :
881 : // RegAlt
882 : inline
883 260 : const atermpp::function_symbol& function_symbol_RegAlt()
884 : {
885 260 : static const atermpp::global_function_symbol function_symbol_RegAlt("RegAlt", 2);
886 260 : return function_symbol_RegAlt;
887 : }
888 :
889 : // RegNil
890 : inline
891 256 : const atermpp::function_symbol& function_symbol_RegNil()
892 : {
893 256 : static const atermpp::global_function_symbol function_symbol_RegNil("RegNil", 0);
894 256 : return function_symbol_RegNil;
895 : }
896 :
897 : // RegSeq
898 : inline
899 259 : const atermpp::function_symbol& function_symbol_RegSeq()
900 : {
901 259 : static const atermpp::global_function_symbol function_symbol_RegSeq("RegSeq", 2);
902 259 : return function_symbol_RegSeq;
903 : }
904 :
905 : // RegTrans
906 : inline
907 256 : const atermpp::function_symbol& function_symbol_RegTrans()
908 : {
909 256 : static const atermpp::global_function_symbol function_symbol_RegTrans("RegTrans", 1);
910 256 : return function_symbol_RegTrans;
911 : }
912 :
913 : // RegTransOrNil
914 : inline
915 365 : const atermpp::function_symbol& function_symbol_RegTransOrNil()
916 : {
917 365 : static const atermpp::global_function_symbol function_symbol_RegTransOrNil("RegTransOrNil", 1);
918 365 : return function_symbol_RegTransOrNil;
919 : }
920 :
921 : // Rename
922 : inline
923 256 : const atermpp::function_symbol& function_symbol_Rename()
924 : {
925 256 : static const atermpp::global_function_symbol function_symbol_Rename("Rename", 2);
926 256 : return function_symbol_Rename;
927 : }
928 :
929 : // RenameExpr
930 : inline
931 267 : const atermpp::function_symbol& function_symbol_RenameExpr()
932 : {
933 267 : static const atermpp::global_function_symbol function_symbol_RenameExpr("RenameExpr", 2);
934 267 : return function_symbol_RenameExpr;
935 : }
936 :
937 : // Seq
938 : inline
939 29876 : const atermpp::function_symbol& function_symbol_Seq()
940 : {
941 29876 : static const atermpp::global_function_symbol function_symbol_Seq("Seq", 2);
942 29876 : return function_symbol_Seq;
943 : }
944 :
945 : // SetComp
946 : inline
947 256 : const atermpp::function_symbol& function_symbol_SetComp()
948 : {
949 256 : static const atermpp::global_function_symbol function_symbol_SetComp("SetComp", 0);
950 256 : return function_symbol_SetComp;
951 : }
952 :
953 : // SortArrow
954 : inline
955 17912589 : const atermpp::function_symbol& function_symbol_SortArrow()
956 : {
957 17912589 : static const atermpp::global_function_symbol function_symbol_SortArrow("SortArrow", 2);
958 17912589 : return function_symbol_SortArrow;
959 : }
960 :
961 : // SortBag
962 : inline
963 256 : const atermpp::function_symbol& function_symbol_SortBag()
964 : {
965 256 : static const atermpp::global_function_symbol function_symbol_SortBag("SortBag", 0);
966 256 : return function_symbol_SortBag;
967 : }
968 :
969 : // SortCons
970 : inline
971 2474614 : const atermpp::function_symbol& function_symbol_SortCons()
972 : {
973 2474614 : static const atermpp::global_function_symbol function_symbol_SortCons("SortCons", 2);
974 2474614 : return function_symbol_SortCons;
975 : }
976 :
977 : // SortFBag
978 : inline
979 256 : const atermpp::function_symbol& function_symbol_SortFBag()
980 : {
981 256 : static const atermpp::global_function_symbol function_symbol_SortFBag("SortFBag", 0);
982 256 : return function_symbol_SortFBag;
983 : }
984 :
985 : // SortFSet
986 : inline
987 256 : const atermpp::function_symbol& function_symbol_SortFSet()
988 : {
989 256 : static const atermpp::global_function_symbol function_symbol_SortFSet("SortFSet", 0);
990 256 : return function_symbol_SortFSet;
991 : }
992 :
993 : // SortId
994 : inline
995 3914 : const atermpp::function_symbol& function_symbol_SortId()
996 : {
997 3914 : static const atermpp::global_function_symbol function_symbol_SortId("SortId", 1);
998 3914 : return function_symbol_SortId;
999 : }
1000 :
1001 : // SortList
1002 : inline
1003 256 : const atermpp::function_symbol& function_symbol_SortList()
1004 : {
1005 256 : static const atermpp::global_function_symbol function_symbol_SortList("SortList", 0);
1006 256 : return function_symbol_SortList;
1007 : }
1008 :
1009 : // SortRef
1010 : inline
1011 1396 : const atermpp::function_symbol& function_symbol_SortRef()
1012 : {
1013 1396 : static const atermpp::global_function_symbol function_symbol_SortRef("SortRef", 2);
1014 1396 : return function_symbol_SortRef;
1015 : }
1016 :
1017 : // SortSet
1018 : inline
1019 256 : const atermpp::function_symbol& function_symbol_SortSet()
1020 : {
1021 256 : static const atermpp::global_function_symbol function_symbol_SortSet("SortSet", 0);
1022 256 : return function_symbol_SortSet;
1023 : }
1024 :
1025 : // SortSpec
1026 : inline
1027 600 : const atermpp::function_symbol& function_symbol_SortSpec()
1028 : {
1029 600 : static const atermpp::global_function_symbol function_symbol_SortSpec("SortSpec", 1);
1030 600 : return function_symbol_SortSpec;
1031 : }
1032 :
1033 : // SortStruct
1034 : inline
1035 32030 : const atermpp::function_symbol& function_symbol_SortStruct()
1036 : {
1037 32030 : static const atermpp::global_function_symbol function_symbol_SortStruct("SortStruct", 1);
1038 32030 : return function_symbol_SortStruct;
1039 : }
1040 :
1041 : // StateAnd
1042 : inline
1043 851 : const atermpp::function_symbol& function_symbol_StateAnd()
1044 : {
1045 851 : static const atermpp::global_function_symbol function_symbol_StateAnd("StateAnd", 2);
1046 851 : return function_symbol_StateAnd;
1047 : }
1048 :
1049 : // StateConstantMultiply
1050 : inline
1051 261 : const atermpp::function_symbol& function_symbol_StateConstantMultiply()
1052 : {
1053 261 : static const atermpp::global_function_symbol function_symbol_StateConstantMultiply("StateConstantMultiply", 2);
1054 261 : return function_symbol_StateConstantMultiply;
1055 : }
1056 :
1057 : // StateConstantMultiplyAlt
1058 : inline
1059 261 : const atermpp::function_symbol& function_symbol_StateConstantMultiplyAlt()
1060 : {
1061 261 : static const atermpp::global_function_symbol function_symbol_StateConstantMultiplyAlt("StateConstantMultiplyAlt", 2);
1062 261 : return function_symbol_StateConstantMultiplyAlt;
1063 : }
1064 :
1065 : // StateDelay
1066 : inline
1067 256 : const atermpp::function_symbol& function_symbol_StateDelay()
1068 : {
1069 256 : static const atermpp::global_function_symbol function_symbol_StateDelay("StateDelay", 0);
1070 256 : return function_symbol_StateDelay;
1071 : }
1072 :
1073 : // StateDelayTimed
1074 : inline
1075 271 : const atermpp::function_symbol& function_symbol_StateDelayTimed()
1076 : {
1077 271 : static const atermpp::global_function_symbol function_symbol_StateDelayTimed("StateDelayTimed", 1);
1078 271 : return function_symbol_StateDelayTimed;
1079 : }
1080 :
1081 : // StateExists
1082 : inline
1083 307 : const atermpp::function_symbol& function_symbol_StateExists()
1084 : {
1085 307 : static const atermpp::global_function_symbol function_symbol_StateExists("StateExists", 2);
1086 307 : return function_symbol_StateExists;
1087 : }
1088 :
1089 : // StateFalse
1090 : inline
1091 256 : const atermpp::function_symbol& function_symbol_StateFalse()
1092 : {
1093 256 : static const atermpp::global_function_symbol function_symbol_StateFalse("StateFalse", 0);
1094 256 : return function_symbol_StateFalse;
1095 : }
1096 :
1097 : // StateForall
1098 : inline
1099 371 : const atermpp::function_symbol& function_symbol_StateForall()
1100 : {
1101 371 : static const atermpp::global_function_symbol function_symbol_StateForall("StateForall", 2);
1102 371 : return function_symbol_StateForall;
1103 : }
1104 :
1105 : // StateImp
1106 : inline
1107 405 : const atermpp::function_symbol& function_symbol_StateImp()
1108 : {
1109 405 : static const atermpp::global_function_symbol function_symbol_StateImp("StateImp", 2);
1110 405 : return function_symbol_StateImp;
1111 : }
1112 :
1113 : // StateInfimum
1114 : inline
1115 266 : const atermpp::function_symbol& function_symbol_StateInfimum()
1116 : {
1117 266 : static const atermpp::global_function_symbol function_symbol_StateInfimum("StateInfimum", 2);
1118 266 : return function_symbol_StateInfimum;
1119 : }
1120 :
1121 : // StateMay
1122 : inline
1123 1082 : const atermpp::function_symbol& function_symbol_StateMay()
1124 : {
1125 1082 : static const atermpp::global_function_symbol function_symbol_StateMay("StateMay", 2);
1126 1082 : return function_symbol_StateMay;
1127 : }
1128 :
1129 : // StateMinus
1130 : inline
1131 256 : const atermpp::function_symbol& function_symbol_StateMinus()
1132 : {
1133 256 : static const atermpp::global_function_symbol function_symbol_StateMinus("StateMinus", 1);
1134 256 : return function_symbol_StateMinus;
1135 : }
1136 :
1137 : // StateMu
1138 : inline
1139 968 : const atermpp::function_symbol& function_symbol_StateMu()
1140 : {
1141 968 : static const atermpp::global_function_symbol function_symbol_StateMu("StateMu", 3);
1142 968 : return function_symbol_StateMu;
1143 : }
1144 :
1145 : // StateMust
1146 : inline
1147 1266 : const atermpp::function_symbol& function_symbol_StateMust()
1148 : {
1149 1266 : static const atermpp::global_function_symbol function_symbol_StateMust("StateMust", 2);
1150 1266 : return function_symbol_StateMust;
1151 : }
1152 :
1153 : // StateNot
1154 : inline
1155 702 : const atermpp::function_symbol& function_symbol_StateNot()
1156 : {
1157 702 : static const atermpp::global_function_symbol function_symbol_StateNot("StateNot", 1);
1158 702 : return function_symbol_StateNot;
1159 : }
1160 :
1161 : // StateNu
1162 : inline
1163 840 : const atermpp::function_symbol& function_symbol_StateNu()
1164 : {
1165 840 : static const atermpp::global_function_symbol function_symbol_StateNu("StateNu", 3);
1166 840 : return function_symbol_StateNu;
1167 : }
1168 :
1169 : // StateOr
1170 : inline
1171 581 : const atermpp::function_symbol& function_symbol_StateOr()
1172 : {
1173 581 : static const atermpp::global_function_symbol function_symbol_StateOr("StateOr", 2);
1174 581 : return function_symbol_StateOr;
1175 : }
1176 :
1177 : // StatePlus
1178 : inline
1179 256 : const atermpp::function_symbol& function_symbol_StatePlus()
1180 : {
1181 256 : static const atermpp::global_function_symbol function_symbol_StatePlus("StatePlus", 2);
1182 256 : return function_symbol_StatePlus;
1183 : }
1184 :
1185 : // StateSum
1186 : inline
1187 261 : const atermpp::function_symbol& function_symbol_StateSum()
1188 : {
1189 261 : static const atermpp::global_function_symbol function_symbol_StateSum("StateSum", 2);
1190 261 : return function_symbol_StateSum;
1191 : }
1192 :
1193 : // StateSupremum
1194 : inline
1195 261 : const atermpp::function_symbol& function_symbol_StateSupremum()
1196 : {
1197 261 : static const atermpp::global_function_symbol function_symbol_StateSupremum("StateSupremum", 2);
1198 261 : return function_symbol_StateSupremum;
1199 : }
1200 :
1201 : // StateTrue
1202 : inline
1203 256 : const atermpp::function_symbol& function_symbol_StateTrue()
1204 : {
1205 256 : static const atermpp::global_function_symbol function_symbol_StateTrue("StateTrue", 0);
1206 256 : return function_symbol_StateTrue;
1207 : }
1208 :
1209 : // StateVar
1210 : inline
1211 849 : const atermpp::function_symbol& function_symbol_StateVar()
1212 : {
1213 849 : static const atermpp::global_function_symbol function_symbol_StateVar("StateVar", 2);
1214 849 : return function_symbol_StateVar;
1215 : }
1216 :
1217 : // StateYaled
1218 : inline
1219 256 : const atermpp::function_symbol& function_symbol_StateYaled()
1220 : {
1221 256 : static const atermpp::global_function_symbol function_symbol_StateYaled("StateYaled", 0);
1222 256 : return function_symbol_StateYaled;
1223 : }
1224 :
1225 : // StateYaledTimed
1226 : inline
1227 263 : const atermpp::function_symbol& function_symbol_StateYaledTimed()
1228 : {
1229 263 : static const atermpp::global_function_symbol function_symbol_StateYaledTimed("StateYaledTimed", 1);
1230 263 : return function_symbol_StateYaledTimed;
1231 : }
1232 :
1233 : // StochasticOperator
1234 : inline
1235 2295 : const atermpp::function_symbol& function_symbol_StochasticOperator()
1236 : {
1237 2295 : static const atermpp::global_function_symbol function_symbol_StochasticOperator("StochasticOperator", 3);
1238 2295 : return function_symbol_StochasticOperator;
1239 : }
1240 :
1241 : // StructCons
1242 : inline
1243 60465 : const atermpp::function_symbol& function_symbol_StructCons()
1244 : {
1245 60465 : static const atermpp::global_function_symbol function_symbol_StructCons("StructCons", 3);
1246 60465 : return function_symbol_StructCons;
1247 : }
1248 :
1249 : // StructProj
1250 : inline
1251 32987 : const atermpp::function_symbol& function_symbol_StructProj()
1252 : {
1253 32987 : static const atermpp::global_function_symbol function_symbol_StructProj("StructProj", 2);
1254 32987 : return function_symbol_StructProj;
1255 : }
1256 :
1257 : // Sum
1258 : inline
1259 6280 : const atermpp::function_symbol& function_symbol_Sum()
1260 : {
1261 6280 : static const atermpp::global_function_symbol function_symbol_Sum("Sum", 2);
1262 6280 : return function_symbol_Sum;
1263 : }
1264 :
1265 : // Sync
1266 : inline
1267 3390 : const atermpp::function_symbol& function_symbol_Sync()
1268 : {
1269 3390 : static const atermpp::global_function_symbol function_symbol_Sync("Sync", 2);
1270 3390 : return function_symbol_Sync;
1271 : }
1272 :
1273 : // Tau
1274 : inline
1275 256 : const atermpp::function_symbol& function_symbol_Tau()
1276 : {
1277 256 : static const atermpp::global_function_symbol function_symbol_Tau("Tau", 0);
1278 256 : return function_symbol_Tau;
1279 : }
1280 :
1281 : // TimedMultAct
1282 : inline
1283 52623 : const atermpp::function_symbol& function_symbol_TimedMultAct()
1284 : {
1285 52623 : static const atermpp::global_function_symbol function_symbol_TimedMultAct("TimedMultAct", 2);
1286 52623 : return function_symbol_TimedMultAct;
1287 : }
1288 :
1289 : // UntypedDataParameter
1290 : inline
1291 12549 : const atermpp::function_symbol& function_symbol_UntypedDataParameter()
1292 : {
1293 12549 : static const atermpp::global_function_symbol function_symbol_UntypedDataParameter("UntypedDataParameter", 2);
1294 12549 : return function_symbol_UntypedDataParameter;
1295 : }
1296 :
1297 : // UntypedIdentifier
1298 : inline
1299 23120 : const atermpp::function_symbol& function_symbol_UntypedIdentifier()
1300 : {
1301 23120 : static const atermpp::global_function_symbol function_symbol_UntypedIdentifier("UntypedIdentifier", 1);
1302 23120 : return function_symbol_UntypedIdentifier;
1303 : }
1304 :
1305 : // UntypedIdentifierAssignment
1306 : inline
1307 2286 : const atermpp::function_symbol& function_symbol_UntypedIdentifierAssignment()
1308 : {
1309 2286 : static const atermpp::global_function_symbol function_symbol_UntypedIdentifierAssignment("UntypedIdentifierAssignment", 2);
1310 2286 : return function_symbol_UntypedIdentifierAssignment;
1311 : }
1312 :
1313 : // UntypedMultiAction
1314 : inline
1315 632 : const atermpp::function_symbol& function_symbol_UntypedMultiAction()
1316 : {
1317 632 : static const atermpp::global_function_symbol function_symbol_UntypedMultiAction("UntypedMultiAction", 1);
1318 632 : return function_symbol_UntypedMultiAction;
1319 : }
1320 :
1321 : // UntypedProcessAssignment
1322 : inline
1323 1138 : const atermpp::function_symbol& function_symbol_UntypedProcessAssignment()
1324 : {
1325 1138 : static const atermpp::global_function_symbol function_symbol_UntypedProcessAssignment("UntypedProcessAssignment", 2);
1326 1138 : return function_symbol_UntypedProcessAssignment;
1327 : }
1328 :
1329 : // UntypedRegFrm
1330 : inline
1331 266 : const atermpp::function_symbol& function_symbol_UntypedRegFrm()
1332 : {
1333 266 : static const atermpp::global_function_symbol function_symbol_UntypedRegFrm("UntypedRegFrm", 3);
1334 266 : return function_symbol_UntypedRegFrm;
1335 : }
1336 :
1337 : // UntypedSetBagComp
1338 : inline
1339 256 : const atermpp::function_symbol& function_symbol_UntypedSetBagComp()
1340 : {
1341 256 : static const atermpp::global_function_symbol function_symbol_UntypedSetBagComp("UntypedSetBagComp", 0);
1342 256 : return function_symbol_UntypedSetBagComp;
1343 : }
1344 :
1345 : // UntypedSortUnknown
1346 : inline
1347 256 : const atermpp::function_symbol& function_symbol_UntypedSortUnknown()
1348 : {
1349 256 : static const atermpp::global_function_symbol function_symbol_UntypedSortUnknown("UntypedSortUnknown", 0);
1350 256 : return function_symbol_UntypedSortUnknown;
1351 : }
1352 :
1353 : // UntypedSortVariable
1354 : inline
1355 768 : const atermpp::function_symbol& function_symbol_UntypedSortVariable()
1356 : {
1357 768 : static const atermpp::global_function_symbol function_symbol_UntypedSortVariable("UntypedSortVariable", 1);
1358 768 : return function_symbol_UntypedSortVariable;
1359 : }
1360 :
1361 : // UntypedSortsPossible
1362 : inline
1363 3874 : const atermpp::function_symbol& function_symbol_UntypedSortsPossible()
1364 : {
1365 3874 : static const atermpp::global_function_symbol function_symbol_UntypedSortsPossible("UntypedSortsPossible", 1);
1366 3874 : return function_symbol_UntypedSortsPossible;
1367 : }
1368 :
1369 : // Whr
1370 : inline
1371 727 : const atermpp::function_symbol& function_symbol_Whr()
1372 : {
1373 727 : static const atermpp::global_function_symbol function_symbol_Whr("Whr", 2);
1374 727 : return function_symbol_Whr;
1375 : }
1376 : //--- end generated constructors ---//
1377 :
1378 : //----------------------------------------------------------------------------------------------//
1379 : // Part 2: static variables containing function symbols.
1380 : //----------------------------------------------------------------------------------------------//
1381 :
1382 : struct function_symbols
1383 : {
1384 : //--- start generated variables ---//
1385 : static const atermpp::function_symbol SortCons;
1386 : static const atermpp::function_symbol SortStruct;
1387 : static const atermpp::function_symbol SortArrow;
1388 : static const atermpp::function_symbol UntypedSortUnknown;
1389 : static const atermpp::function_symbol UntypedSortsPossible;
1390 : static const atermpp::function_symbol UntypedSortVariable;
1391 : static const atermpp::function_symbol SortId;
1392 : static const atermpp::function_symbol SortList;
1393 : static const atermpp::function_symbol SortSet;
1394 : static const atermpp::function_symbol SortBag;
1395 : static const atermpp::function_symbol SortFSet;
1396 : static const atermpp::function_symbol SortFBag;
1397 : static const atermpp::function_symbol StructCons;
1398 : static const atermpp::function_symbol StructProj;
1399 : static const atermpp::function_symbol Binder;
1400 : static const atermpp::function_symbol Whr;
1401 : static const atermpp::function_symbol UntypedIdentifier;
1402 : static const atermpp::function_symbol DataVarId;
1403 : static const atermpp::function_symbol OpId;
1404 : static const atermpp::function_symbol UntypedDataParameter;
1405 : static const atermpp::function_symbol Forall;
1406 : static const atermpp::function_symbol Exists;
1407 : static const atermpp::function_symbol SetComp;
1408 : static const atermpp::function_symbol BagComp;
1409 : static const atermpp::function_symbol Lambda;
1410 : static const atermpp::function_symbol UntypedSetBagComp;
1411 : static const atermpp::function_symbol DataVarIdInit;
1412 : static const atermpp::function_symbol UntypedIdentifierAssignment;
1413 : static const atermpp::function_symbol DataSpec;
1414 : static const atermpp::function_symbol SortSpec;
1415 : static const atermpp::function_symbol ConsSpec;
1416 : static const atermpp::function_symbol MapSpec;
1417 : static const atermpp::function_symbol DataEqnSpec;
1418 : static const atermpp::function_symbol SortRef;
1419 : static const atermpp::function_symbol DataEqn;
1420 : static const atermpp::function_symbol MultAct;
1421 : static const atermpp::function_symbol TimedMultAct;
1422 : static const atermpp::function_symbol UntypedMultiAction;
1423 : static const atermpp::function_symbol Action;
1424 : static const atermpp::function_symbol ActId;
1425 : static const atermpp::function_symbol Process;
1426 : static const atermpp::function_symbol ProcessAssignment;
1427 : static const atermpp::function_symbol Delta;
1428 : static const atermpp::function_symbol Tau;
1429 : static const atermpp::function_symbol Sum;
1430 : static const atermpp::function_symbol Block;
1431 : static const atermpp::function_symbol Hide;
1432 : static const atermpp::function_symbol Rename;
1433 : static const atermpp::function_symbol Comm;
1434 : static const atermpp::function_symbol Allow;
1435 : static const atermpp::function_symbol Sync;
1436 : static const atermpp::function_symbol AtTime;
1437 : static const atermpp::function_symbol Seq;
1438 : static const atermpp::function_symbol IfThen;
1439 : static const atermpp::function_symbol IfThenElse;
1440 : static const atermpp::function_symbol BInit;
1441 : static const atermpp::function_symbol Merge;
1442 : static const atermpp::function_symbol LMerge;
1443 : static const atermpp::function_symbol Choice;
1444 : static const atermpp::function_symbol StochasticOperator;
1445 : static const atermpp::function_symbol UntypedProcessAssignment;
1446 : static const atermpp::function_symbol ProcVarId;
1447 : static const atermpp::function_symbol MultActName;
1448 : static const atermpp::function_symbol RenameExpr;
1449 : static const atermpp::function_symbol CommExpr;
1450 : static const atermpp::function_symbol ProcSpec;
1451 : static const atermpp::function_symbol ActSpec;
1452 : static const atermpp::function_symbol GlobVarSpec;
1453 : static const atermpp::function_symbol ProcEqnSpec;
1454 : static const atermpp::function_symbol ProcEqn;
1455 : static const atermpp::function_symbol ProcessInit;
1456 : static const atermpp::function_symbol Distribution;
1457 : static const atermpp::function_symbol LinProcSpec;
1458 : static const atermpp::function_symbol LinearProcess;
1459 : static const atermpp::function_symbol LinearProcessSummand;
1460 : static const atermpp::function_symbol LinearProcessInit;
1461 : static const atermpp::function_symbol StateTrue;
1462 : static const atermpp::function_symbol StateFalse;
1463 : static const atermpp::function_symbol StateNot;
1464 : static const atermpp::function_symbol StateMinus;
1465 : static const atermpp::function_symbol StateAnd;
1466 : static const atermpp::function_symbol StateOr;
1467 : static const atermpp::function_symbol StateImp;
1468 : static const atermpp::function_symbol StatePlus;
1469 : static const atermpp::function_symbol StateConstantMultiply;
1470 : static const atermpp::function_symbol StateConstantMultiplyAlt;
1471 : static const atermpp::function_symbol StateForall;
1472 : static const atermpp::function_symbol StateExists;
1473 : static const atermpp::function_symbol StateInfimum;
1474 : static const atermpp::function_symbol StateSupremum;
1475 : static const atermpp::function_symbol StateSum;
1476 : static const atermpp::function_symbol StateMust;
1477 : static const atermpp::function_symbol StateMay;
1478 : static const atermpp::function_symbol StateYaled;
1479 : static const atermpp::function_symbol StateYaledTimed;
1480 : static const atermpp::function_symbol StateDelay;
1481 : static const atermpp::function_symbol StateDelayTimed;
1482 : static const atermpp::function_symbol StateVar;
1483 : static const atermpp::function_symbol StateNu;
1484 : static const atermpp::function_symbol StateMu;
1485 : static const atermpp::function_symbol RegNil;
1486 : static const atermpp::function_symbol RegSeq;
1487 : static const atermpp::function_symbol RegAlt;
1488 : static const atermpp::function_symbol RegTrans;
1489 : static const atermpp::function_symbol RegTransOrNil;
1490 : static const atermpp::function_symbol UntypedRegFrm;
1491 : static const atermpp::function_symbol ActTrue;
1492 : static const atermpp::function_symbol ActFalse;
1493 : static const atermpp::function_symbol ActNot;
1494 : static const atermpp::function_symbol ActAnd;
1495 : static const atermpp::function_symbol ActOr;
1496 : static const atermpp::function_symbol ActImp;
1497 : static const atermpp::function_symbol ActForall;
1498 : static const atermpp::function_symbol ActExists;
1499 : static const atermpp::function_symbol ActAt;
1500 : static const atermpp::function_symbol ActMultAct;
1501 : static const atermpp::function_symbol ActionRenameRules;
1502 : static const atermpp::function_symbol ActionRenameRule;
1503 : static const atermpp::function_symbol ActionRenameSpec;
1504 : static const atermpp::function_symbol PBES;
1505 : static const atermpp::function_symbol PBEqnSpec;
1506 : static const atermpp::function_symbol PBInit;
1507 : static const atermpp::function_symbol PBEqn;
1508 : static const atermpp::function_symbol Mu;
1509 : static const atermpp::function_symbol Nu;
1510 : static const atermpp::function_symbol PropVarDecl;
1511 : static const atermpp::function_symbol PBESTrue;
1512 : static const atermpp::function_symbol PBESFalse;
1513 : static const atermpp::function_symbol PBESNot;
1514 : static const atermpp::function_symbol PBESAnd;
1515 : static const atermpp::function_symbol PBESOr;
1516 : static const atermpp::function_symbol PBESImp;
1517 : static const atermpp::function_symbol PBESForall;
1518 : static const atermpp::function_symbol PBESExists;
1519 : static const atermpp::function_symbol PropVarInst;
1520 : static const atermpp::function_symbol PRES;
1521 : static const atermpp::function_symbol PREqnSpec;
1522 : static const atermpp::function_symbol PRInit;
1523 : static const atermpp::function_symbol PREqn;
1524 : static const atermpp::function_symbol PRESTrue;
1525 : static const atermpp::function_symbol PRESFalse;
1526 : static const atermpp::function_symbol PRESMinus;
1527 : static const atermpp::function_symbol PRESAnd;
1528 : static const atermpp::function_symbol PRESOr;
1529 : static const atermpp::function_symbol PRESImp;
1530 : static const atermpp::function_symbol PRESPlus;
1531 : static const atermpp::function_symbol PRESConstantMultiply;
1532 : static const atermpp::function_symbol PRESConstantMultiplyAlt;
1533 : static const atermpp::function_symbol PRESInfimum;
1534 : static const atermpp::function_symbol PRESSupremum;
1535 : static const atermpp::function_symbol PRESSum;
1536 : static const atermpp::function_symbol PRESEqInf;
1537 : static const atermpp::function_symbol PRESEqNInf;
1538 : static const atermpp::function_symbol PRESCondSm;
1539 : static const atermpp::function_symbol PRESCondEq;
1540 : //--- end generated variables ---//
1541 : };
1542 :
1543 : } // namespace detail
1544 :
1545 : } // namespace core
1546 :
1547 : } // namespace mcrl2
1548 :
1549 : #endif // MCRL2_CORE_DETAIL_FUNCTION_SYMBOLS_H
|