LCOV - code coverage report
Current view: top level - core/include/mcrl2/core/detail - function_symbols.h (source / functions) Hit Total Coverage
Test: mcrl2_coverage.info.cleaned Lines: 445 445 100.0 %
Date: 2019-09-14 00:54:39 Functions: 148 148 100.0 %
Legend: Lines: hit not hit

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

Generated by: LCOV version 1.12