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/default_values.h
10 : /// \brief add your file description here.
11 :
12 : #ifndef MCRL2_CORE_DETAIL_DEFAULT_VALUES_H
13 : #define MCRL2_CORE_DETAIL_DEFAULT_VALUES_H
14 :
15 : #include "mcrl2/core/identifier_string.h"
16 :
17 : namespace mcrl2 {
18 :
19 : namespace core {
20 :
21 : namespace detail {
22 :
23 : //----------------------------------------------------------------------------------------------//
24 : // Part 1: functions for creating default values.
25 : //----------------------------------------------------------------------------------------------//
26 :
27 : inline
28 256 : const atermpp::aterm_int& default_value_Number()
29 : {
30 256 : static atermpp::aterm_int t = atermpp::aterm_int(std::size_t(0));
31 256 : return t;
32 : }
33 :
34 : inline
35 2560 : const atermpp::aterm_appl& default_value_String()
36 : {
37 2560 : static atermpp::aterm_appl t = core::identifier_string("@NoValue");
38 2560 : return t;
39 : }
40 :
41 : inline
42 256 : const atermpp::aterm_appl& default_value_StringOrEmpty()
43 : {
44 256 : static atermpp::aterm_appl t = core::identifier_string("@NoValue");
45 256 : return t;
46 : }
47 :
48 : inline
49 5248 : const atermpp::aterm_list& default_value_List()
50 : {
51 5248 : static atermpp::aterm_list t = atermpp::aterm_list();
52 5248 : return t;
53 : }
54 :
55 : // List
56 : inline
57 2560 : atermpp::aterm_list default_value_List(const atermpp::aterm& t)
58 : {
59 2560 : atermpp::aterm_list result;
60 2560 : result.push_front(t);
61 2560 : return result;
62 0 : }
63 :
64 : //--- start generated constructors ---//
65 : const atermpp::aterm_appl& default_value_SortCons();
66 : const atermpp::aterm_appl& default_value_SortStruct();
67 : const atermpp::aterm_appl& default_value_SortArrow();
68 : const atermpp::aterm_appl& default_value_UntypedSortUnknown();
69 : const atermpp::aterm_appl& default_value_UntypedSortsPossible();
70 : const atermpp::aterm_appl& default_value_UntypedSortVariable();
71 : const atermpp::aterm_appl& default_value_SortId();
72 : const atermpp::aterm_appl& default_value_SortList();
73 : const atermpp::aterm_appl& default_value_SortSet();
74 : const atermpp::aterm_appl& default_value_SortBag();
75 : const atermpp::aterm_appl& default_value_SortFSet();
76 : const atermpp::aterm_appl& default_value_SortFBag();
77 : const atermpp::aterm_appl& default_value_StructCons();
78 : const atermpp::aterm_appl& default_value_StructProj();
79 : const atermpp::aterm_appl& default_value_Binder();
80 : const atermpp::aterm_appl& default_value_Whr();
81 : const atermpp::aterm_appl& default_value_UntypedIdentifier();
82 : const atermpp::aterm_appl& default_value_DataVarId();
83 : const atermpp::aterm_appl& default_value_OpId();
84 : const atermpp::aterm_appl& default_value_UntypedDataParameter();
85 : const atermpp::aterm_appl& default_value_Forall();
86 : const atermpp::aterm_appl& default_value_Exists();
87 : const atermpp::aterm_appl& default_value_SetComp();
88 : const atermpp::aterm_appl& default_value_BagComp();
89 : const atermpp::aterm_appl& default_value_Lambda();
90 : const atermpp::aterm_appl& default_value_UntypedSetBagComp();
91 : const atermpp::aterm_appl& default_value_DataVarIdInit();
92 : const atermpp::aterm_appl& default_value_UntypedIdentifierAssignment();
93 : const atermpp::aterm_appl& default_value_DataSpec();
94 : const atermpp::aterm_appl& default_value_SortSpec();
95 : const atermpp::aterm_appl& default_value_ConsSpec();
96 : const atermpp::aterm_appl& default_value_MapSpec();
97 : const atermpp::aterm_appl& default_value_DataEqnSpec();
98 : const atermpp::aterm_appl& default_value_SortRef();
99 : const atermpp::aterm_appl& default_value_DataEqn();
100 : const atermpp::aterm_appl& default_value_MultAct();
101 : const atermpp::aterm_appl& default_value_TimedMultAct();
102 : const atermpp::aterm_appl& default_value_UntypedMultiAction();
103 : const atermpp::aterm_appl& default_value_Action();
104 : const atermpp::aterm_appl& default_value_ActId();
105 : const atermpp::aterm_appl& default_value_Process();
106 : const atermpp::aterm_appl& default_value_ProcessAssignment();
107 : const atermpp::aterm_appl& default_value_Delta();
108 : const atermpp::aterm_appl& default_value_Tau();
109 : const atermpp::aterm_appl& default_value_Sum();
110 : const atermpp::aterm_appl& default_value_Block();
111 : const atermpp::aterm_appl& default_value_Hide();
112 : const atermpp::aterm_appl& default_value_Rename();
113 : const atermpp::aterm_appl& default_value_Comm();
114 : const atermpp::aterm_appl& default_value_Allow();
115 : const atermpp::aterm_appl& default_value_Sync();
116 : const atermpp::aterm_appl& default_value_AtTime();
117 : const atermpp::aterm_appl& default_value_Seq();
118 : const atermpp::aterm_appl& default_value_IfThen();
119 : const atermpp::aterm_appl& default_value_IfThenElse();
120 : const atermpp::aterm_appl& default_value_BInit();
121 : const atermpp::aterm_appl& default_value_Merge();
122 : const atermpp::aterm_appl& default_value_LMerge();
123 : const atermpp::aterm_appl& default_value_Choice();
124 : const atermpp::aterm_appl& default_value_StochasticOperator();
125 : const atermpp::aterm_appl& default_value_UntypedProcessAssignment();
126 : const atermpp::aterm_appl& default_value_ProcVarId();
127 : const atermpp::aterm_appl& default_value_MultActName();
128 : const atermpp::aterm_appl& default_value_RenameExpr();
129 : const atermpp::aterm_appl& default_value_CommExpr();
130 : const atermpp::aterm_appl& default_value_ProcSpec();
131 : const atermpp::aterm_appl& default_value_ActSpec();
132 : const atermpp::aterm_appl& default_value_GlobVarSpec();
133 : const atermpp::aterm_appl& default_value_ProcEqnSpec();
134 : const atermpp::aterm_appl& default_value_ProcEqn();
135 : const atermpp::aterm_appl& default_value_ProcessInit();
136 : const atermpp::aterm_appl& default_value_Distribution();
137 : const atermpp::aterm_appl& default_value_LinProcSpec();
138 : const atermpp::aterm_appl& default_value_LinearProcess();
139 : const atermpp::aterm_appl& default_value_LinearProcessSummand();
140 : const atermpp::aterm_appl& default_value_LinearProcessInit();
141 : const atermpp::aterm_appl& default_value_StateTrue();
142 : const atermpp::aterm_appl& default_value_StateFalse();
143 : const atermpp::aterm_appl& default_value_StateNot();
144 : const atermpp::aterm_appl& default_value_StateMinus();
145 : const atermpp::aterm_appl& default_value_StateAnd();
146 : const atermpp::aterm_appl& default_value_StateOr();
147 : const atermpp::aterm_appl& default_value_StateImp();
148 : const atermpp::aterm_appl& default_value_StatePlus();
149 : const atermpp::aterm_appl& default_value_StateConstantMultiply();
150 : const atermpp::aterm_appl& default_value_StateConstantMultiplyAlt();
151 : const atermpp::aterm_appl& default_value_StateForall();
152 : const atermpp::aterm_appl& default_value_StateExists();
153 : const atermpp::aterm_appl& default_value_StateInfimum();
154 : const atermpp::aterm_appl& default_value_StateSupremum();
155 : const atermpp::aterm_appl& default_value_StateSum();
156 : const atermpp::aterm_appl& default_value_StateMust();
157 : const atermpp::aterm_appl& default_value_StateMay();
158 : const atermpp::aterm_appl& default_value_StateYaled();
159 : const atermpp::aterm_appl& default_value_StateYaledTimed();
160 : const atermpp::aterm_appl& default_value_StateDelay();
161 : const atermpp::aterm_appl& default_value_StateDelayTimed();
162 : const atermpp::aterm_appl& default_value_StateVar();
163 : const atermpp::aterm_appl& default_value_StateNu();
164 : const atermpp::aterm_appl& default_value_StateMu();
165 : const atermpp::aterm_appl& default_value_RegNil();
166 : const atermpp::aterm_appl& default_value_RegSeq();
167 : const atermpp::aterm_appl& default_value_RegAlt();
168 : const atermpp::aterm_appl& default_value_RegTrans();
169 : const atermpp::aterm_appl& default_value_RegTransOrNil();
170 : const atermpp::aterm_appl& default_value_UntypedRegFrm();
171 : const atermpp::aterm_appl& default_value_ActTrue();
172 : const atermpp::aterm_appl& default_value_ActFalse();
173 : const atermpp::aterm_appl& default_value_ActNot();
174 : const atermpp::aterm_appl& default_value_ActAnd();
175 : const atermpp::aterm_appl& default_value_ActOr();
176 : const atermpp::aterm_appl& default_value_ActImp();
177 : const atermpp::aterm_appl& default_value_ActForall();
178 : const atermpp::aterm_appl& default_value_ActExists();
179 : const atermpp::aterm_appl& default_value_ActAt();
180 : const atermpp::aterm_appl& default_value_ActMultAct();
181 : const atermpp::aterm_appl& default_value_ActionRenameRules();
182 : const atermpp::aterm_appl& default_value_ActionRenameRule();
183 : const atermpp::aterm_appl& default_value_ActionRenameSpec();
184 : const atermpp::aterm_appl& default_value_PBES();
185 : const atermpp::aterm_appl& default_value_PBEqnSpec();
186 : const atermpp::aterm_appl& default_value_PBInit();
187 : const atermpp::aterm_appl& default_value_PBEqn();
188 : const atermpp::aterm_appl& default_value_Mu();
189 : const atermpp::aterm_appl& default_value_Nu();
190 : const atermpp::aterm_appl& default_value_PropVarDecl();
191 : const atermpp::aterm_appl& default_value_PBESTrue();
192 : const atermpp::aterm_appl& default_value_PBESFalse();
193 : const atermpp::aterm_appl& default_value_PBESNot();
194 : const atermpp::aterm_appl& default_value_PBESAnd();
195 : const atermpp::aterm_appl& default_value_PBESOr();
196 : const atermpp::aterm_appl& default_value_PBESImp();
197 : const atermpp::aterm_appl& default_value_PBESForall();
198 : const atermpp::aterm_appl& default_value_PBESExists();
199 : const atermpp::aterm_appl& default_value_PropVarInst();
200 : const atermpp::aterm_appl& default_value_PRES();
201 : const atermpp::aterm_appl& default_value_PREqnSpec();
202 : const atermpp::aterm_appl& default_value_PRInit();
203 : const atermpp::aterm_appl& default_value_PREqn();
204 : const atermpp::aterm_appl& default_value_PRESTrue();
205 : const atermpp::aterm_appl& default_value_PRESFalse();
206 : const atermpp::aterm_appl& default_value_PRESMinus();
207 : const atermpp::aterm_appl& default_value_PRESAnd();
208 : const atermpp::aterm_appl& default_value_PRESOr();
209 : const atermpp::aterm_appl& default_value_PRESImp();
210 : const atermpp::aterm_appl& default_value_PRESPlus();
211 : const atermpp::aterm_appl& default_value_PRESConstantMultiply();
212 : const atermpp::aterm_appl& default_value_PRESConstantMultiplyAlt();
213 : const atermpp::aterm_appl& default_value_PRESInfimum();
214 : const atermpp::aterm_appl& default_value_PRESSupremum();
215 : const atermpp::aterm_appl& default_value_PRESSum();
216 : const atermpp::aterm_appl& default_value_PRESEqInf();
217 : const atermpp::aterm_appl& default_value_PRESEqNInf();
218 : const atermpp::aterm_appl& default_value_PRESCondSm();
219 : const atermpp::aterm_appl& default_value_PRESCondEq();
220 : const atermpp::aterm_appl& default_value_SortExpr();
221 : const atermpp::aterm_appl& default_value_SortConsType();
222 : const atermpp::aterm_appl& default_value_DataExpr();
223 : const atermpp::aterm_appl& default_value_BindingOperator();
224 : const atermpp::aterm_appl& default_value_WhrDecl();
225 : const atermpp::aterm_appl& default_value_SortDecl();
226 : const atermpp::aterm_appl& default_value_ProcExpr();
227 : const atermpp::aterm_appl& default_value_MultActOrDelta();
228 : const atermpp::aterm_appl& default_value_ProcInit();
229 : const atermpp::aterm_appl& default_value_StateFrm();
230 : const atermpp::aterm_appl& default_value_RegFrm();
231 : const atermpp::aterm_appl& default_value_ActFrm();
232 : const atermpp::aterm_appl& default_value_ParamIdOrAction();
233 : const atermpp::aterm_appl& default_value_ActionRenameRuleRHS();
234 : const atermpp::aterm_appl& default_value_FixPoint();
235 : const atermpp::aterm_appl& default_value_PBExpr();
236 : const atermpp::aterm_appl& default_value_PRExpr();
237 :
238 : // SortCons
239 : inline
240 128 : const atermpp::aterm_appl& default_value_SortCons()
241 : {
242 128 : static const atermpp::aterm_appl t = atermpp::aterm_appl(function_symbol_SortCons(), default_value_SortConsType(), default_value_SortExpr());
243 128 : return t;
244 : }
245 :
246 : // SortStruct
247 : inline
248 128 : const atermpp::aterm_appl& default_value_SortStruct()
249 : {
250 128 : static const atermpp::aterm_appl t = atermpp::aterm_appl(function_symbol_SortStruct(), default_value_List(default_value_StructCons()));
251 128 : return t;
252 : }
253 :
254 : // SortArrow
255 : inline
256 128 : const atermpp::aterm_appl& default_value_SortArrow()
257 : {
258 128 : static const atermpp::aterm_appl t = atermpp::aterm_appl(function_symbol_SortArrow(), default_value_List(default_value_SortExpr()), default_value_SortExpr());
259 128 : return t;
260 : }
261 :
262 : // UntypedSortUnknown
263 : inline
264 128 : const atermpp::aterm_appl& default_value_UntypedSortUnknown()
265 : {
266 128 : static const atermpp::aterm_appl t = atermpp::aterm_appl(function_symbol_UntypedSortUnknown());
267 128 : return t;
268 : }
269 :
270 : // UntypedSortsPossible
271 : inline
272 128 : const atermpp::aterm_appl& default_value_UntypedSortsPossible()
273 : {
274 128 : static const atermpp::aterm_appl t = atermpp::aterm_appl(function_symbol_UntypedSortsPossible(), default_value_List(default_value_SortExpr()));
275 128 : return t;
276 : }
277 :
278 : // UntypedSortVariable
279 : inline
280 128 : const atermpp::aterm_appl& default_value_UntypedSortVariable()
281 : {
282 128 : static const atermpp::aterm_appl t = atermpp::aterm_appl(function_symbol_UntypedSortVariable(), default_value_Number());
283 128 : return t;
284 : }
285 :
286 : // SortId
287 : inline
288 1536 : const atermpp::aterm_appl& default_value_SortId()
289 : {
290 1536 : static const atermpp::aterm_appl t = atermpp::aterm_appl(function_symbol_SortId(), default_value_String());
291 1536 : return t;
292 : }
293 :
294 : // SortList
295 : inline
296 384 : const atermpp::aterm_appl& default_value_SortList()
297 : {
298 384 : static const atermpp::aterm_appl t = atermpp::aterm_appl(function_symbol_SortList());
299 384 : return t;
300 : }
301 :
302 : // SortSet
303 : inline
304 128 : const atermpp::aterm_appl& default_value_SortSet()
305 : {
306 128 : static const atermpp::aterm_appl t = atermpp::aterm_appl(function_symbol_SortSet());
307 128 : return t;
308 : }
309 :
310 : // SortBag
311 : inline
312 128 : const atermpp::aterm_appl& default_value_SortBag()
313 : {
314 128 : static const atermpp::aterm_appl t = atermpp::aterm_appl(function_symbol_SortBag());
315 128 : return t;
316 : }
317 :
318 : // SortFSet
319 : inline
320 128 : const atermpp::aterm_appl& default_value_SortFSet()
321 : {
322 128 : static const atermpp::aterm_appl t = atermpp::aterm_appl(function_symbol_SortFSet());
323 128 : return t;
324 : }
325 :
326 : // SortFBag
327 : inline
328 128 : const atermpp::aterm_appl& default_value_SortFBag()
329 : {
330 128 : static const atermpp::aterm_appl t = atermpp::aterm_appl(function_symbol_SortFBag());
331 128 : return t;
332 : }
333 :
334 : // StructCons
335 : inline
336 256 : const atermpp::aterm_appl& default_value_StructCons()
337 : {
338 256 : static const atermpp::aterm_appl t = atermpp::aterm_appl(function_symbol_StructCons(), default_value_String(), default_value_List(), default_value_StringOrEmpty());
339 256 : return t;
340 : }
341 :
342 : // StructProj
343 : inline
344 128 : const atermpp::aterm_appl& default_value_StructProj()
345 : {
346 128 : static const atermpp::aterm_appl t = atermpp::aterm_appl(function_symbol_StructProj(), default_value_StringOrEmpty(), default_value_SortExpr());
347 128 : return t;
348 : }
349 :
350 : // Binder
351 : inline
352 128 : const atermpp::aterm_appl& default_value_Binder()
353 : {
354 128 : static const atermpp::aterm_appl t = atermpp::aterm_appl(function_symbol_Binder(), default_value_BindingOperator(), default_value_List(default_value_DataVarId()), default_value_DataExpr());
355 128 : return t;
356 : }
357 :
358 : // Whr
359 : inline
360 128 : const atermpp::aterm_appl& default_value_Whr()
361 : {
362 128 : static const atermpp::aterm_appl t = atermpp::aterm_appl(function_symbol_Whr(), default_value_DataExpr(), default_value_List(default_value_WhrDecl()));
363 128 : return t;
364 : }
365 :
366 : // UntypedIdentifier
367 : inline
368 128 : const atermpp::aterm_appl& default_value_UntypedIdentifier()
369 : {
370 128 : static const atermpp::aterm_appl t = atermpp::aterm_appl(function_symbol_UntypedIdentifier(), default_value_String());
371 128 : return t;
372 : }
373 :
374 : // DataVarId
375 : inline
376 15360 : const atermpp::aterm_appl& default_value_DataVarId()
377 : {
378 15360 : static const atermpp::aterm_appl t = atermpp::aterm_appl(function_symbol_DataVarId(), default_value_String(), default_value_SortExpr());
379 15360 : return t;
380 : }
381 :
382 : // OpId
383 : inline
384 128 : const atermpp::aterm_appl& default_value_OpId()
385 : {
386 128 : static const atermpp::aterm_appl t = atermpp::aterm_appl(function_symbol_OpId(), default_value_String(), default_value_SortExpr(), default_value_Number());
387 128 : return t;
388 : }
389 :
390 : // UntypedDataParameter
391 : inline
392 640 : const atermpp::aterm_appl& default_value_UntypedDataParameter()
393 : {
394 640 : static const atermpp::aterm_appl t = atermpp::aterm_appl(function_symbol_UntypedDataParameter(), default_value_String(), default_value_List());
395 640 : return t;
396 : }
397 :
398 : // Forall
399 : inline
400 384 : const atermpp::aterm_appl& default_value_Forall()
401 : {
402 384 : static const atermpp::aterm_appl t = atermpp::aterm_appl(function_symbol_Forall());
403 384 : return t;
404 : }
405 :
406 : // Exists
407 : inline
408 128 : const atermpp::aterm_appl& default_value_Exists()
409 : {
410 128 : static const atermpp::aterm_appl t = atermpp::aterm_appl(function_symbol_Exists());
411 128 : return t;
412 : }
413 :
414 : // SetComp
415 : inline
416 128 : const atermpp::aterm_appl& default_value_SetComp()
417 : {
418 128 : static const atermpp::aterm_appl t = atermpp::aterm_appl(function_symbol_SetComp());
419 128 : return t;
420 : }
421 :
422 : // BagComp
423 : inline
424 128 : const atermpp::aterm_appl& default_value_BagComp()
425 : {
426 128 : static const atermpp::aterm_appl t = atermpp::aterm_appl(function_symbol_BagComp());
427 128 : return t;
428 : }
429 :
430 : // Lambda
431 : inline
432 128 : const atermpp::aterm_appl& default_value_Lambda()
433 : {
434 128 : static const atermpp::aterm_appl t = atermpp::aterm_appl(function_symbol_Lambda());
435 128 : return t;
436 : }
437 :
438 : // UntypedSetBagComp
439 : inline
440 128 : const atermpp::aterm_appl& default_value_UntypedSetBagComp()
441 : {
442 128 : static const atermpp::aterm_appl t = atermpp::aterm_appl(function_symbol_UntypedSetBagComp());
443 128 : return t;
444 : }
445 :
446 : // DataVarIdInit
447 : inline
448 384 : const atermpp::aterm_appl& default_value_DataVarIdInit()
449 : {
450 384 : static const atermpp::aterm_appl t = atermpp::aterm_appl(function_symbol_DataVarIdInit(), default_value_DataVarId(), default_value_DataExpr());
451 384 : return t;
452 : }
453 :
454 : // UntypedIdentifierAssignment
455 : inline
456 128 : const atermpp::aterm_appl& default_value_UntypedIdentifierAssignment()
457 : {
458 128 : static const atermpp::aterm_appl t = atermpp::aterm_appl(function_symbol_UntypedIdentifierAssignment(), default_value_String(), default_value_DataExpr());
459 128 : return t;
460 : }
461 :
462 : // DataSpec
463 : inline
464 768 : const atermpp::aterm_appl& default_value_DataSpec()
465 : {
466 768 : static const atermpp::aterm_appl t = atermpp::aterm_appl(function_symbol_DataSpec(), default_value_SortSpec(), default_value_ConsSpec(), default_value_MapSpec(), default_value_DataEqnSpec());
467 768 : return t;
468 : }
469 :
470 : // SortSpec
471 : inline
472 256 : const atermpp::aterm_appl& default_value_SortSpec()
473 : {
474 256 : static const atermpp::aterm_appl t = atermpp::aterm_appl(function_symbol_SortSpec(), default_value_List());
475 256 : return t;
476 : }
477 :
478 : // ConsSpec
479 : inline
480 256 : const atermpp::aterm_appl& default_value_ConsSpec()
481 : {
482 256 : static const atermpp::aterm_appl t = atermpp::aterm_appl(function_symbol_ConsSpec(), default_value_List());
483 256 : return t;
484 : }
485 :
486 : // MapSpec
487 : inline
488 256 : const atermpp::aterm_appl& default_value_MapSpec()
489 : {
490 256 : static const atermpp::aterm_appl t = atermpp::aterm_appl(function_symbol_MapSpec(), default_value_List());
491 256 : return t;
492 : }
493 :
494 : // DataEqnSpec
495 : inline
496 256 : const atermpp::aterm_appl& default_value_DataEqnSpec()
497 : {
498 256 : static const atermpp::aterm_appl t = atermpp::aterm_appl(function_symbol_DataEqnSpec(), default_value_List());
499 256 : return t;
500 : }
501 :
502 : // SortRef
503 : inline
504 128 : const atermpp::aterm_appl& default_value_SortRef()
505 : {
506 128 : static const atermpp::aterm_appl t = atermpp::aterm_appl(function_symbol_SortRef(), default_value_SortId(), default_value_SortExpr());
507 128 : return t;
508 : }
509 :
510 : // DataEqn
511 : inline
512 128 : const atermpp::aterm_appl& default_value_DataEqn()
513 : {
514 128 : static const atermpp::aterm_appl t = atermpp::aterm_appl(function_symbol_DataEqn(), default_value_List(), default_value_DataExpr(), default_value_DataExpr(), default_value_DataExpr());
515 128 : return t;
516 : }
517 :
518 : // MultAct
519 : inline
520 384 : const atermpp::aterm_appl& default_value_MultAct()
521 : {
522 384 : static const atermpp::aterm_appl t = atermpp::aterm_appl(function_symbol_MultAct(), default_value_List());
523 384 : return t;
524 : }
525 :
526 : // TimedMultAct
527 : inline
528 128 : const atermpp::aterm_appl& default_value_TimedMultAct()
529 : {
530 128 : static const atermpp::aterm_appl t = atermpp::aterm_appl(function_symbol_TimedMultAct(), default_value_List(), default_value_DataExpr());
531 128 : return t;
532 : }
533 :
534 : // UntypedMultiAction
535 : inline
536 128 : const atermpp::aterm_appl& default_value_UntypedMultiAction()
537 : {
538 128 : static const atermpp::aterm_appl t = atermpp::aterm_appl(function_symbol_UntypedMultiAction(), default_value_List());
539 128 : return t;
540 : }
541 :
542 : // Action
543 : inline
544 3456 : const atermpp::aterm_appl& default_value_Action()
545 : {
546 3456 : static const atermpp::aterm_appl t = atermpp::aterm_appl(function_symbol_Action(), default_value_ActId(), default_value_List());
547 3456 : return t;
548 : }
549 :
550 : // ActId
551 : inline
552 256 : const atermpp::aterm_appl& default_value_ActId()
553 : {
554 256 : static const atermpp::aterm_appl t = atermpp::aterm_appl(function_symbol_ActId(), default_value_String(), default_value_List());
555 256 : return t;
556 : }
557 :
558 : // Process
559 : inline
560 128 : const atermpp::aterm_appl& default_value_Process()
561 : {
562 128 : static const atermpp::aterm_appl t = atermpp::aterm_appl(function_symbol_Process(), default_value_ProcVarId(), default_value_List());
563 128 : return t;
564 : }
565 :
566 : // ProcessAssignment
567 : inline
568 128 : const atermpp::aterm_appl& default_value_ProcessAssignment()
569 : {
570 128 : static const atermpp::aterm_appl t = atermpp::aterm_appl(function_symbol_ProcessAssignment(), default_value_ProcVarId(), default_value_List());
571 128 : return t;
572 : }
573 :
574 : // Delta
575 : inline
576 128 : const atermpp::aterm_appl& default_value_Delta()
577 : {
578 128 : static const atermpp::aterm_appl t = atermpp::aterm_appl(function_symbol_Delta());
579 128 : return t;
580 : }
581 :
582 : // Tau
583 : inline
584 128 : const atermpp::aterm_appl& default_value_Tau()
585 : {
586 128 : static const atermpp::aterm_appl t = atermpp::aterm_appl(function_symbol_Tau());
587 128 : return t;
588 : }
589 :
590 : // Sum
591 : inline
592 128 : const atermpp::aterm_appl& default_value_Sum()
593 : {
594 128 : static const atermpp::aterm_appl t = atermpp::aterm_appl(function_symbol_Sum(), default_value_List(default_value_DataVarId()), default_value_ProcExpr());
595 128 : return t;
596 : }
597 :
598 : // Block
599 : inline
600 128 : const atermpp::aterm_appl& default_value_Block()
601 : {
602 128 : static const atermpp::aterm_appl t = atermpp::aterm_appl(function_symbol_Block(), default_value_List(), default_value_ProcExpr());
603 128 : return t;
604 : }
605 :
606 : // Hide
607 : inline
608 128 : const atermpp::aterm_appl& default_value_Hide()
609 : {
610 128 : static const atermpp::aterm_appl t = atermpp::aterm_appl(function_symbol_Hide(), default_value_List(), default_value_ProcExpr());
611 128 : return t;
612 : }
613 :
614 : // Rename
615 : inline
616 128 : const atermpp::aterm_appl& default_value_Rename()
617 : {
618 128 : static const atermpp::aterm_appl t = atermpp::aterm_appl(function_symbol_Rename(), default_value_List(), default_value_ProcExpr());
619 128 : return t;
620 : }
621 :
622 : // Comm
623 : inline
624 128 : const atermpp::aterm_appl& default_value_Comm()
625 : {
626 128 : static const atermpp::aterm_appl t = atermpp::aterm_appl(function_symbol_Comm(), default_value_List(), default_value_ProcExpr());
627 128 : return t;
628 : }
629 :
630 : // Allow
631 : inline
632 128 : const atermpp::aterm_appl& default_value_Allow()
633 : {
634 128 : static const atermpp::aterm_appl t = atermpp::aterm_appl(function_symbol_Allow(), default_value_List(), default_value_ProcExpr());
635 128 : return t;
636 : }
637 :
638 : // Sync
639 : inline
640 128 : const atermpp::aterm_appl& default_value_Sync()
641 : {
642 128 : static const atermpp::aterm_appl t = atermpp::aterm_appl(function_symbol_Sync(), default_value_ProcExpr(), default_value_ProcExpr());
643 128 : return t;
644 : }
645 :
646 : // AtTime
647 : inline
648 128 : const atermpp::aterm_appl& default_value_AtTime()
649 : {
650 128 : static const atermpp::aterm_appl t = atermpp::aterm_appl(function_symbol_AtTime(), default_value_ProcExpr(), default_value_DataExpr());
651 128 : return t;
652 : }
653 :
654 : // Seq
655 : inline
656 128 : const atermpp::aterm_appl& default_value_Seq()
657 : {
658 128 : static const atermpp::aterm_appl t = atermpp::aterm_appl(function_symbol_Seq(), default_value_ProcExpr(), default_value_ProcExpr());
659 128 : return t;
660 : }
661 :
662 : // IfThen
663 : inline
664 128 : const atermpp::aterm_appl& default_value_IfThen()
665 : {
666 128 : static const atermpp::aterm_appl t = atermpp::aterm_appl(function_symbol_IfThen(), default_value_DataExpr(), default_value_ProcExpr());
667 128 : return t;
668 : }
669 :
670 : // IfThenElse
671 : inline
672 128 : const atermpp::aterm_appl& default_value_IfThenElse()
673 : {
674 128 : static const atermpp::aterm_appl t = atermpp::aterm_appl(function_symbol_IfThenElse(), default_value_DataExpr(), default_value_ProcExpr(), default_value_ProcExpr());
675 128 : return t;
676 : }
677 :
678 : // BInit
679 : inline
680 128 : const atermpp::aterm_appl& default_value_BInit()
681 : {
682 128 : static const atermpp::aterm_appl t = atermpp::aterm_appl(function_symbol_BInit(), default_value_ProcExpr(), default_value_ProcExpr());
683 128 : return t;
684 : }
685 :
686 : // Merge
687 : inline
688 128 : const atermpp::aterm_appl& default_value_Merge()
689 : {
690 128 : static const atermpp::aterm_appl t = atermpp::aterm_appl(function_symbol_Merge(), default_value_ProcExpr(), default_value_ProcExpr());
691 128 : return t;
692 : }
693 :
694 : // LMerge
695 : inline
696 128 : const atermpp::aterm_appl& default_value_LMerge()
697 : {
698 128 : static const atermpp::aterm_appl t = atermpp::aterm_appl(function_symbol_LMerge(), default_value_ProcExpr(), default_value_ProcExpr());
699 128 : return t;
700 : }
701 :
702 : // Choice
703 : inline
704 128 : const atermpp::aterm_appl& default_value_Choice()
705 : {
706 128 : static const atermpp::aterm_appl t = atermpp::aterm_appl(function_symbol_Choice(), default_value_ProcExpr(), default_value_ProcExpr());
707 128 : return t;
708 : }
709 :
710 : // StochasticOperator
711 : inline
712 128 : const atermpp::aterm_appl& default_value_StochasticOperator()
713 : {
714 128 : static const atermpp::aterm_appl t = atermpp::aterm_appl(function_symbol_StochasticOperator(), default_value_List(default_value_DataVarId()), default_value_DataExpr(), default_value_ProcExpr());
715 128 : return t;
716 : }
717 :
718 : // UntypedProcessAssignment
719 : inline
720 128 : const atermpp::aterm_appl& default_value_UntypedProcessAssignment()
721 : {
722 128 : static const atermpp::aterm_appl t = atermpp::aterm_appl(function_symbol_UntypedProcessAssignment(), default_value_String(), default_value_List());
723 128 : return t;
724 : }
725 :
726 : // ProcVarId
727 : inline
728 512 : const atermpp::aterm_appl& default_value_ProcVarId()
729 : {
730 512 : static const atermpp::aterm_appl t = atermpp::aterm_appl(function_symbol_ProcVarId(), default_value_String(), default_value_List());
731 512 : return t;
732 : }
733 :
734 : // MultActName
735 : inline
736 256 : const atermpp::aterm_appl& default_value_MultActName()
737 : {
738 256 : static const atermpp::aterm_appl t = atermpp::aterm_appl(function_symbol_MultActName(), default_value_List(default_value_String()));
739 256 : return t;
740 : }
741 :
742 : // RenameExpr
743 : inline
744 128 : const atermpp::aterm_appl& default_value_RenameExpr()
745 : {
746 128 : static const atermpp::aterm_appl t = atermpp::aterm_appl(function_symbol_RenameExpr(), default_value_String(), default_value_String());
747 128 : return t;
748 : }
749 :
750 : // CommExpr
751 : inline
752 128 : const atermpp::aterm_appl& default_value_CommExpr()
753 : {
754 128 : static const atermpp::aterm_appl t = atermpp::aterm_appl(function_symbol_CommExpr(), default_value_MultActName(), default_value_String());
755 128 : return t;
756 : }
757 :
758 : // ProcSpec
759 : inline
760 128 : const atermpp::aterm_appl& default_value_ProcSpec()
761 : {
762 128 : static const atermpp::aterm_appl t = atermpp::aterm_appl(function_symbol_ProcSpec(), default_value_DataSpec(), default_value_ActSpec(), default_value_GlobVarSpec(), default_value_ProcEqnSpec(), default_value_ProcInit());
763 128 : return t;
764 : }
765 :
766 : // ActSpec
767 : inline
768 512 : const atermpp::aterm_appl& default_value_ActSpec()
769 : {
770 512 : static const atermpp::aterm_appl t = atermpp::aterm_appl(function_symbol_ActSpec(), default_value_List());
771 512 : return t;
772 : }
773 :
774 : // GlobVarSpec
775 : inline
776 640 : const atermpp::aterm_appl& default_value_GlobVarSpec()
777 : {
778 640 : static const atermpp::aterm_appl t = atermpp::aterm_appl(function_symbol_GlobVarSpec(), default_value_List());
779 640 : return t;
780 : }
781 :
782 : // ProcEqnSpec
783 : inline
784 256 : const atermpp::aterm_appl& default_value_ProcEqnSpec()
785 : {
786 256 : static const atermpp::aterm_appl t = atermpp::aterm_appl(function_symbol_ProcEqnSpec(), default_value_List());
787 256 : return t;
788 : }
789 :
790 : // ProcEqn
791 : inline
792 128 : const atermpp::aterm_appl& default_value_ProcEqn()
793 : {
794 128 : static const atermpp::aterm_appl t = atermpp::aterm_appl(function_symbol_ProcEqn(), default_value_ProcVarId(), default_value_List(), default_value_ProcExpr());
795 128 : return t;
796 : }
797 :
798 : // ProcessInit
799 : inline
800 384 : const atermpp::aterm_appl& default_value_ProcessInit()
801 : {
802 384 : static const atermpp::aterm_appl t = atermpp::aterm_appl(function_symbol_ProcessInit(), default_value_ProcExpr());
803 384 : return t;
804 : }
805 :
806 : // Distribution
807 : inline
808 384 : const atermpp::aterm_appl& default_value_Distribution()
809 : {
810 384 : static const atermpp::aterm_appl t = atermpp::aterm_appl(function_symbol_Distribution(), default_value_List(), default_value_DataExpr());
811 384 : return t;
812 : }
813 :
814 : // LinProcSpec
815 : inline
816 128 : const atermpp::aterm_appl& default_value_LinProcSpec()
817 : {
818 128 : static const atermpp::aterm_appl t = atermpp::aterm_appl(function_symbol_LinProcSpec(), default_value_DataSpec(), default_value_ActSpec(), default_value_GlobVarSpec(), default_value_LinearProcess(), default_value_LinearProcessInit());
819 128 : return t;
820 : }
821 :
822 : // LinearProcess
823 : inline
824 256 : const atermpp::aterm_appl& default_value_LinearProcess()
825 : {
826 256 : static const atermpp::aterm_appl t = atermpp::aterm_appl(function_symbol_LinearProcess(), default_value_List(), default_value_List());
827 256 : return t;
828 : }
829 :
830 : // LinearProcessSummand
831 : inline
832 128 : const atermpp::aterm_appl& default_value_LinearProcessSummand()
833 : {
834 128 : static const atermpp::aterm_appl t = atermpp::aterm_appl(function_symbol_LinearProcessSummand(), default_value_List(), default_value_DataExpr(), default_value_MultActOrDelta(), default_value_DataExpr(), default_value_List(), default_value_Distribution());
835 128 : return t;
836 : }
837 :
838 : // LinearProcessInit
839 : inline
840 256 : const atermpp::aterm_appl& default_value_LinearProcessInit()
841 : {
842 256 : static const atermpp::aterm_appl t = atermpp::aterm_appl(function_symbol_LinearProcessInit(), default_value_List(), default_value_Distribution());
843 256 : return t;
844 : }
845 :
846 : // StateTrue
847 : inline
848 128 : const atermpp::aterm_appl& default_value_StateTrue()
849 : {
850 128 : static const atermpp::aterm_appl t = atermpp::aterm_appl(function_symbol_StateTrue());
851 128 : return t;
852 : }
853 :
854 : // StateFalse
855 : inline
856 128 : const atermpp::aterm_appl& default_value_StateFalse()
857 : {
858 128 : static const atermpp::aterm_appl t = atermpp::aterm_appl(function_symbol_StateFalse());
859 128 : return t;
860 : }
861 :
862 : // StateNot
863 : inline
864 128 : const atermpp::aterm_appl& default_value_StateNot()
865 : {
866 128 : static const atermpp::aterm_appl t = atermpp::aterm_appl(function_symbol_StateNot(), default_value_StateFrm());
867 128 : return t;
868 : }
869 :
870 : // StateMinus
871 : inline
872 128 : const atermpp::aterm_appl& default_value_StateMinus()
873 : {
874 128 : static const atermpp::aterm_appl t = atermpp::aterm_appl(function_symbol_StateMinus(), default_value_StateFrm());
875 128 : return t;
876 : }
877 :
878 : // StateAnd
879 : inline
880 128 : const atermpp::aterm_appl& default_value_StateAnd()
881 : {
882 128 : static const atermpp::aterm_appl t = atermpp::aterm_appl(function_symbol_StateAnd(), default_value_StateFrm(), default_value_StateFrm());
883 128 : return t;
884 : }
885 :
886 : // StateOr
887 : inline
888 128 : const atermpp::aterm_appl& default_value_StateOr()
889 : {
890 128 : static const atermpp::aterm_appl t = atermpp::aterm_appl(function_symbol_StateOr(), default_value_StateFrm(), default_value_StateFrm());
891 128 : return t;
892 : }
893 :
894 : // StateImp
895 : inline
896 128 : const atermpp::aterm_appl& default_value_StateImp()
897 : {
898 128 : static const atermpp::aterm_appl t = atermpp::aterm_appl(function_symbol_StateImp(), default_value_StateFrm(), default_value_StateFrm());
899 128 : return t;
900 : }
901 :
902 : // StatePlus
903 : inline
904 128 : const atermpp::aterm_appl& default_value_StatePlus()
905 : {
906 128 : static const atermpp::aterm_appl t = atermpp::aterm_appl(function_symbol_StatePlus(), default_value_StateFrm(), default_value_StateFrm());
907 128 : return t;
908 : }
909 :
910 : // StateConstantMultiply
911 : inline
912 128 : const atermpp::aterm_appl& default_value_StateConstantMultiply()
913 : {
914 128 : static const atermpp::aterm_appl t = atermpp::aterm_appl(function_symbol_StateConstantMultiply(), default_value_DataExpr(), default_value_StateFrm());
915 128 : return t;
916 : }
917 :
918 : // StateConstantMultiplyAlt
919 : inline
920 128 : const atermpp::aterm_appl& default_value_StateConstantMultiplyAlt()
921 : {
922 128 : static const atermpp::aterm_appl t = atermpp::aterm_appl(function_symbol_StateConstantMultiplyAlt(), default_value_StateFrm(), default_value_DataExpr());
923 128 : return t;
924 : }
925 :
926 : // StateForall
927 : inline
928 128 : const atermpp::aterm_appl& default_value_StateForall()
929 : {
930 128 : static const atermpp::aterm_appl t = atermpp::aterm_appl(function_symbol_StateForall(), default_value_List(default_value_DataVarId()), default_value_StateFrm());
931 128 : return t;
932 : }
933 :
934 : // StateExists
935 : inline
936 128 : const atermpp::aterm_appl& default_value_StateExists()
937 : {
938 128 : static const atermpp::aterm_appl t = atermpp::aterm_appl(function_symbol_StateExists(), default_value_List(default_value_DataVarId()), default_value_StateFrm());
939 128 : return t;
940 : }
941 :
942 : // StateInfimum
943 : inline
944 128 : const atermpp::aterm_appl& default_value_StateInfimum()
945 : {
946 128 : static const atermpp::aterm_appl t = atermpp::aterm_appl(function_symbol_StateInfimum(), default_value_List(default_value_DataVarId()), default_value_StateFrm());
947 128 : return t;
948 : }
949 :
950 : // StateSupremum
951 : inline
952 128 : const atermpp::aterm_appl& default_value_StateSupremum()
953 : {
954 128 : static const atermpp::aterm_appl t = atermpp::aterm_appl(function_symbol_StateSupremum(), default_value_List(default_value_DataVarId()), default_value_StateFrm());
955 128 : return t;
956 : }
957 :
958 : // StateSum
959 : inline
960 128 : const atermpp::aterm_appl& default_value_StateSum()
961 : {
962 128 : static const atermpp::aterm_appl t = atermpp::aterm_appl(function_symbol_StateSum(), default_value_List(default_value_DataVarId()), default_value_StateFrm());
963 128 : return t;
964 : }
965 :
966 : // StateMust
967 : inline
968 128 : const atermpp::aterm_appl& default_value_StateMust()
969 : {
970 128 : static const atermpp::aterm_appl t = atermpp::aterm_appl(function_symbol_StateMust(), default_value_RegFrm(), default_value_StateFrm());
971 128 : return t;
972 : }
973 :
974 : // StateMay
975 : inline
976 128 : const atermpp::aterm_appl& default_value_StateMay()
977 : {
978 128 : static const atermpp::aterm_appl t = atermpp::aterm_appl(function_symbol_StateMay(), default_value_RegFrm(), default_value_StateFrm());
979 128 : return t;
980 : }
981 :
982 : // StateYaled
983 : inline
984 128 : const atermpp::aterm_appl& default_value_StateYaled()
985 : {
986 128 : static const atermpp::aterm_appl t = atermpp::aterm_appl(function_symbol_StateYaled());
987 128 : return t;
988 : }
989 :
990 : // StateYaledTimed
991 : inline
992 128 : const atermpp::aterm_appl& default_value_StateYaledTimed()
993 : {
994 128 : static const atermpp::aterm_appl t = atermpp::aterm_appl(function_symbol_StateYaledTimed(), default_value_DataExpr());
995 128 : return t;
996 : }
997 :
998 : // StateDelay
999 : inline
1000 128 : const atermpp::aterm_appl& default_value_StateDelay()
1001 : {
1002 128 : static const atermpp::aterm_appl t = atermpp::aterm_appl(function_symbol_StateDelay());
1003 128 : return t;
1004 : }
1005 :
1006 : // StateDelayTimed
1007 : inline
1008 128 : const atermpp::aterm_appl& default_value_StateDelayTimed()
1009 : {
1010 128 : static const atermpp::aterm_appl t = atermpp::aterm_appl(function_symbol_StateDelayTimed(), default_value_DataExpr());
1011 128 : return t;
1012 : }
1013 :
1014 : // StateVar
1015 : inline
1016 128 : const atermpp::aterm_appl& default_value_StateVar()
1017 : {
1018 128 : static const atermpp::aterm_appl t = atermpp::aterm_appl(function_symbol_StateVar(), default_value_String(), default_value_List());
1019 128 : return t;
1020 : }
1021 :
1022 : // StateNu
1023 : inline
1024 128 : const atermpp::aterm_appl& default_value_StateNu()
1025 : {
1026 128 : static const atermpp::aterm_appl t = atermpp::aterm_appl(function_symbol_StateNu(), default_value_String(), default_value_List(), default_value_StateFrm());
1027 128 : return t;
1028 : }
1029 :
1030 : // StateMu
1031 : inline
1032 128 : const atermpp::aterm_appl& default_value_StateMu()
1033 : {
1034 128 : static const atermpp::aterm_appl t = atermpp::aterm_appl(function_symbol_StateMu(), default_value_String(), default_value_List(), default_value_StateFrm());
1035 128 : return t;
1036 : }
1037 :
1038 : // RegNil
1039 : inline
1040 128 : const atermpp::aterm_appl& default_value_RegNil()
1041 : {
1042 128 : static const atermpp::aterm_appl t = atermpp::aterm_appl(function_symbol_RegNil());
1043 128 : return t;
1044 : }
1045 :
1046 : // RegSeq
1047 : inline
1048 128 : const atermpp::aterm_appl& default_value_RegSeq()
1049 : {
1050 128 : static const atermpp::aterm_appl t = atermpp::aterm_appl(function_symbol_RegSeq(), default_value_RegFrm(), default_value_RegFrm());
1051 128 : return t;
1052 : }
1053 :
1054 : // RegAlt
1055 : inline
1056 128 : const atermpp::aterm_appl& default_value_RegAlt()
1057 : {
1058 128 : static const atermpp::aterm_appl t = atermpp::aterm_appl(function_symbol_RegAlt(), default_value_RegFrm(), default_value_RegFrm());
1059 128 : return t;
1060 : }
1061 :
1062 : // RegTrans
1063 : inline
1064 128 : const atermpp::aterm_appl& default_value_RegTrans()
1065 : {
1066 128 : static const atermpp::aterm_appl t = atermpp::aterm_appl(function_symbol_RegTrans(), default_value_RegFrm());
1067 128 : return t;
1068 : }
1069 :
1070 : // RegTransOrNil
1071 : inline
1072 128 : const atermpp::aterm_appl& default_value_RegTransOrNil()
1073 : {
1074 128 : static const atermpp::aterm_appl t = atermpp::aterm_appl(function_symbol_RegTransOrNil(), default_value_RegFrm());
1075 128 : return t;
1076 : }
1077 :
1078 : // UntypedRegFrm
1079 : inline
1080 128 : const atermpp::aterm_appl& default_value_UntypedRegFrm()
1081 : {
1082 128 : static const atermpp::aterm_appl t = atermpp::aterm_appl(function_symbol_UntypedRegFrm(), default_value_String(), default_value_RegFrm(), default_value_RegFrm());
1083 128 : return t;
1084 : }
1085 :
1086 : // ActTrue
1087 : inline
1088 128 : const atermpp::aterm_appl& default_value_ActTrue()
1089 : {
1090 128 : static const atermpp::aterm_appl t = atermpp::aterm_appl(function_symbol_ActTrue());
1091 128 : return t;
1092 : }
1093 :
1094 : // ActFalse
1095 : inline
1096 128 : const atermpp::aterm_appl& default_value_ActFalse()
1097 : {
1098 128 : static const atermpp::aterm_appl t = atermpp::aterm_appl(function_symbol_ActFalse());
1099 128 : return t;
1100 : }
1101 :
1102 : // ActNot
1103 : inline
1104 128 : const atermpp::aterm_appl& default_value_ActNot()
1105 : {
1106 128 : static const atermpp::aterm_appl t = atermpp::aterm_appl(function_symbol_ActNot(), default_value_ActFrm());
1107 128 : return t;
1108 : }
1109 :
1110 : // ActAnd
1111 : inline
1112 128 : const atermpp::aterm_appl& default_value_ActAnd()
1113 : {
1114 128 : static const atermpp::aterm_appl t = atermpp::aterm_appl(function_symbol_ActAnd(), default_value_ActFrm(), default_value_ActFrm());
1115 128 : return t;
1116 : }
1117 :
1118 : // ActOr
1119 : inline
1120 128 : const atermpp::aterm_appl& default_value_ActOr()
1121 : {
1122 128 : static const atermpp::aterm_appl t = atermpp::aterm_appl(function_symbol_ActOr(), default_value_ActFrm(), default_value_ActFrm());
1123 128 : return t;
1124 : }
1125 :
1126 : // ActImp
1127 : inline
1128 128 : const atermpp::aterm_appl& default_value_ActImp()
1129 : {
1130 128 : static const atermpp::aterm_appl t = atermpp::aterm_appl(function_symbol_ActImp(), default_value_ActFrm(), default_value_ActFrm());
1131 128 : return t;
1132 : }
1133 :
1134 : // ActForall
1135 : inline
1136 128 : const atermpp::aterm_appl& default_value_ActForall()
1137 : {
1138 128 : static const atermpp::aterm_appl t = atermpp::aterm_appl(function_symbol_ActForall(), default_value_List(default_value_DataVarId()), default_value_ActFrm());
1139 128 : return t;
1140 : }
1141 :
1142 : // ActExists
1143 : inline
1144 128 : const atermpp::aterm_appl& default_value_ActExists()
1145 : {
1146 128 : static const atermpp::aterm_appl t = atermpp::aterm_appl(function_symbol_ActExists(), default_value_List(default_value_DataVarId()), default_value_ActFrm());
1147 128 : return t;
1148 : }
1149 :
1150 : // ActAt
1151 : inline
1152 128 : const atermpp::aterm_appl& default_value_ActAt()
1153 : {
1154 128 : static const atermpp::aterm_appl t = atermpp::aterm_appl(function_symbol_ActAt(), default_value_ActFrm(), default_value_DataExpr());
1155 128 : return t;
1156 : }
1157 :
1158 : // ActMultAct
1159 : inline
1160 128 : const atermpp::aterm_appl& default_value_ActMultAct()
1161 : {
1162 128 : static const atermpp::aterm_appl t = atermpp::aterm_appl(function_symbol_ActMultAct(), default_value_List());
1163 128 : return t;
1164 : }
1165 :
1166 : // ActionRenameRules
1167 : inline
1168 256 : const atermpp::aterm_appl& default_value_ActionRenameRules()
1169 : {
1170 256 : static const atermpp::aterm_appl t = atermpp::aterm_appl(function_symbol_ActionRenameRules(), default_value_List());
1171 256 : return t;
1172 : }
1173 :
1174 : // ActionRenameRule
1175 : inline
1176 128 : const atermpp::aterm_appl& default_value_ActionRenameRule()
1177 : {
1178 128 : static const atermpp::aterm_appl t = atermpp::aterm_appl(function_symbol_ActionRenameRule(), default_value_List(), default_value_DataExpr(), default_value_ParamIdOrAction(), default_value_ActionRenameRuleRHS());
1179 128 : return t;
1180 : }
1181 :
1182 : // ActionRenameSpec
1183 : inline
1184 128 : const atermpp::aterm_appl& default_value_ActionRenameSpec()
1185 : {
1186 128 : static const atermpp::aterm_appl t = atermpp::aterm_appl(function_symbol_ActionRenameSpec(), default_value_DataSpec(), default_value_ActSpec(), default_value_ActionRenameRules());
1187 128 : return t;
1188 : }
1189 :
1190 : // PBES
1191 : inline
1192 128 : const atermpp::aterm_appl& default_value_PBES()
1193 : {
1194 128 : static const atermpp::aterm_appl t = atermpp::aterm_appl(function_symbol_PBES(), default_value_DataSpec(), default_value_GlobVarSpec(), default_value_PBEqnSpec(), default_value_PBInit());
1195 128 : return t;
1196 : }
1197 :
1198 : // PBEqnSpec
1199 : inline
1200 256 : const atermpp::aterm_appl& default_value_PBEqnSpec()
1201 : {
1202 256 : static const atermpp::aterm_appl t = atermpp::aterm_appl(function_symbol_PBEqnSpec(), default_value_List());
1203 256 : return t;
1204 : }
1205 :
1206 : // PBInit
1207 : inline
1208 256 : const atermpp::aterm_appl& default_value_PBInit()
1209 : {
1210 256 : static const atermpp::aterm_appl t = atermpp::aterm_appl(function_symbol_PBInit(), default_value_PropVarInst());
1211 256 : return t;
1212 : }
1213 :
1214 : // PBEqn
1215 : inline
1216 128 : const atermpp::aterm_appl& default_value_PBEqn()
1217 : {
1218 128 : static const atermpp::aterm_appl t = atermpp::aterm_appl(function_symbol_PBEqn(), default_value_FixPoint(), default_value_PropVarDecl(), default_value_PBExpr());
1219 128 : return t;
1220 : }
1221 :
1222 : // Mu
1223 : inline
1224 512 : const atermpp::aterm_appl& default_value_Mu()
1225 : {
1226 512 : static const atermpp::aterm_appl t = atermpp::aterm_appl(function_symbol_Mu());
1227 512 : return t;
1228 : }
1229 :
1230 : // Nu
1231 : inline
1232 128 : const atermpp::aterm_appl& default_value_Nu()
1233 : {
1234 128 : static const atermpp::aterm_appl t = atermpp::aterm_appl(function_symbol_Nu());
1235 128 : return t;
1236 : }
1237 :
1238 : // PropVarDecl
1239 : inline
1240 384 : const atermpp::aterm_appl& default_value_PropVarDecl()
1241 : {
1242 384 : static const atermpp::aterm_appl t = atermpp::aterm_appl(function_symbol_PropVarDecl(), default_value_String(), default_value_List());
1243 384 : return t;
1244 : }
1245 :
1246 : // PBESTrue
1247 : inline
1248 128 : const atermpp::aterm_appl& default_value_PBESTrue()
1249 : {
1250 128 : static const atermpp::aterm_appl t = atermpp::aterm_appl(function_symbol_PBESTrue());
1251 128 : return t;
1252 : }
1253 :
1254 : // PBESFalse
1255 : inline
1256 128 : const atermpp::aterm_appl& default_value_PBESFalse()
1257 : {
1258 128 : static const atermpp::aterm_appl t = atermpp::aterm_appl(function_symbol_PBESFalse());
1259 128 : return t;
1260 : }
1261 :
1262 : // PBESNot
1263 : inline
1264 128 : const atermpp::aterm_appl& default_value_PBESNot()
1265 : {
1266 128 : static const atermpp::aterm_appl t = atermpp::aterm_appl(function_symbol_PBESNot(), default_value_PBExpr());
1267 128 : return t;
1268 : }
1269 :
1270 : // PBESAnd
1271 : inline
1272 128 : const atermpp::aterm_appl& default_value_PBESAnd()
1273 : {
1274 128 : static const atermpp::aterm_appl t = atermpp::aterm_appl(function_symbol_PBESAnd(), default_value_PBExpr(), default_value_PBExpr());
1275 128 : return t;
1276 : }
1277 :
1278 : // PBESOr
1279 : inline
1280 128 : const atermpp::aterm_appl& default_value_PBESOr()
1281 : {
1282 128 : static const atermpp::aterm_appl t = atermpp::aterm_appl(function_symbol_PBESOr(), default_value_PBExpr(), default_value_PBExpr());
1283 128 : return t;
1284 : }
1285 :
1286 : // PBESImp
1287 : inline
1288 128 : const atermpp::aterm_appl& default_value_PBESImp()
1289 : {
1290 128 : static const atermpp::aterm_appl t = atermpp::aterm_appl(function_symbol_PBESImp(), default_value_PBExpr(), default_value_PBExpr());
1291 128 : return t;
1292 : }
1293 :
1294 : // PBESForall
1295 : inline
1296 128 : const atermpp::aterm_appl& default_value_PBESForall()
1297 : {
1298 128 : static const atermpp::aterm_appl t = atermpp::aterm_appl(function_symbol_PBESForall(), default_value_List(default_value_DataVarId()), default_value_PBExpr());
1299 128 : return t;
1300 : }
1301 :
1302 : // PBESExists
1303 : inline
1304 128 : const atermpp::aterm_appl& default_value_PBESExists()
1305 : {
1306 128 : static const atermpp::aterm_appl t = atermpp::aterm_appl(function_symbol_PBESExists(), default_value_List(default_value_DataVarId()), default_value_PBExpr());
1307 128 : return t;
1308 : }
1309 :
1310 : // PropVarInst
1311 : inline
1312 384 : const atermpp::aterm_appl& default_value_PropVarInst()
1313 : {
1314 384 : static const atermpp::aterm_appl t = atermpp::aterm_appl(function_symbol_PropVarInst(), default_value_String(), default_value_List());
1315 384 : return t;
1316 : }
1317 :
1318 : // PRES
1319 : inline
1320 128 : const atermpp::aterm_appl& default_value_PRES()
1321 : {
1322 128 : static const atermpp::aterm_appl t = atermpp::aterm_appl(function_symbol_PRES(), default_value_DataSpec(), default_value_GlobVarSpec(), default_value_PREqnSpec(), default_value_PRInit());
1323 128 : return t;
1324 : }
1325 :
1326 : // PREqnSpec
1327 : inline
1328 256 : const atermpp::aterm_appl& default_value_PREqnSpec()
1329 : {
1330 256 : static const atermpp::aterm_appl t = atermpp::aterm_appl(function_symbol_PREqnSpec(), default_value_List());
1331 256 : return t;
1332 : }
1333 :
1334 : // PRInit
1335 : inline
1336 256 : const atermpp::aterm_appl& default_value_PRInit()
1337 : {
1338 256 : static const atermpp::aterm_appl t = atermpp::aterm_appl(function_symbol_PRInit(), default_value_PropVarInst());
1339 256 : return t;
1340 : }
1341 :
1342 : // PREqn
1343 : inline
1344 128 : const atermpp::aterm_appl& default_value_PREqn()
1345 : {
1346 128 : static const atermpp::aterm_appl t = atermpp::aterm_appl(function_symbol_PREqn(), default_value_FixPoint(), default_value_PropVarDecl(), default_value_PRExpr());
1347 128 : return t;
1348 : }
1349 :
1350 : // PRESTrue
1351 : inline
1352 128 : const atermpp::aterm_appl& default_value_PRESTrue()
1353 : {
1354 128 : static const atermpp::aterm_appl t = atermpp::aterm_appl(function_symbol_PRESTrue());
1355 128 : return t;
1356 : }
1357 :
1358 : // PRESFalse
1359 : inline
1360 128 : const atermpp::aterm_appl& default_value_PRESFalse()
1361 : {
1362 128 : static const atermpp::aterm_appl t = atermpp::aterm_appl(function_symbol_PRESFalse());
1363 128 : return t;
1364 : }
1365 :
1366 : // PRESMinus
1367 : inline
1368 128 : const atermpp::aterm_appl& default_value_PRESMinus()
1369 : {
1370 128 : static const atermpp::aterm_appl t = atermpp::aterm_appl(function_symbol_PRESMinus(), default_value_PRExpr());
1371 128 : return t;
1372 : }
1373 :
1374 : // PRESAnd
1375 : inline
1376 128 : const atermpp::aterm_appl& default_value_PRESAnd()
1377 : {
1378 128 : static const atermpp::aterm_appl t = atermpp::aterm_appl(function_symbol_PRESAnd(), default_value_PRExpr(), default_value_PRExpr());
1379 128 : return t;
1380 : }
1381 :
1382 : // PRESOr
1383 : inline
1384 128 : const atermpp::aterm_appl& default_value_PRESOr()
1385 : {
1386 128 : static const atermpp::aterm_appl t = atermpp::aterm_appl(function_symbol_PRESOr(), default_value_PRExpr(), default_value_PRExpr());
1387 128 : return t;
1388 : }
1389 :
1390 : // PRESImp
1391 : inline
1392 128 : const atermpp::aterm_appl& default_value_PRESImp()
1393 : {
1394 128 : static const atermpp::aterm_appl t = atermpp::aterm_appl(function_symbol_PRESImp(), default_value_PRExpr(), default_value_PRExpr());
1395 128 : return t;
1396 : }
1397 :
1398 : // PRESPlus
1399 : inline
1400 128 : const atermpp::aterm_appl& default_value_PRESPlus()
1401 : {
1402 128 : static const atermpp::aterm_appl t = atermpp::aterm_appl(function_symbol_PRESPlus(), default_value_PRExpr(), default_value_PRExpr());
1403 128 : return t;
1404 : }
1405 :
1406 : // PRESConstantMultiply
1407 : inline
1408 128 : const atermpp::aterm_appl& default_value_PRESConstantMultiply()
1409 : {
1410 128 : static const atermpp::aterm_appl t = atermpp::aterm_appl(function_symbol_PRESConstantMultiply(), default_value_DataExpr(), default_value_PRExpr());
1411 128 : return t;
1412 : }
1413 :
1414 : // PRESConstantMultiplyAlt
1415 : inline
1416 128 : const atermpp::aterm_appl& default_value_PRESConstantMultiplyAlt()
1417 : {
1418 128 : static const atermpp::aterm_appl t = atermpp::aterm_appl(function_symbol_PRESConstantMultiplyAlt(), default_value_PRExpr(), default_value_DataExpr());
1419 128 : return t;
1420 : }
1421 :
1422 : // PRESInfimum
1423 : inline
1424 128 : const atermpp::aterm_appl& default_value_PRESInfimum()
1425 : {
1426 128 : static const atermpp::aterm_appl t = atermpp::aterm_appl(function_symbol_PRESInfimum(), default_value_List(default_value_DataVarId()), default_value_PRExpr());
1427 128 : return t;
1428 : }
1429 :
1430 : // PRESSupremum
1431 : inline
1432 128 : const atermpp::aterm_appl& default_value_PRESSupremum()
1433 : {
1434 128 : static const atermpp::aterm_appl t = atermpp::aterm_appl(function_symbol_PRESSupremum(), default_value_List(default_value_DataVarId()), default_value_PRExpr());
1435 128 : return t;
1436 : }
1437 :
1438 : // PRESSum
1439 : inline
1440 128 : const atermpp::aterm_appl& default_value_PRESSum()
1441 : {
1442 128 : static const atermpp::aterm_appl t = atermpp::aterm_appl(function_symbol_PRESSum(), default_value_List(default_value_DataVarId()), default_value_PRExpr());
1443 128 : return t;
1444 : }
1445 :
1446 : // PRESEqInf
1447 : inline
1448 128 : const atermpp::aterm_appl& default_value_PRESEqInf()
1449 : {
1450 128 : static const atermpp::aterm_appl t = atermpp::aterm_appl(function_symbol_PRESEqInf(), default_value_PRExpr());
1451 128 : return t;
1452 : }
1453 :
1454 : // PRESEqNInf
1455 : inline
1456 128 : const atermpp::aterm_appl& default_value_PRESEqNInf()
1457 : {
1458 128 : static const atermpp::aterm_appl t = atermpp::aterm_appl(function_symbol_PRESEqNInf(), default_value_PRExpr());
1459 128 : return t;
1460 : }
1461 :
1462 : // PRESCondSm
1463 : inline
1464 128 : const atermpp::aterm_appl& default_value_PRESCondSm()
1465 : {
1466 128 : static const atermpp::aterm_appl t = atermpp::aterm_appl(function_symbol_PRESCondSm(), default_value_PRExpr(), default_value_PRExpr(), default_value_PRExpr());
1467 128 : return t;
1468 : }
1469 :
1470 : // PRESCondEq
1471 : inline
1472 128 : const atermpp::aterm_appl& default_value_PRESCondEq()
1473 : {
1474 128 : static const atermpp::aterm_appl t = atermpp::aterm_appl(function_symbol_PRESCondEq(), default_value_PRExpr(), default_value_PRExpr(), default_value_PRExpr());
1475 128 : return t;
1476 : }
1477 :
1478 : // SortExpr
1479 : inline
1480 1152 : const atermpp::aterm_appl& default_value_SortExpr()
1481 : {
1482 1152 : return default_value_SortId();
1483 : }
1484 :
1485 : // SortConsType
1486 : inline
1487 256 : const atermpp::aterm_appl& default_value_SortConsType()
1488 : {
1489 256 : return default_value_SortList();
1490 : }
1491 :
1492 : // DataExpr
1493 : inline
1494 13184 : const atermpp::aterm_appl& default_value_DataExpr()
1495 : {
1496 13184 : return default_value_DataVarId();
1497 : }
1498 :
1499 : // BindingOperator
1500 : inline
1501 256 : const atermpp::aterm_appl& default_value_BindingOperator()
1502 : {
1503 256 : return default_value_Forall();
1504 : }
1505 :
1506 : // WhrDecl
1507 : inline
1508 256 : const atermpp::aterm_appl& default_value_WhrDecl()
1509 : {
1510 256 : return default_value_DataVarIdInit();
1511 : }
1512 :
1513 : // SortDecl
1514 : inline
1515 128 : const atermpp::aterm_appl& default_value_SortDecl()
1516 : {
1517 128 : return default_value_SortId();
1518 : }
1519 :
1520 : // ProcExpr
1521 : inline
1522 3328 : const atermpp::aterm_appl& default_value_ProcExpr()
1523 : {
1524 3328 : return default_value_Action();
1525 : }
1526 :
1527 : // MultActOrDelta
1528 : inline
1529 256 : const atermpp::aterm_appl& default_value_MultActOrDelta()
1530 : {
1531 256 : return default_value_MultAct();
1532 : }
1533 :
1534 : // ProcInit
1535 : inline
1536 256 : const atermpp::aterm_appl& default_value_ProcInit()
1537 : {
1538 256 : return default_value_ProcessInit();
1539 : }
1540 :
1541 : // StateFrm
1542 : inline
1543 2816 : const atermpp::aterm_appl& default_value_StateFrm()
1544 : {
1545 2816 : return default_value_DataExpr();
1546 : }
1547 :
1548 : // RegFrm
1549 : inline
1550 1408 : const atermpp::aterm_appl& default_value_RegFrm()
1551 : {
1552 1408 : return default_value_ActFrm();
1553 : }
1554 :
1555 : // ActFrm
1556 : inline
1557 2816 : const atermpp::aterm_appl& default_value_ActFrm()
1558 : {
1559 2816 : return default_value_DataExpr();
1560 : }
1561 :
1562 : // ParamIdOrAction
1563 : inline
1564 256 : const atermpp::aterm_appl& default_value_ParamIdOrAction()
1565 : {
1566 256 : return default_value_UntypedDataParameter();
1567 : }
1568 :
1569 : // ActionRenameRuleRHS
1570 : inline
1571 256 : const atermpp::aterm_appl& default_value_ActionRenameRuleRHS()
1572 : {
1573 256 : return default_value_UntypedDataParameter();
1574 : }
1575 :
1576 : // FixPoint
1577 : inline
1578 384 : const atermpp::aterm_appl& default_value_FixPoint()
1579 : {
1580 384 : return default_value_Mu();
1581 : }
1582 :
1583 : // PBExpr
1584 : inline
1585 1408 : const atermpp::aterm_appl& default_value_PBExpr()
1586 : {
1587 1408 : return default_value_DataExpr();
1588 : }
1589 :
1590 : // PRExpr
1591 : inline
1592 3072 : const atermpp::aterm_appl& default_value_PRExpr()
1593 : {
1594 3072 : return default_value_DataExpr();
1595 : }
1596 : //--- end generated constructors ---//
1597 :
1598 : //----------------------------------------------------------------------------------------------//
1599 : // Part 2: static variables containing default values.
1600 : //----------------------------------------------------------------------------------------------//
1601 :
1602 : struct default_values
1603 : {
1604 : //--- start generated variables ---//
1605 : static const atermpp::aterm_appl SortCons;
1606 : static const atermpp::aterm_appl SortStruct;
1607 : static const atermpp::aterm_appl SortArrow;
1608 : static const atermpp::aterm_appl UntypedSortUnknown;
1609 : static const atermpp::aterm_appl UntypedSortsPossible;
1610 : static const atermpp::aterm_appl UntypedSortVariable;
1611 : static const atermpp::aterm_appl SortId;
1612 : static const atermpp::aterm_appl SortList;
1613 : static const atermpp::aterm_appl SortSet;
1614 : static const atermpp::aterm_appl SortBag;
1615 : static const atermpp::aterm_appl SortFSet;
1616 : static const atermpp::aterm_appl SortFBag;
1617 : static const atermpp::aterm_appl StructCons;
1618 : static const atermpp::aterm_appl StructProj;
1619 : static const atermpp::aterm_appl Binder;
1620 : static const atermpp::aterm_appl Whr;
1621 : static const atermpp::aterm_appl UntypedIdentifier;
1622 : static const atermpp::aterm_appl DataVarId;
1623 : static const atermpp::aterm_appl OpId;
1624 : static const atermpp::aterm_appl UntypedDataParameter;
1625 : static const atermpp::aterm_appl Forall;
1626 : static const atermpp::aterm_appl Exists;
1627 : static const atermpp::aterm_appl SetComp;
1628 : static const atermpp::aterm_appl BagComp;
1629 : static const atermpp::aterm_appl Lambda;
1630 : static const atermpp::aterm_appl UntypedSetBagComp;
1631 : static const atermpp::aterm_appl DataVarIdInit;
1632 : static const atermpp::aterm_appl UntypedIdentifierAssignment;
1633 : static const atermpp::aterm_appl DataSpec;
1634 : static const atermpp::aterm_appl SortSpec;
1635 : static const atermpp::aterm_appl ConsSpec;
1636 : static const atermpp::aterm_appl MapSpec;
1637 : static const atermpp::aterm_appl DataEqnSpec;
1638 : static const atermpp::aterm_appl SortRef;
1639 : static const atermpp::aterm_appl DataEqn;
1640 : static const atermpp::aterm_appl MultAct;
1641 : static const atermpp::aterm_appl TimedMultAct;
1642 : static const atermpp::aterm_appl UntypedMultiAction;
1643 : static const atermpp::aterm_appl Action;
1644 : static const atermpp::aterm_appl ActId;
1645 : static const atermpp::aterm_appl Process;
1646 : static const atermpp::aterm_appl ProcessAssignment;
1647 : static const atermpp::aterm_appl Delta;
1648 : static const atermpp::aterm_appl Tau;
1649 : static const atermpp::aterm_appl Sum;
1650 : static const atermpp::aterm_appl Block;
1651 : static const atermpp::aterm_appl Hide;
1652 : static const atermpp::aterm_appl Rename;
1653 : static const atermpp::aterm_appl Comm;
1654 : static const atermpp::aterm_appl Allow;
1655 : static const atermpp::aterm_appl Sync;
1656 : static const atermpp::aterm_appl AtTime;
1657 : static const atermpp::aterm_appl Seq;
1658 : static const atermpp::aterm_appl IfThen;
1659 : static const atermpp::aterm_appl IfThenElse;
1660 : static const atermpp::aterm_appl BInit;
1661 : static const atermpp::aterm_appl Merge;
1662 : static const atermpp::aterm_appl LMerge;
1663 : static const atermpp::aterm_appl Choice;
1664 : static const atermpp::aterm_appl StochasticOperator;
1665 : static const atermpp::aterm_appl UntypedProcessAssignment;
1666 : static const atermpp::aterm_appl ProcVarId;
1667 : static const atermpp::aterm_appl MultActName;
1668 : static const atermpp::aterm_appl RenameExpr;
1669 : static const atermpp::aterm_appl CommExpr;
1670 : static const atermpp::aterm_appl ProcSpec;
1671 : static const atermpp::aterm_appl ActSpec;
1672 : static const atermpp::aterm_appl GlobVarSpec;
1673 : static const atermpp::aterm_appl ProcEqnSpec;
1674 : static const atermpp::aterm_appl ProcEqn;
1675 : static const atermpp::aterm_appl ProcessInit;
1676 : static const atermpp::aterm_appl Distribution;
1677 : static const atermpp::aterm_appl LinProcSpec;
1678 : static const atermpp::aterm_appl LinearProcess;
1679 : static const atermpp::aterm_appl LinearProcessSummand;
1680 : static const atermpp::aterm_appl LinearProcessInit;
1681 : static const atermpp::aterm_appl StateTrue;
1682 : static const atermpp::aterm_appl StateFalse;
1683 : static const atermpp::aterm_appl StateNot;
1684 : static const atermpp::aterm_appl StateMinus;
1685 : static const atermpp::aterm_appl StateAnd;
1686 : static const atermpp::aterm_appl StateOr;
1687 : static const atermpp::aterm_appl StateImp;
1688 : static const atermpp::aterm_appl StatePlus;
1689 : static const atermpp::aterm_appl StateConstantMultiply;
1690 : static const atermpp::aterm_appl StateConstantMultiplyAlt;
1691 : static const atermpp::aterm_appl StateForall;
1692 : static const atermpp::aterm_appl StateExists;
1693 : static const atermpp::aterm_appl StateInfimum;
1694 : static const atermpp::aterm_appl StateSupremum;
1695 : static const atermpp::aterm_appl StateSum;
1696 : static const atermpp::aterm_appl StateMust;
1697 : static const atermpp::aterm_appl StateMay;
1698 : static const atermpp::aterm_appl StateYaled;
1699 : static const atermpp::aterm_appl StateYaledTimed;
1700 : static const atermpp::aterm_appl StateDelay;
1701 : static const atermpp::aterm_appl StateDelayTimed;
1702 : static const atermpp::aterm_appl StateVar;
1703 : static const atermpp::aterm_appl StateNu;
1704 : static const atermpp::aterm_appl StateMu;
1705 : static const atermpp::aterm_appl RegNil;
1706 : static const atermpp::aterm_appl RegSeq;
1707 : static const atermpp::aterm_appl RegAlt;
1708 : static const atermpp::aterm_appl RegTrans;
1709 : static const atermpp::aterm_appl RegTransOrNil;
1710 : static const atermpp::aterm_appl UntypedRegFrm;
1711 : static const atermpp::aterm_appl ActTrue;
1712 : static const atermpp::aterm_appl ActFalse;
1713 : static const atermpp::aterm_appl ActNot;
1714 : static const atermpp::aterm_appl ActAnd;
1715 : static const atermpp::aterm_appl ActOr;
1716 : static const atermpp::aterm_appl ActImp;
1717 : static const atermpp::aterm_appl ActForall;
1718 : static const atermpp::aterm_appl ActExists;
1719 : static const atermpp::aterm_appl ActAt;
1720 : static const atermpp::aterm_appl ActMultAct;
1721 : static const atermpp::aterm_appl ActionRenameRules;
1722 : static const atermpp::aterm_appl ActionRenameRule;
1723 : static const atermpp::aterm_appl ActionRenameSpec;
1724 : static const atermpp::aterm_appl PBES;
1725 : static const atermpp::aterm_appl PBEqnSpec;
1726 : static const atermpp::aterm_appl PBInit;
1727 : static const atermpp::aterm_appl PBEqn;
1728 : static const atermpp::aterm_appl Mu;
1729 : static const atermpp::aterm_appl Nu;
1730 : static const atermpp::aterm_appl PropVarDecl;
1731 : static const atermpp::aterm_appl PBESTrue;
1732 : static const atermpp::aterm_appl PBESFalse;
1733 : static const atermpp::aterm_appl PBESNot;
1734 : static const atermpp::aterm_appl PBESAnd;
1735 : static const atermpp::aterm_appl PBESOr;
1736 : static const atermpp::aterm_appl PBESImp;
1737 : static const atermpp::aterm_appl PBESForall;
1738 : static const atermpp::aterm_appl PBESExists;
1739 : static const atermpp::aterm_appl PropVarInst;
1740 : static const atermpp::aterm_appl PRES;
1741 : static const atermpp::aterm_appl PREqnSpec;
1742 : static const atermpp::aterm_appl PRInit;
1743 : static const atermpp::aterm_appl PREqn;
1744 : static const atermpp::aterm_appl PRESTrue;
1745 : static const atermpp::aterm_appl PRESFalse;
1746 : static const atermpp::aterm_appl PRESMinus;
1747 : static const atermpp::aterm_appl PRESAnd;
1748 : static const atermpp::aterm_appl PRESOr;
1749 : static const atermpp::aterm_appl PRESImp;
1750 : static const atermpp::aterm_appl PRESPlus;
1751 : static const atermpp::aterm_appl PRESConstantMultiply;
1752 : static const atermpp::aterm_appl PRESConstantMultiplyAlt;
1753 : static const atermpp::aterm_appl PRESInfimum;
1754 : static const atermpp::aterm_appl PRESSupremum;
1755 : static const atermpp::aterm_appl PRESSum;
1756 : static const atermpp::aterm_appl PRESEqInf;
1757 : static const atermpp::aterm_appl PRESEqNInf;
1758 : static const atermpp::aterm_appl PRESCondSm;
1759 : static const atermpp::aterm_appl PRESCondEq;
1760 : static const atermpp::aterm_appl SortExpr;
1761 : static const atermpp::aterm_appl SortConsType;
1762 : static const atermpp::aterm_appl DataExpr;
1763 : static const atermpp::aterm_appl BindingOperator;
1764 : static const atermpp::aterm_appl WhrDecl;
1765 : static const atermpp::aterm_appl SortDecl;
1766 : static const atermpp::aterm_appl ProcExpr;
1767 : static const atermpp::aterm_appl MultActOrDelta;
1768 : static const atermpp::aterm_appl ProcInit;
1769 : static const atermpp::aterm_appl StateFrm;
1770 : static const atermpp::aterm_appl RegFrm;
1771 : static const atermpp::aterm_appl ActFrm;
1772 : static const atermpp::aterm_appl ParamIdOrAction;
1773 : static const atermpp::aterm_appl ActionRenameRuleRHS;
1774 : static const atermpp::aterm_appl FixPoint;
1775 : static const atermpp::aterm_appl PBExpr;
1776 : static const atermpp::aterm_appl PRExpr;
1777 : //--- end generated variables ---//
1778 : };
1779 :
1780 : } // namespace detail
1781 :
1782 : } // namespace core
1783 :
1784 : } // namespace mcrl2
1785 :
1786 : #endif // MCRL2_CORE_DETAIL_DEFAULT_VALUES_H
|