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

Generated by: LCOV version 1.12