mCRL2
Loading...
Searching...
No Matches
function_symbols.h
Go to the documentation of this file.
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//
11
12#ifndef MCRL2_CORE_DETAIL_FUNCTION_SYMBOLS_H
13#define MCRL2_CORE_DETAIL_FUNCTION_SYMBOLS_H
14
17
18namespace mcrl2 {
19
20namespace core {
21
22namespace 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
29constexpr std::size_t DataApplFixed = 100;
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.
37extern std::vector<std::unique_ptr<atermpp::function_symbol>> function_symbols_DataAppl;
38
39inline
41{
42 static std::mutex mutex;
43
44 // Since it is larger than DataApplFixed we can ignore the start indices.
45 i -= DataApplFixed;
46 mutex.lock();
47 do
48 {
49 function_symbols_DataAppl.push_back(std::make_unique<atermpp::function_symbol>("DataAppl", function_symbols_DataAppl.size() + DataApplFixed));
50 }
51 while (i >= function_symbols_DataAppl.size());
52
54 mutex.unlock();
55
56 return result;
57}
58
59inline
61{
62 if (i < DataApplFixed) {
63 // This is not thread safe, but applications are made during the initialisation process.
64 static bool initialised = false;
65 if (!initialised) {
66 for (std::size_t i = 0; i < DataApplFixed; ++i) {
68 }
69
70 initialised = true;
71 }
72
74 } else {
75 // This is much more expensive so deferred to a separate function call.
77 }
78}
79
80inline
82{
83 return Term.function() == function_symbol_DataAppl(Term.function().arity());
84}
85
86inline
88{
89 if (Term.function().arity() < DataApplFixed) {
90 return Term.function() == function_symbols_DataApplFixed[Term.function().arity()];
91 } else {
93 }
94}
95
96// DataVarIdNoIndex
97inline
99{
100 static atermpp::function_symbol f = atermpp::function_symbol("DataVarIdNoIndex", 2);
101 return f;
102}
103
104// OpIdIndex
105inline
107{
108 static atermpp::function_symbol f = atermpp::function_symbol("OpIdNoIndex", 2);
109 return f;
110}
111
112// ProcVarIdNoIndex
113inline
115{
116 static atermpp::function_symbol f = atermpp::function_symbol("ProcVarIdNoIndex", 2);
117 return f;
118}
119
120// BooleanVariableNoIndex
121inline
122const 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
129inline
130const atermpp::function_symbol& function_symbol_PropVarInstNoIndex() // This function is deprecated and can be removed in the year 2025.
131{
132 static atermpp::function_symbol f = atermpp::function_symbol("PropVarInstNoIndex", 2);
133 return f;
134}
135
136//--- start generated constructors ---//
137// ActAnd
138inline
140{
143}
144
145// ActAt
146inline
148{
151}
152
153// ActExists
154inline
156{
159}
160
161// ActFalse
162inline
164{
167}
168
169// ActForall
170inline
172{
175}
176
177// ActId
178inline
180{
183}
184
185// ActImp
186inline
188{
191}
192
193// ActMultAct
194inline
196{
199}
200
201// ActNot
202inline
204{
207}
208
209// ActOr
210inline
212{
215}
216
217// ActSpec
218inline
220{
223}
224
225// ActTrue
226inline
228{
231}
232
233// Action
234inline
236{
239}
240
241// ActionRenameRule
242inline
244{
245 static const atermpp::global_function_symbol function_symbol_ActionRenameRule("ActionRenameRule", 4);
247}
248
249// ActionRenameRules
250inline
252{
253 static const atermpp::global_function_symbol function_symbol_ActionRenameRules("ActionRenameRules", 1);
255}
256
257// ActionRenameSpec
258inline
260{
261 static const atermpp::global_function_symbol function_symbol_ActionRenameSpec("ActionRenameSpec", 3);
263}
264
265// Allow
266inline
268{
271}
272
273// AtTime
274inline
276{
279}
280
281// BInit
282inline
284{
287}
288
289// BagComp
290inline
292{
295}
296
297// Binder
298inline
300{
303}
304
305// Block
306inline
308{
311}
312
313// Choice
314inline
316{
319}
320
321// Comm
322inline
324{
327}
328
329// CommExpr
330inline
332{
335}
336
337// ConsSpec
338inline
340{
343}
344
345// DataEqn
346inline
348{
351}
352
353// DataEqnSpec
354inline
356{
359}
360
361// DataSpec
362inline
364{
367}
368
369// DataVarId
370inline
372{
375}
376
377// DataVarIdInit
378inline
380{
381 static const atermpp::global_function_symbol function_symbol_DataVarIdInit("DataVarIdInit", 2);
383}
384
385// Delta
386inline
388{
391}
392
393// Distribution
394inline
396{
399}
400
401// Exists
402inline
404{
407}
408
409// Forall
410inline
412{
415}
416
417// GlobVarSpec
418inline
420{
423}
424
425// Hide
426inline
428{
431}
432
433// IfThen
434inline
436{
439}
440
441// IfThenElse
442inline
444{
447}
448
449// LMerge
450inline
452{
455}
456
457// Lambda
458inline
460{
463}
464
465// LinProcSpec
466inline
468{
471}
472
473// LinearProcess
474inline
476{
477 static const atermpp::global_function_symbol function_symbol_LinearProcess("LinearProcess", 2);
479}
480
481// LinearProcessInit
482inline
484{
485 static const atermpp::global_function_symbol function_symbol_LinearProcessInit("LinearProcessInit", 2);
487}
488
489// LinearProcessSummand
490inline
492{
493 static const atermpp::global_function_symbol function_symbol_LinearProcessSummand("LinearProcessSummand", 6);
495}
496
497// MapSpec
498inline
500{
503}
504
505// Merge
506inline
508{
511}
512
513// Mu
514inline
516{
518 return function_symbol_Mu;
519}
520
521// MultAct
522inline
524{
527}
528
529// MultActName
530inline
532{
535}
536
537// Nu
538inline
540{
542 return function_symbol_Nu;
543}
544
545// OpId
546inline
548{
551}
552
553// PBES
554inline
556{
559}
560
561// PBESAnd
562inline
564{
567}
568
569// PBESExists
570inline
572{
575}
576
577// PBESFalse
578inline
580{
583}
584
585// PBESForall
586inline
588{
591}
592
593// PBESImp
594inline
596{
599}
600
601// PBESNot
602inline
604{
607}
608
609// PBESOr
610inline
612{
615}
616
617// PBESTrue
618inline
620{
623}
624
625// PBEqn
626inline
628{
631}
632
633// PBEqnSpec
634inline
636{
639}
640
641// PBInit
642inline
644{
647}
648
649// PRES
650inline
652{
655}
656
657// PRESAnd
658inline
660{
663}
664
665// PRESCondEq
666inline
668{
671}
672
673// PRESCondSm
674inline
676{
679}
680
681// PRESConstantMultiply
682inline
684{
685 static const atermpp::global_function_symbol function_symbol_PRESConstantMultiply("PRESConstantMultiply", 2);
687}
688
689// PRESConstantMultiplyAlt
690inline
692{
693 static const atermpp::global_function_symbol function_symbol_PRESConstantMultiplyAlt("PRESConstantMultiplyAlt", 2);
695}
696
697// PRESEqInf
698inline
700{
703}
704
705// PRESEqNInf
706inline
708{
711}
712
713// PRESFalse
714inline
716{
719}
720
721// PRESImp
722inline
724{
727}
728
729// PRESInfimum
730inline
732{
735}
736
737// PRESMinus
738inline
740{
743}
744
745// PRESOr
746inline
748{
751}
752
753// PRESPlus
754inline
756{
759}
760
761// PRESSum
762inline
764{
767}
768
769// PRESSupremum
770inline
772{
775}
776
777// PRESTrue
778inline
780{
783}
784
785// PREqn
786inline
788{
791}
792
793// PREqnSpec
794inline
796{
799}
800
801// PRInit
802inline
804{
807}
808
809// ProcEqn
810inline
812{
815}
816
817// ProcEqnSpec
818inline
820{
823}
824
825// ProcSpec
826inline
828{
831}
832
833// ProcVarId
834inline
836{
839}
840
841// Process
842inline
844{
847}
848
849// ProcessAssignment
850inline
852{
853 static const atermpp::global_function_symbol function_symbol_ProcessAssignment("ProcessAssignment", 2);
855}
856
857// ProcessInit
858inline
860{
863}
864
865// PropVarDecl
866inline
868{
871}
872
873// PropVarInst
874inline
876{
879}
880
881// RegAlt
882inline
884{
887}
888
889// RegNil
890inline
892{
895}
896
897// RegSeq
898inline
900{
903}
904
905// RegTrans
906inline
908{
911}
912
913// RegTransOrNil
914inline
916{
917 static const atermpp::global_function_symbol function_symbol_RegTransOrNil("RegTransOrNil", 1);
919}
920
921// Rename
922inline
924{
927}
928
929// RenameExpr
930inline
932{
935}
936
937// Seq
938inline
940{
942 return function_symbol_Seq;
943}
944
945// SetComp
946inline
948{
951}
952
953// SortArrow
954inline
956{
959}
960
961// SortBag
962inline
964{
967}
968
969// SortCons
970inline
972{
975}
976
977// SortFBag
978inline
980{
983}
984
985// SortFSet
986inline
988{
991}
992
993// SortId
994inline
996{
999}
1000
1001// SortList
1002inline
1004{
1007}
1008
1009// SortRef
1010inline
1012{
1015}
1016
1017// SortSet
1018inline
1020{
1023}
1024
1025// SortSpec
1026inline
1028{
1031}
1032
1033// SortStruct
1034inline
1036{
1037 static const atermpp::global_function_symbol function_symbol_SortStruct("SortStruct", 1);
1039}
1040
1041// StateAnd
1042inline
1044{
1047}
1048
1049// StateConstantMultiply
1050inline
1052{
1053 static const atermpp::global_function_symbol function_symbol_StateConstantMultiply("StateConstantMultiply", 2);
1055}
1056
1057// StateConstantMultiplyAlt
1058inline
1060{
1061 static const atermpp::global_function_symbol function_symbol_StateConstantMultiplyAlt("StateConstantMultiplyAlt", 2);
1063}
1064
1065// StateDelay
1066inline
1068{
1069 static const atermpp::global_function_symbol function_symbol_StateDelay("StateDelay", 0);
1071}
1072
1073// StateDelayTimed
1074inline
1076{
1077 static const atermpp::global_function_symbol function_symbol_StateDelayTimed("StateDelayTimed", 1);
1079}
1080
1081// StateExists
1082inline
1084{
1085 static const atermpp::global_function_symbol function_symbol_StateExists("StateExists", 2);
1087}
1088
1089// StateFalse
1090inline
1092{
1093 static const atermpp::global_function_symbol function_symbol_StateFalse("StateFalse", 0);
1095}
1096
1097// StateForall
1098inline
1100{
1101 static const atermpp::global_function_symbol function_symbol_StateForall("StateForall", 2);
1103}
1104
1105// StateImp
1106inline
1108{
1111}
1112
1113// StateInfimum
1114inline
1116{
1117 static const atermpp::global_function_symbol function_symbol_StateInfimum("StateInfimum", 2);
1119}
1120
1121// StateMay
1122inline
1124{
1127}
1128
1129// StateMinus
1130inline
1132{
1133 static const atermpp::global_function_symbol function_symbol_StateMinus("StateMinus", 1);
1135}
1136
1137// StateMu
1138inline
1140{
1143}
1144
1145// StateMust
1146inline
1148{
1151}
1152
1153// StateNot
1154inline
1156{
1159}
1160
1161// StateNu
1162inline
1164{
1167}
1168
1169// StateOr
1170inline
1172{
1175}
1176
1177// StatePlus
1178inline
1180{
1183}
1184
1185// StateSum
1186inline
1188{
1191}
1192
1193// StateSupremum
1194inline
1196{
1197 static const atermpp::global_function_symbol function_symbol_StateSupremum("StateSupremum", 2);
1199}
1200
1201// StateTrue
1202inline
1204{
1207}
1208
1209// StateVar
1210inline
1212{
1215}
1216
1217// StateYaled
1218inline
1220{
1221 static const atermpp::global_function_symbol function_symbol_StateYaled("StateYaled", 0);
1223}
1224
1225// StateYaledTimed
1226inline
1228{
1229 static const atermpp::global_function_symbol function_symbol_StateYaledTimed("StateYaledTimed", 1);
1231}
1232
1233// StochasticOperator
1234inline
1236{
1237 static const atermpp::global_function_symbol function_symbol_StochasticOperator("StochasticOperator", 3);
1239}
1240
1241// StructCons
1242inline
1244{
1245 static const atermpp::global_function_symbol function_symbol_StructCons("StructCons", 3);
1247}
1248
1249// StructProj
1250inline
1252{
1253 static const atermpp::global_function_symbol function_symbol_StructProj("StructProj", 2);
1255}
1256
1257// Sum
1258inline
1260{
1262 return function_symbol_Sum;
1263}
1264
1265// Sync
1266inline
1268{
1270 return function_symbol_Sync;
1271}
1272
1273// Tau
1274inline
1276{
1278 return function_symbol_Tau;
1279}
1280
1281// TimedMultAct
1282inline
1284{
1285 static const atermpp::global_function_symbol function_symbol_TimedMultAct("TimedMultAct", 2);
1287}
1288
1289// UntypedDataParameter
1290inline
1292{
1293 static const atermpp::global_function_symbol function_symbol_UntypedDataParameter("UntypedDataParameter", 2);
1295}
1296
1297// UntypedIdentifier
1298inline
1300{
1301 static const atermpp::global_function_symbol function_symbol_UntypedIdentifier("UntypedIdentifier", 1);
1303}
1304
1305// UntypedIdentifierAssignment
1306inline
1308{
1309 static const atermpp::global_function_symbol function_symbol_UntypedIdentifierAssignment("UntypedIdentifierAssignment", 2);
1311}
1312
1313// UntypedMultiAction
1314inline
1316{
1317 static const atermpp::global_function_symbol function_symbol_UntypedMultiAction("UntypedMultiAction", 1);
1319}
1320
1321// UntypedProcessAssignment
1322inline
1324{
1325 static const atermpp::global_function_symbol function_symbol_UntypedProcessAssignment("UntypedProcessAssignment", 2);
1327}
1328
1329// UntypedRegFrm
1330inline
1332{
1333 static const atermpp::global_function_symbol function_symbol_UntypedRegFrm("UntypedRegFrm", 3);
1335}
1336
1337// UntypedSetBagComp
1338inline
1340{
1341 static const atermpp::global_function_symbol function_symbol_UntypedSetBagComp("UntypedSetBagComp", 0);
1343}
1344
1345// UntypedSortUnknown
1346inline
1348{
1349 static const atermpp::global_function_symbol function_symbol_UntypedSortUnknown("UntypedSortUnknown", 0);
1351}
1352
1353// UntypedSortVariable
1354inline
1356{
1357 static const atermpp::global_function_symbol function_symbol_UntypedSortVariable("UntypedSortVariable", 1);
1359}
1360
1361// UntypedSortsPossible
1362inline
1364{
1365 static const atermpp::global_function_symbol function_symbol_UntypedSortsPossible("UntypedSortsPossible", 1);
1367}
1368
1369// Whr
1370inline
1372{
1374 return function_symbol_Whr;
1375}
1376//--- end generated constructors ---//
1377
1378//----------------------------------------------------------------------------------------------//
1379// Part 2: static variables containing function symbols.
1380//----------------------------------------------------------------------------------------------//
1381
1383{
1384//--- start generated variables ---//
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
Term containing an integer.
const function_symbol & function() const
Returns the function symbol belonging to an aterm.
Definition aterm.h:144
std::size_t arity() const
Return the arity (number of arguments) of the function symbol (function_symbol).
const atermpp::function_symbol & function_symbol_TimedMultAct()
const atermpp::function_symbol & function_symbol_BInit()
const atermpp::function_symbol & function_symbol_StateImp()
const atermpp::function_symbol & function_symbol_Choice()
const atermpp::function_symbol & function_symbol_StateMinus()
const atermpp::function_symbol & function_symbol_SortSet()
const atermpp::function_symbol & function_symbol_PRESAnd()
const atermpp::function_symbol & function_symbol_Forall()
const atermpp::function_symbol & function_symbol_ActForall()
const atermpp::function_symbol & function_symbol_UntypedSortsPossible()
const atermpp::function_symbol & function_symbol_UntypedProcessAssignment()
const atermpp::function_symbol & function_symbol_DataEqn()
const atermpp::function_symbol & function_symbol_DataVarId()
const atermpp::function_symbol & function_symbol_StateForall()
const atermpp::function_symbol & function_symbol_StructCons()
const atermpp::function_symbol & function_symbol_PBES()
const atermpp::function_symbol & function_symbol_StateYaledTimed()
const atermpp::function_symbol & function_symbol_RegSeq()
const atermpp::function_symbol & function_symbol_SortRef()
std::vector< std::unique_ptr< atermpp::function_symbol > > function_symbols_DataAppl
Definition core.cpp:20
const atermpp::function_symbol & function_symbol_UntypedSortUnknown()
const atermpp::function_symbol & function_symbol_PRESImp()
const atermpp::function_symbol & function_symbol_PRESCondEq()
const atermpp::function_symbol & function_symbol_StateNu()
const atermpp::function_symbol & function_symbol_Mu()
const atermpp::function_symbol & function_symbol_DataAppl(std::size_t i)
const atermpp::function_symbol & function_symbol_SortBag()
const atermpp::function_symbol & function_symbol_Allow()
const atermpp::function_symbol & function_symbol_Merge()
const atermpp::function_symbol & function_symbol_Rename()
const atermpp::function_symbol & function_symbol_StateConstantMultiplyAlt()
const atermpp::function_symbol & function_symbol_OpIdNoIndex()
const atermpp::function_symbol & function_symbol_ProcSpec()
const atermpp::function_symbol & function_symbol_ActId()
const atermpp::function_symbol & function_symbol_StateTrue()
const atermpp::function_symbol & function_symbol_Block()
const atermpp::function_symbol & function_symbol_SortSpec()
const atermpp::function_symbol & function_symbol_StructProj()
const atermpp::function_symbol & function_symbol_Sum()
const atermpp::function_symbol & function_symbol_Lambda()
const atermpp::function_symbol & function_symbol_PRESPlus()
const atermpp::function_symbol & function_symbol_AtTime()
const atermpp::function_symbol & function_symbol_PBESExists()
const atermpp::function_symbol & function_symbol_GlobVarSpec()
const atermpp::function_symbol & function_symbol_PBEqn()
const atermpp::function_symbol & function_symbol_Nu()
const atermpp::function_symbol & function_symbol_Comm()
const atermpp::function_symbol & function_symbol_ProcEqn()
const atermpp::function_symbol & function_symbol_UntypedIdentifierAssignment()
const atermpp::function_symbol & function_symbol_Delta()
const atermpp::function_symbol & function_symbol_Binder()
const atermpp::function_symbol & function_symbol_PropVarDecl()
const atermpp::function_symbol & function_symbol_PRESSupremum()
const atermpp::function_symbol & function_symbol_PREqnSpec()
const atermpp::function_symbol & function_symbol_StateExists()
const atermpp::function_symbol & function_symbol_PRESTrue()
const atermpp::function_symbol & function_symbol_PREqn()
const atermpp::function_symbol & function_symbol_StateVar()
const atermpp::function_symbol & function_symbol_UntypedSortVariable()
const atermpp::function_symbol & function_symbol_ActMultAct()
const atermpp::function_symbol & function_symbol_PRESOr()
const atermpp::function_symbol & function_symbol_PBESFalse()
const atermpp::function_symbol & function_symbol_SortArrow()
const atermpp::function_symbol & function_symbol_PRESSum()
const atermpp::function_symbol & function_symbol_SortList()
const atermpp::function_symbol & function_symbol_PRESEqInf()
const atermpp::function_symbol & function_symbol_DataVarIdNoIndex()
const atermpp::function_symbol & function_symbol_StateNot()
const atermpp::function_symbol & function_symbol_Action()
const atermpp::function_symbol & function_symbol_BooleanVariableNoIndex()
const atermpp::function_symbol & function_symbol_PBESNot()
const atermpp::function_symbol & function_symbol_PRESEqNInf()
const atermpp::function_symbol & function_symbol_ActImp()
const atermpp::function_symbol & function_symbol_BagComp()
const atermpp::function_symbol & function_symbol_PRESConstantMultiply()
const atermpp::function_symbol & function_symbol_UntypedDataParameter()
const atermpp::function_symbol & function_symbol_Distribution()
const atermpp::function_symbol & function_symbol_PropVarInstNoIndex()
const atermpp::function_symbol & function_symbol_MapSpec()
const atermpp::function_symbol & function_symbol_StateDelay()
const atermpp::function_symbol & function_symbol_StateSum()
const atermpp::function_symbol & function_symbol_PRES()
const atermpp::function_symbol & function_symbol_PBESAnd()
const atermpp::function_symbol & function_symbol_LinearProcessInit()
const atermpp::function_symbol & function_symbol_RenameExpr()
const atermpp::function_symbol & function_symbol_PBEqnSpec()
const atermpp::function_symbol & function_symbol_MultActName()
const atermpp::function_symbol & function_symbol_ActAt()
const atermpp::function_symbol & function_symbol_Process()
const atermpp::function_symbol & function_symbol_StateMu()
const atermpp::function_symbol & function_symbol_PBESOr()
const atermpp::function_symbol & function_symbol_PRInit()
const atermpp::function_symbol & function_symbol_IfThenElse()
const atermpp::function_symbol & function_symbol_PRESCondSm()
const atermpp::function_symbol & function_symbol_RegTransOrNil()
const atermpp::function_symbol & function_symbol_CommExpr()
constexpr std::size_t DataApplFixed
const atermpp::function_symbol & function_symbol_StateMay()
const atermpp::function_symbol & function_symbol_SortId()
const atermpp::function_symbol & function_symbol_ProcVarIdNoIndex()
const atermpp::function_symbol & function_symbol_ActFalse()
const atermpp::function_symbol & function_symbol_StatePlus()
const atermpp::function_symbol & function_symbol_PRESConstantMultiplyAlt()
const atermpp::function_symbol & function_symbol_RegTrans()
const atermpp::function_symbol & function_symbol_PBESImp()
const atermpp::function_symbol & function_symbol_RegAlt()
const atermpp::function_symbol & function_symbol_Sync()
const atermpp::function_symbol & function_symbol_Seq()
const atermpp::function_symbol & function_symbol_Whr()
const atermpp::function_symbol & function_symbol_PRESFalse()
const atermpp::function_symbol & function_symbol_RegNil()
const atermpp::function_symbol & function_symbol_Exists()
const atermpp::function_symbol & function_symbol_ProcVarId()
const atermpp::function_symbol & function_symbol_PRESMinus()
const atermpp::function_symbol & function_symbol_LinProcSpec()
const atermpp::function_symbol & function_symbol_ProcessAssignment()
const atermpp::function_symbol & function_symbol_PBESForall()
const atermpp::function_symbol & function_symbol_DataSpec()
const atermpp::function_symbol & function_symbol_UntypedMultiAction()
const atermpp::function_symbol & function_symbol_ActAnd()
const atermpp::function_symbol & function_symbol_SortFBag()
const atermpp::function_symbol & function_symbol_StateDelayTimed()
const atermpp::function_symbol & function_symbol_SortFSet()
bool gsIsDataAppl(const atermpp::aterm &Term)
const atermpp::function_symbol & function_symbol_ActionRenameRule()
const atermpp::function_symbol & function_symbol_StateConstantMultiply()
const atermpp::function_symbol & function_symbol_StateOr()
const atermpp::function_symbol & function_symbol_IfThen()
const atermpp::function_symbol & function_symbol_UntypedSetBagComp()
const atermpp::function_symbol & function_symbol_SortStruct()
const atermpp::function_symbol & function_symbol_PRESInfimum()
const atermpp::function_symbol & function_symbol_ActOr()
const atermpp::function_symbol & function_symbol_ProcessInit()
const atermpp::function_symbol & function_symbol_PBESTrue()
const atermpp::function_symbol & function_symbol_DataAppl_helper(std::size_t i)
const atermpp::function_symbol & function_symbol_LinearProcessSummand()
const atermpp::function_symbol & function_symbol_Hide()
bool gsIsDataAppl_no_check(const atermpp::aterm &Term)
const atermpp::function_symbol & function_symbol_StochasticOperator()
const atermpp::function_symbol & function_symbol_ActTrue()
const atermpp::function_symbol & function_symbol_StateFalse()
const atermpp::function_symbol & function_symbol_UntypedIdentifier()
const atermpp::function_symbol & function_symbol_ActionRenameRules()
const atermpp::function_symbol & function_symbol_ActSpec()
const atermpp::function_symbol & function_symbol_MultAct()
atermpp::function_symbol function_symbols_DataApplFixed[DataApplFixed]
Definition core.cpp:21
const atermpp::function_symbol & function_symbol_StateAnd()
const atermpp::function_symbol & function_symbol_PBInit()
const atermpp::function_symbol & function_symbol_StateInfimum()
const atermpp::function_symbol & function_symbol_ActNot()
const atermpp::function_symbol & function_symbol_ConsSpec()
const atermpp::function_symbol & function_symbol_ActExists()
const atermpp::function_symbol & function_symbol_ActionRenameSpec()
const atermpp::function_symbol & function_symbol_ProcEqnSpec()
const atermpp::function_symbol & function_symbol_Tau()
const atermpp::function_symbol & function_symbol_SortCons()
const atermpp::function_symbol & function_symbol_UntypedRegFrm()
const atermpp::function_symbol & function_symbol_OpId()
const atermpp::function_symbol & function_symbol_LMerge()
const atermpp::function_symbol & function_symbol_LinearProcess()
const atermpp::function_symbol & function_symbol_SetComp()
const atermpp::function_symbol & function_symbol_PropVarInst()
const atermpp::function_symbol & function_symbol_StateYaled()
const atermpp::function_symbol & function_symbol_StateSupremum()
const atermpp::function_symbol & function_symbol_DataEqnSpec()
const atermpp::function_symbol & function_symbol_DataVarIdInit()
const atermpp::function_symbol & function_symbol_StateMust()
A class that takes a linear process specification and checks all tau-summands of that LPS for conflue...
Definition indexed_set.h:72
static const atermpp::function_symbol ProcEqnSpec
static const atermpp::function_symbol Lambda
static const atermpp::function_symbol PRInit
static const atermpp::function_symbol PBESTrue
static const atermpp::function_symbol UntypedRegFrm
static const atermpp::function_symbol ProcessInit
static const atermpp::function_symbol PRESTrue
static const atermpp::function_symbol StateMu
static const atermpp::function_symbol PREqnSpec
static const atermpp::function_symbol ActMultAct
static const atermpp::function_symbol RegSeq
static const atermpp::function_symbol Rename
static const atermpp::function_symbol BagComp
static const atermpp::function_symbol StateConstantMultiply
static const atermpp::function_symbol ActNot
static const atermpp::function_symbol Allow
static const atermpp::function_symbol StateSum
static const atermpp::function_symbol ActionRenameRules
static const atermpp::function_symbol ProcEqn
static const atermpp::function_symbol ActAnd
static const atermpp::function_symbol PRESCondEq
static const atermpp::function_symbol Forall
static const atermpp::function_symbol Delta
static const atermpp::function_symbol PropVarDecl
static const atermpp::function_symbol DataEqn
static const atermpp::function_symbol UntypedDataParameter
static const atermpp::function_symbol StructProj
static const atermpp::function_symbol ProcessAssignment
static const atermpp::function_symbol ActSpec
static const atermpp::function_symbol PRESImp
static const atermpp::function_symbol StateConstantMultiplyAlt
static const atermpp::function_symbol MultAct
static const atermpp::function_symbol Whr
static const atermpp::function_symbol SortFSet
static const atermpp::function_symbol IfThenElse
static const atermpp::function_symbol StateForall
static const atermpp::function_symbol PBESForall
static const atermpp::function_symbol StateOr
static const atermpp::function_symbol PRES
static const atermpp::function_symbol ActFalse
static const atermpp::function_symbol PBESFalse
static const atermpp::function_symbol RegTransOrNil
static const atermpp::function_symbol Hide
static const atermpp::function_symbol PRESEqInf
static const atermpp::function_symbol UntypedProcessAssignment
static const atermpp::function_symbol StateYaledTimed
static const atermpp::function_symbol SortList
static const atermpp::function_symbol Exists
static const atermpp::function_symbol ActId
static const atermpp::function_symbol TimedMultAct
static const atermpp::function_symbol StateExists
static const atermpp::function_symbol ActExists
static const atermpp::function_symbol ProcVarId
static const atermpp::function_symbol ConsSpec
static const atermpp::function_symbol BInit
static const atermpp::function_symbol RenameExpr
static const atermpp::function_symbol UntypedMultiAction
static const atermpp::function_symbol PRESMinus
static const atermpp::function_symbol PBES
static const atermpp::function_symbol StructCons
static const atermpp::function_symbol StochasticOperator
static const atermpp::function_symbol StateVar
static const atermpp::function_symbol StateTrue
static const atermpp::function_symbol LinProcSpec
static const atermpp::function_symbol SortRef
static const atermpp::function_symbol StateFalse
static const atermpp::function_symbol Choice
static const atermpp::function_symbol SortArrow
static const atermpp::function_symbol OpId
static const atermpp::function_symbol SortFBag
static const atermpp::function_symbol StateImp
static const atermpp::function_symbol Sync
static const atermpp::function_symbol Sum
static const atermpp::function_symbol PRESEqNInf
static const atermpp::function_symbol PBESNot
static const atermpp::function_symbol ProcSpec
static const atermpp::function_symbol MapSpec
static const atermpp::function_symbol PRESCondSm
static const atermpp::function_symbol RegAlt
static const atermpp::function_symbol RegTrans
static const atermpp::function_symbol Action
static const atermpp::function_symbol StateMinus
static const atermpp::function_symbol SetComp
static const atermpp::function_symbol PBESImp
static const atermpp::function_symbol StateNot
static const atermpp::function_symbol CommExpr
static const atermpp::function_symbol Comm
static const atermpp::function_symbol SortCons
static const atermpp::function_symbol SortSet
static const atermpp::function_symbol PBESAnd
static const atermpp::function_symbol AtTime
static const atermpp::function_symbol Nu
static const atermpp::function_symbol Binder
static const atermpp::function_symbol StateInfimum
static const atermpp::function_symbol SortSpec
static const atermpp::function_symbol StateDelay
static const atermpp::function_symbol PRESOr
static const atermpp::function_symbol StateYaled
static const atermpp::function_symbol MultActName
static const atermpp::function_symbol ActAt
static const atermpp::function_symbol PropVarInst
static const atermpp::function_symbol PBInit
static const atermpp::function_symbol StateMay
static const atermpp::function_symbol LinearProcess
static const atermpp::function_symbol Process
static const atermpp::function_symbol SortStruct
static const atermpp::function_symbol StateDelayTimed
static const atermpp::function_symbol ActImp
static const atermpp::function_symbol ActTrue
static const atermpp::function_symbol Merge
static const atermpp::function_symbol ActForall
static const atermpp::function_symbol LinearProcessInit
static const atermpp::function_symbol Block
static const atermpp::function_symbol Seq
static const atermpp::function_symbol ActionRenameRule
static const atermpp::function_symbol Mu
static const atermpp::function_symbol PRESSupremum
static const atermpp::function_symbol StatePlus
static const atermpp::function_symbol UntypedSortsPossible
static const atermpp::function_symbol IfThen
static const atermpp::function_symbol LinearProcessSummand
static const atermpp::function_symbol StateMust
static const atermpp::function_symbol PBESExists
static const atermpp::function_symbol DataVarId
static const atermpp::function_symbol ActionRenameSpec
static const atermpp::function_symbol DataSpec
static const atermpp::function_symbol SortId
static const atermpp::function_symbol GlobVarSpec
static const atermpp::function_symbol UntypedIdentifier
static const atermpp::function_symbol StateNu
static const atermpp::function_symbol PBESOr
static const atermpp::function_symbol Distribution
static const atermpp::function_symbol UntypedSortVariable
static const atermpp::function_symbol DataVarIdInit
static const atermpp::function_symbol PREqn
static const atermpp::function_symbol StateAnd
static const atermpp::function_symbol PRESPlus
static const atermpp::function_symbol SortBag
static const atermpp::function_symbol PRESInfimum
static const atermpp::function_symbol PBEqnSpec
static const atermpp::function_symbol PRESFalse
static const atermpp::function_symbol ActOr
static const atermpp::function_symbol DataEqnSpec
static const atermpp::function_symbol PRESConstantMultiply
static const atermpp::function_symbol UntypedIdentifierAssignment
static const atermpp::function_symbol PRESConstantMultiplyAlt
static const atermpp::function_symbol UntypedSetBagComp
static const atermpp::function_symbol StateSupremum
static const atermpp::function_symbol PBEqn
static const atermpp::function_symbol UntypedSortUnknown
static const atermpp::function_symbol PRESSum
static const atermpp::function_symbol PRESAnd
static const atermpp::function_symbol RegNil
static const atermpp::function_symbol LMerge
static const atermpp::function_symbol Tau