LCOV - code coverage report
Current view: top level - core/source - core.cpp (source / functions) Hit Total Coverage
Test: mcrl2_coverage.info.cleaned Lines: 301 301 100.0 %
Date: 2020-02-29 00:53:40 Functions: 3 3 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 core.cpp
      10             : 
      11             : #include "mcrl2/core/detail/default_values.h"
      12             : #include "mcrl2/core/print.h"
      13             : 
      14             : namespace mcrl2 {
      15             : 
      16             : namespace core {
      17             : 
      18             : namespace detail {
      19             : 
      20         127 : std::vector<std::unique_ptr<atermpp::function_symbol>> function_symbols_DataAppl;
      21             : 
      22             : } // namespace detail
      23             : 
      24             : //--- start generated core overloads ---//
      25         467 : std::string pp(const core::identifier_string& x) { return core::pp< core::identifier_string >(x); }
      26             : //--- end generated core overloads ---//
      27             : 
      28             : //--- start generated function symbol definitions ---//
      29         127 : const atermpp::function_symbol core::detail::function_symbols::BooleanOr = core::detail::function_symbol_BooleanOr();
      30         127 :   const atermpp::function_symbol core::detail::function_symbols::ProcEqn = core::detail::function_symbol_ProcEqn();
      31         127 :   const atermpp::function_symbol core::detail::function_symbols::Hide = core::detail::function_symbol_Hide();
      32         127 :   const atermpp::function_symbol core::detail::function_symbols::SortArrow = core::detail::function_symbol_SortArrow();
      33         127 :   const atermpp::function_symbol core::detail::function_symbols::ProcessAssignment = core::detail::function_symbol_ProcessAssignment();
      34         127 :   const atermpp::function_symbol core::detail::function_symbols::Forall = core::detail::function_symbol_Forall();
      35         127 :   const atermpp::function_symbol core::detail::function_symbols::CommExpr = core::detail::function_symbol_CommExpr();
      36         127 :   const atermpp::function_symbol core::detail::function_symbols::StateNot = core::detail::function_symbol_StateNot();
      37         127 :   const atermpp::function_symbol core::detail::function_symbols::UntypedSetBagComp = core::detail::function_symbol_UntypedSetBagComp();
      38         127 :   const atermpp::function_symbol core::detail::function_symbols::SortFSet = core::detail::function_symbol_SortFSet();
      39         127 :   const atermpp::function_symbol core::detail::function_symbols::StateImp = core::detail::function_symbol_StateImp();
      40         127 :   const atermpp::function_symbol core::detail::function_symbols::PBESExists = core::detail::function_symbol_PBESExists();
      41         127 :   const atermpp::function_symbol core::detail::function_symbols::PBESImp = core::detail::function_symbol_PBESImp();
      42         127 :   const atermpp::function_symbol core::detail::function_symbols::Binder = core::detail::function_symbol_Binder();
      43         127 :   const atermpp::function_symbol core::detail::function_symbols::StochasticOperator = core::detail::function_symbol_StochasticOperator();
      44         127 :   const atermpp::function_symbol core::detail::function_symbols::SortRef = core::detail::function_symbol_SortRef();
      45         127 :   const atermpp::function_symbol core::detail::function_symbols::ProcEqnSpec = core::detail::function_symbol_ProcEqnSpec();
      46         127 :   const atermpp::function_symbol core::detail::function_symbols::StateForall = core::detail::function_symbol_StateForall();
      47         127 :   const atermpp::function_symbol core::detail::function_symbols::BooleanImp = core::detail::function_symbol_BooleanImp();
      48         127 :   const atermpp::function_symbol core::detail::function_symbols::SortId = core::detail::function_symbol_SortId();
      49         127 :   const atermpp::function_symbol core::detail::function_symbols::StateNu = core::detail::function_symbol_StateNu();
      50         127 :   const atermpp::function_symbol core::detail::function_symbols::RegNil = core::detail::function_symbol_RegNil();
      51         127 :   const atermpp::function_symbol core::detail::function_symbols::DataSpec = core::detail::function_symbol_DataSpec();
      52         127 :   const atermpp::function_symbol core::detail::function_symbols::Tau = core::detail::function_symbol_Tau();
      53         127 :   const atermpp::function_symbol core::detail::function_symbols::StateYaledTimed = core::detail::function_symbol_StateYaledTimed();
      54         127 :   const atermpp::function_symbol core::detail::function_symbols::SortCons = core::detail::function_symbol_SortCons();
      55         127 :   const atermpp::function_symbol core::detail::function_symbols::DataEqnSpec = core::detail::function_symbol_DataEqnSpec();
      56         127 :   const atermpp::function_symbol core::detail::function_symbols::LinearProcessSummand = core::detail::function_symbol_LinearProcessSummand();
      57         127 :   const atermpp::function_symbol core::detail::function_symbols::SortSpec = core::detail::function_symbol_SortSpec();
      58         127 :   const atermpp::function_symbol core::detail::function_symbols::ActionRenameRules = core::detail::function_symbol_ActionRenameRules();
      59         127 :   const atermpp::function_symbol core::detail::function_symbols::ActAnd = core::detail::function_symbol_ActAnd();
      60         127 :   const atermpp::function_symbol core::detail::function_symbols::BooleanEquation = core::detail::function_symbol_BooleanEquation();
      61         127 :   const atermpp::function_symbol core::detail::function_symbols::ConsSpec = core::detail::function_symbol_ConsSpec();
      62         127 :   const atermpp::function_symbol core::detail::function_symbols::SortList = core::detail::function_symbol_SortList();
      63         127 :   const atermpp::function_symbol core::detail::function_symbols::Sum = core::detail::function_symbol_Sum();
      64         127 :   const atermpp::function_symbol core::detail::function_symbols::DataVarId = core::detail::function_symbol_DataVarId();
      65         127 :   const atermpp::function_symbol core::detail::function_symbols::ProcVarId = core::detail::function_symbol_ProcVarId();
      66         127 :   const atermpp::function_symbol core::detail::function_symbols::ProcessInit = core::detail::function_symbol_ProcessInit();
      67         127 :   const atermpp::function_symbol core::detail::function_symbols::UntypedIdentifier = core::detail::function_symbol_UntypedIdentifier();
      68         127 :   const atermpp::function_symbol core::detail::function_symbols::BooleanFalse = core::detail::function_symbol_BooleanFalse();
      69         127 :   const atermpp::function_symbol core::detail::function_symbols::BES = core::detail::function_symbol_BES();
      70         127 :   const atermpp::function_symbol core::detail::function_symbols::MapSpec = core::detail::function_symbol_MapSpec();
      71         127 :   const atermpp::function_symbol core::detail::function_symbols::IfThen = core::detail::function_symbol_IfThen();
      72         127 :   const atermpp::function_symbol core::detail::function_symbols::BooleanAnd = core::detail::function_symbol_BooleanAnd();
      73         127 :   const atermpp::function_symbol core::detail::function_symbols::LinProcSpec = core::detail::function_symbol_LinProcSpec();
      74         127 :   const atermpp::function_symbol core::detail::function_symbols::Choice = core::detail::function_symbol_Choice();
      75         127 :   const atermpp::function_symbol core::detail::function_symbols::LinearProcessInit = core::detail::function_symbol_LinearProcessInit();
      76         127 :   const atermpp::function_symbol core::detail::function_symbols::MultAct = core::detail::function_symbol_MultAct();
      77         127 :   const atermpp::function_symbol core::detail::function_symbols::PropVarInst = core::detail::function_symbol_PropVarInst();
      78         127 :   const atermpp::function_symbol core::detail::function_symbols::BagComp = core::detail::function_symbol_BagComp();
      79         127 :   const atermpp::function_symbol core::detail::function_symbols::StateDelay = core::detail::function_symbol_StateDelay();
      80         127 :   const atermpp::function_symbol core::detail::function_symbols::RegAlt = core::detail::function_symbol_RegAlt();
      81         127 :   const atermpp::function_symbol core::detail::function_symbols::BddFalse = core::detail::function_symbol_BddFalse();
      82         127 :   const atermpp::function_symbol core::detail::function_symbols::StructCons = core::detail::function_symbol_StructCons();
      83         127 :   const atermpp::function_symbol core::detail::function_symbols::Mu = core::detail::function_symbol_Mu();
      84         127 :   const atermpp::function_symbol core::detail::function_symbols::PBEqnSpec = core::detail::function_symbol_PBEqnSpec();
      85         127 :   const atermpp::function_symbol core::detail::function_symbols::UntypedRegFrm = core::detail::function_symbol_UntypedRegFrm();
      86         127 :   const atermpp::function_symbol core::detail::function_symbols::Distribution = core::detail::function_symbol_Distribution();
      87         127 :   const atermpp::function_symbol core::detail::function_symbols::BooleanTrue = core::detail::function_symbol_BooleanTrue();
      88         127 :   const atermpp::function_symbol core::detail::function_symbols::Block = core::detail::function_symbol_Block();
      89         127 :   const atermpp::function_symbol core::detail::function_symbols::Rename = core::detail::function_symbol_Rename();
      90         127 :   const atermpp::function_symbol core::detail::function_symbols::Exists = core::detail::function_symbol_Exists();
      91         127 :   const atermpp::function_symbol core::detail::function_symbols::Sync = core::detail::function_symbol_Sync();
      92         127 :   const atermpp::function_symbol core::detail::function_symbols::ActExists = core::detail::function_symbol_ActExists();
      93         127 :   const atermpp::function_symbol core::detail::function_symbols::ProcSpec = core::detail::function_symbol_ProcSpec();
      94         127 :   const atermpp::function_symbol core::detail::function_symbols::UntypedSortsPossible = core::detail::function_symbol_UntypedSortsPossible();
      95         127 :   const atermpp::function_symbol core::detail::function_symbols::StateMu = core::detail::function_symbol_StateMu();
      96         127 :   const atermpp::function_symbol core::detail::function_symbols::BddIf = core::detail::function_symbol_BddIf();
      97         127 :   const atermpp::function_symbol core::detail::function_symbols::StateFalse = core::detail::function_symbol_StateFalse();
      98         127 :   const atermpp::function_symbol core::detail::function_symbols::PBESFalse = core::detail::function_symbol_PBESFalse();
      99         127 :   const atermpp::function_symbol core::detail::function_symbols::PBESForall = core::detail::function_symbol_PBESForall();
     100         127 :   const atermpp::function_symbol core::detail::function_symbols::StateTrue = core::detail::function_symbol_StateTrue();
     101         127 :   const atermpp::function_symbol core::detail::function_symbols::BInit = core::detail::function_symbol_BInit();
     102         127 :   const atermpp::function_symbol core::detail::function_symbols::UntypedSortUnknown = core::detail::function_symbol_UntypedSortUnknown();
     103         127 :   const atermpp::function_symbol core::detail::function_symbols::RegTrans = core::detail::function_symbol_RegTrans();
     104         127 :   const atermpp::function_symbol core::detail::function_symbols::StateDelayTimed = core::detail::function_symbol_StateDelayTimed();
     105         127 :   const atermpp::function_symbol core::detail::function_symbols::Nu = core::detail::function_symbol_Nu();
     106         127 :   const atermpp::function_symbol core::detail::function_symbols::SortStruct = core::detail::function_symbol_SortStruct();
     107         127 :   const atermpp::function_symbol core::detail::function_symbols::AtTime = core::detail::function_symbol_AtTime();
     108         127 :   const atermpp::function_symbol core::detail::function_symbols::ActOr = core::detail::function_symbol_ActOr();
     109         127 :   const atermpp::function_symbol core::detail::function_symbols::Comm = core::detail::function_symbol_Comm();
     110         127 :   const atermpp::function_symbol core::detail::function_symbols::BooleanNot = core::detail::function_symbol_BooleanNot();
     111         127 :   const atermpp::function_symbol core::detail::function_symbols::Delta = core::detail::function_symbol_Delta();
     112         127 :   const atermpp::function_symbol core::detail::function_symbols::ActMultAct = core::detail::function_symbol_ActMultAct();
     113         127 :   const atermpp::function_symbol core::detail::function_symbols::StateAnd = core::detail::function_symbol_StateAnd();
     114         127 :   const atermpp::function_symbol core::detail::function_symbols::LMerge = core::detail::function_symbol_LMerge();
     115         127 :   const atermpp::function_symbol core::detail::function_symbols::SetComp = core::detail::function_symbol_SetComp();
     116         127 :   const atermpp::function_symbol core::detail::function_symbols::ActForall = core::detail::function_symbol_ActForall();
     117         127 :   const atermpp::function_symbol core::detail::function_symbols::RenameExpr = core::detail::function_symbol_RenameExpr();
     118         127 :   const atermpp::function_symbol core::detail::function_symbols::Merge = core::detail::function_symbol_Merge();
     119         127 :   const atermpp::function_symbol core::detail::function_symbols::ActSpec = core::detail::function_symbol_ActSpec();
     120         127 :   const atermpp::function_symbol core::detail::function_symbols::BooleanVariable = core::detail::function_symbol_BooleanVariable();
     121         127 :   const atermpp::function_symbol core::detail::function_symbols::Action = core::detail::function_symbol_Action();
     122         127 :   const atermpp::function_symbol core::detail::function_symbols::PBESAnd = core::detail::function_symbol_PBESAnd();
     123         127 :   const atermpp::function_symbol core::detail::function_symbols::Lambda = core::detail::function_symbol_Lambda();
     124         127 :   const atermpp::function_symbol core::detail::function_symbols::StateMust = core::detail::function_symbol_StateMust();
     125         127 :   const atermpp::function_symbol core::detail::function_symbols::Seq = core::detail::function_symbol_Seq();
     126         127 :   const atermpp::function_symbol core::detail::function_symbols::DataVarIdInit = core::detail::function_symbol_DataVarIdInit();
     127         127 :   const atermpp::function_symbol core::detail::function_symbols::Process = core::detail::function_symbol_Process();
     128         127 :   const atermpp::function_symbol core::detail::function_symbols::TimedMultAct = core::detail::function_symbol_TimedMultAct();
     129         127 :   const atermpp::function_symbol core::detail::function_symbols::ActionRenameSpec = core::detail::function_symbol_ActionRenameSpec();
     130         127 :   const atermpp::function_symbol core::detail::function_symbols::PBES = core::detail::function_symbol_PBES();
     131         127 :   const atermpp::function_symbol core::detail::function_symbols::StateVar = core::detail::function_symbol_StateVar();
     132         127 :   const atermpp::function_symbol core::detail::function_symbols::ActionRenameRule = core::detail::function_symbol_ActionRenameRule();
     133         127 :   const atermpp::function_symbol core::detail::function_symbols::RegSeq = core::detail::function_symbol_RegSeq();
     134         127 :   const atermpp::function_symbol core::detail::function_symbols::ActNot = core::detail::function_symbol_ActNot();
     135         127 :   const atermpp::function_symbol core::detail::function_symbols::LinearProcess = core::detail::function_symbol_LinearProcess();
     136         127 :   const atermpp::function_symbol core::detail::function_symbols::ActAt = core::detail::function_symbol_ActAt();
     137         127 :   const atermpp::function_symbol core::detail::function_symbols::DataEqn = core::detail::function_symbol_DataEqn();
     138         127 :   const atermpp::function_symbol core::detail::function_symbols::PBESNot = core::detail::function_symbol_PBESNot();
     139         127 :   const atermpp::function_symbol core::detail::function_symbols::StateExists = core::detail::function_symbol_StateExists();
     140         127 :   const atermpp::function_symbol core::detail::function_symbols::StateMay = core::detail::function_symbol_StateMay();
     141         127 :   const atermpp::function_symbol core::detail::function_symbols::PBESTrue = core::detail::function_symbol_PBESTrue();
     142         127 :   const atermpp::function_symbol core::detail::function_symbols::MultActName = core::detail::function_symbol_MultActName();
     143         127 :   const atermpp::function_symbol core::detail::function_symbols::IfThenElse = core::detail::function_symbol_IfThenElse();
     144         127 :   const atermpp::function_symbol core::detail::function_symbols::UntypedSortVariable = core::detail::function_symbol_UntypedSortVariable();
     145         127 :   const atermpp::function_symbol core::detail::function_symbols::StateOr = core::detail::function_symbol_StateOr();
     146         127 :   const atermpp::function_symbol core::detail::function_symbols::StructProj = core::detail::function_symbol_StructProj();
     147         127 :   const atermpp::function_symbol core::detail::function_symbols::PBEqn = core::detail::function_symbol_PBEqn();
     148         127 :   const atermpp::function_symbol core::detail::function_symbols::Whr = core::detail::function_symbol_Whr();
     149         127 :   const atermpp::function_symbol core::detail::function_symbols::OpId = core::detail::function_symbol_OpId();
     150         127 :   const atermpp::function_symbol core::detail::function_symbols::SortSet = core::detail::function_symbol_SortSet();
     151         127 :   const atermpp::function_symbol core::detail::function_symbols::ActFalse = core::detail::function_symbol_ActFalse();
     152         127 :   const atermpp::function_symbol core::detail::function_symbols::ActId = core::detail::function_symbol_ActId();
     153         127 :   const atermpp::function_symbol core::detail::function_symbols::StateYaled = core::detail::function_symbol_StateYaled();
     154         127 :   const atermpp::function_symbol core::detail::function_symbols::PBESOr = core::detail::function_symbol_PBESOr();
     155         127 :   const atermpp::function_symbol core::detail::function_symbols::BddTrue = core::detail::function_symbol_BddTrue();
     156         127 :   const atermpp::function_symbol core::detail::function_symbols::UntypedProcessAssignment = core::detail::function_symbol_UntypedProcessAssignment();
     157         127 :   const atermpp::function_symbol core::detail::function_symbols::SortFBag = core::detail::function_symbol_SortFBag();
     158         127 :   const atermpp::function_symbol core::detail::function_symbols::Allow = core::detail::function_symbol_Allow();
     159         127 :   const atermpp::function_symbol core::detail::function_symbols::PropVarDecl = core::detail::function_symbol_PropVarDecl();
     160         127 :   const atermpp::function_symbol core::detail::function_symbols::ActImp = core::detail::function_symbol_ActImp();
     161         127 :   const atermpp::function_symbol core::detail::function_symbols::SortBag = core::detail::function_symbol_SortBag();
     162         127 :   const atermpp::function_symbol core::detail::function_symbols::PBInit = core::detail::function_symbol_PBInit();
     163         127 :   const atermpp::function_symbol core::detail::function_symbols::ActTrue = core::detail::function_symbol_ActTrue();
     164         127 :   const atermpp::function_symbol core::detail::function_symbols::RegTransOrNil = core::detail::function_symbol_RegTransOrNil();
     165         127 :   const atermpp::function_symbol core::detail::function_symbols::UntypedMultiAction = core::detail::function_symbol_UntypedMultiAction();
     166         127 :   const atermpp::function_symbol core::detail::function_symbols::GlobVarSpec = core::detail::function_symbol_GlobVarSpec();
     167         127 :   const atermpp::function_symbol core::detail::function_symbols::UntypedIdentifierAssignment = core::detail::function_symbol_UntypedIdentifierAssignment();
     168         127 :   const atermpp::function_symbol core::detail::function_symbols::UntypedDataParameter = core::detail::function_symbol_UntypedDataParameter();
     169             : //--- end generated function symbol definitions ---//
     170             : 
     171             : //--- start generated default value definitions ---//
     172         127 : const atermpp::aterm_appl core::detail::default_values::BooleanOr = core::detail::default_value_BooleanOr();
     173         127 :   const atermpp::aterm_appl core::detail::default_values::ProcEqn = core::detail::default_value_ProcEqn();
     174         127 :   const atermpp::aterm_appl core::detail::default_values::Hide = core::detail::default_value_Hide();
     175         127 :   const atermpp::aterm_appl core::detail::default_values::SortArrow = core::detail::default_value_SortArrow();
     176         127 :   const atermpp::aterm_appl core::detail::default_values::ProcessAssignment = core::detail::default_value_ProcessAssignment();
     177         127 :   const atermpp::aterm_appl core::detail::default_values::Forall = core::detail::default_value_Forall();
     178         127 :   const atermpp::aterm_appl core::detail::default_values::CommExpr = core::detail::default_value_CommExpr();
     179         127 :   const atermpp::aterm_appl core::detail::default_values::StateNot = core::detail::default_value_StateNot();
     180         127 :   const atermpp::aterm_appl core::detail::default_values::UntypedSetBagComp = core::detail::default_value_UntypedSetBagComp();
     181         127 :   const atermpp::aterm_appl core::detail::default_values::SortFSet = core::detail::default_value_SortFSet();
     182         127 :   const atermpp::aterm_appl core::detail::default_values::StateImp = core::detail::default_value_StateImp();
     183         127 :   const atermpp::aterm_appl core::detail::default_values::PBESExists = core::detail::default_value_PBESExists();
     184         127 :   const atermpp::aterm_appl core::detail::default_values::PBESImp = core::detail::default_value_PBESImp();
     185         127 :   const atermpp::aterm_appl core::detail::default_values::Binder = core::detail::default_value_Binder();
     186         127 :   const atermpp::aterm_appl core::detail::default_values::StochasticOperator = core::detail::default_value_StochasticOperator();
     187         127 :   const atermpp::aterm_appl core::detail::default_values::SortRef = core::detail::default_value_SortRef();
     188         127 :   const atermpp::aterm_appl core::detail::default_values::ProcEqnSpec = core::detail::default_value_ProcEqnSpec();
     189         127 :   const atermpp::aterm_appl core::detail::default_values::StateForall = core::detail::default_value_StateForall();
     190         127 :   const atermpp::aterm_appl core::detail::default_values::BooleanImp = core::detail::default_value_BooleanImp();
     191         127 :   const atermpp::aterm_appl core::detail::default_values::SortId = core::detail::default_value_SortId();
     192         127 :   const atermpp::aterm_appl core::detail::default_values::StateNu = core::detail::default_value_StateNu();
     193         127 :   const atermpp::aterm_appl core::detail::default_values::RegNil = core::detail::default_value_RegNil();
     194         127 :   const atermpp::aterm_appl core::detail::default_values::DataSpec = core::detail::default_value_DataSpec();
     195         127 :   const atermpp::aterm_appl core::detail::default_values::Tau = core::detail::default_value_Tau();
     196         127 :   const atermpp::aterm_appl core::detail::default_values::StateYaledTimed = core::detail::default_value_StateYaledTimed();
     197         127 :   const atermpp::aterm_appl core::detail::default_values::SortCons = core::detail::default_value_SortCons();
     198         127 :   const atermpp::aterm_appl core::detail::default_values::DataEqnSpec = core::detail::default_value_DataEqnSpec();
     199         127 :   const atermpp::aterm_appl core::detail::default_values::LinearProcessSummand = core::detail::default_value_LinearProcessSummand();
     200         127 :   const atermpp::aterm_appl core::detail::default_values::SortSpec = core::detail::default_value_SortSpec();
     201         127 :   const atermpp::aterm_appl core::detail::default_values::ActionRenameRules = core::detail::default_value_ActionRenameRules();
     202         127 :   const atermpp::aterm_appl core::detail::default_values::ActAnd = core::detail::default_value_ActAnd();
     203         127 :   const atermpp::aterm_appl core::detail::default_values::BooleanEquation = core::detail::default_value_BooleanEquation();
     204         127 :   const atermpp::aterm_appl core::detail::default_values::ConsSpec = core::detail::default_value_ConsSpec();
     205         127 :   const atermpp::aterm_appl core::detail::default_values::SortList = core::detail::default_value_SortList();
     206         127 :   const atermpp::aterm_appl core::detail::default_values::Sum = core::detail::default_value_Sum();
     207         127 :   const atermpp::aterm_appl core::detail::default_values::DataVarId = core::detail::default_value_DataVarId();
     208         127 :   const atermpp::aterm_appl core::detail::default_values::ProcVarId = core::detail::default_value_ProcVarId();
     209         127 :   const atermpp::aterm_appl core::detail::default_values::ProcessInit = core::detail::default_value_ProcessInit();
     210         127 :   const atermpp::aterm_appl core::detail::default_values::UntypedIdentifier = core::detail::default_value_UntypedIdentifier();
     211         127 :   const atermpp::aterm_appl core::detail::default_values::BooleanFalse = core::detail::default_value_BooleanFalse();
     212         127 :   const atermpp::aterm_appl core::detail::default_values::BES = core::detail::default_value_BES();
     213         127 :   const atermpp::aterm_appl core::detail::default_values::MapSpec = core::detail::default_value_MapSpec();
     214         127 :   const atermpp::aterm_appl core::detail::default_values::IfThen = core::detail::default_value_IfThen();
     215         127 :   const atermpp::aterm_appl core::detail::default_values::BooleanAnd = core::detail::default_value_BooleanAnd();
     216         127 :   const atermpp::aterm_appl core::detail::default_values::LinProcSpec = core::detail::default_value_LinProcSpec();
     217         127 :   const atermpp::aterm_appl core::detail::default_values::Choice = core::detail::default_value_Choice();
     218         127 :   const atermpp::aterm_appl core::detail::default_values::LinearProcessInit = core::detail::default_value_LinearProcessInit();
     219         127 :   const atermpp::aterm_appl core::detail::default_values::MultAct = core::detail::default_value_MultAct();
     220         127 :   const atermpp::aterm_appl core::detail::default_values::PropVarInst = core::detail::default_value_PropVarInst();
     221         127 :   const atermpp::aterm_appl core::detail::default_values::BagComp = core::detail::default_value_BagComp();
     222         127 :   const atermpp::aterm_appl core::detail::default_values::StateDelay = core::detail::default_value_StateDelay();
     223         127 :   const atermpp::aterm_appl core::detail::default_values::RegAlt = core::detail::default_value_RegAlt();
     224         127 :   const atermpp::aterm_appl core::detail::default_values::BddFalse = core::detail::default_value_BddFalse();
     225         127 :   const atermpp::aterm_appl core::detail::default_values::StructCons = core::detail::default_value_StructCons();
     226         127 :   const atermpp::aterm_appl core::detail::default_values::Mu = core::detail::default_value_Mu();
     227         127 :   const atermpp::aterm_appl core::detail::default_values::PBEqnSpec = core::detail::default_value_PBEqnSpec();
     228         127 :   const atermpp::aterm_appl core::detail::default_values::UntypedRegFrm = core::detail::default_value_UntypedRegFrm();
     229         127 :   const atermpp::aterm_appl core::detail::default_values::Distribution = core::detail::default_value_Distribution();
     230         127 :   const atermpp::aterm_appl core::detail::default_values::BooleanTrue = core::detail::default_value_BooleanTrue();
     231         127 :   const atermpp::aterm_appl core::detail::default_values::Block = core::detail::default_value_Block();
     232         127 :   const atermpp::aterm_appl core::detail::default_values::Rename = core::detail::default_value_Rename();
     233         127 :   const atermpp::aterm_appl core::detail::default_values::Exists = core::detail::default_value_Exists();
     234         127 :   const atermpp::aterm_appl core::detail::default_values::Sync = core::detail::default_value_Sync();
     235         127 :   const atermpp::aterm_appl core::detail::default_values::ActExists = core::detail::default_value_ActExists();
     236         127 :   const atermpp::aterm_appl core::detail::default_values::ProcSpec = core::detail::default_value_ProcSpec();
     237         127 :   const atermpp::aterm_appl core::detail::default_values::UntypedSortsPossible = core::detail::default_value_UntypedSortsPossible();
     238         127 :   const atermpp::aterm_appl core::detail::default_values::StateMu = core::detail::default_value_StateMu();
     239         127 :   const atermpp::aterm_appl core::detail::default_values::BddIf = core::detail::default_value_BddIf();
     240         127 :   const atermpp::aterm_appl core::detail::default_values::StateFalse = core::detail::default_value_StateFalse();
     241         127 :   const atermpp::aterm_appl core::detail::default_values::PBESFalse = core::detail::default_value_PBESFalse();
     242         127 :   const atermpp::aterm_appl core::detail::default_values::PBESForall = core::detail::default_value_PBESForall();
     243         127 :   const atermpp::aterm_appl core::detail::default_values::StateTrue = core::detail::default_value_StateTrue();
     244         127 :   const atermpp::aterm_appl core::detail::default_values::BInit = core::detail::default_value_BInit();
     245         127 :   const atermpp::aterm_appl core::detail::default_values::UntypedSortUnknown = core::detail::default_value_UntypedSortUnknown();
     246         127 :   const atermpp::aterm_appl core::detail::default_values::RegTrans = core::detail::default_value_RegTrans();
     247         127 :   const atermpp::aterm_appl core::detail::default_values::StateDelayTimed = core::detail::default_value_StateDelayTimed();
     248         127 :   const atermpp::aterm_appl core::detail::default_values::Nu = core::detail::default_value_Nu();
     249         127 :   const atermpp::aterm_appl core::detail::default_values::SortStruct = core::detail::default_value_SortStruct();
     250         127 :   const atermpp::aterm_appl core::detail::default_values::AtTime = core::detail::default_value_AtTime();
     251         127 :   const atermpp::aterm_appl core::detail::default_values::ActOr = core::detail::default_value_ActOr();
     252         127 :   const atermpp::aterm_appl core::detail::default_values::Comm = core::detail::default_value_Comm();
     253         127 :   const atermpp::aterm_appl core::detail::default_values::BooleanNot = core::detail::default_value_BooleanNot();
     254         127 :   const atermpp::aterm_appl core::detail::default_values::Delta = core::detail::default_value_Delta();
     255         127 :   const atermpp::aterm_appl core::detail::default_values::ActMultAct = core::detail::default_value_ActMultAct();
     256         127 :   const atermpp::aterm_appl core::detail::default_values::StateAnd = core::detail::default_value_StateAnd();
     257         127 :   const atermpp::aterm_appl core::detail::default_values::LMerge = core::detail::default_value_LMerge();
     258         127 :   const atermpp::aterm_appl core::detail::default_values::SetComp = core::detail::default_value_SetComp();
     259         127 :   const atermpp::aterm_appl core::detail::default_values::ActForall = core::detail::default_value_ActForall();
     260         127 :   const atermpp::aterm_appl core::detail::default_values::RenameExpr = core::detail::default_value_RenameExpr();
     261         127 :   const atermpp::aterm_appl core::detail::default_values::Merge = core::detail::default_value_Merge();
     262         127 :   const atermpp::aterm_appl core::detail::default_values::ActSpec = core::detail::default_value_ActSpec();
     263         127 :   const atermpp::aterm_appl core::detail::default_values::BooleanVariable = core::detail::default_value_BooleanVariable();
     264         127 :   const atermpp::aterm_appl core::detail::default_values::Action = core::detail::default_value_Action();
     265         127 :   const atermpp::aterm_appl core::detail::default_values::PBESAnd = core::detail::default_value_PBESAnd();
     266         127 :   const atermpp::aterm_appl core::detail::default_values::Lambda = core::detail::default_value_Lambda();
     267         127 :   const atermpp::aterm_appl core::detail::default_values::StateMust = core::detail::default_value_StateMust();
     268         127 :   const atermpp::aterm_appl core::detail::default_values::Seq = core::detail::default_value_Seq();
     269         127 :   const atermpp::aterm_appl core::detail::default_values::DataVarIdInit = core::detail::default_value_DataVarIdInit();
     270         127 :   const atermpp::aterm_appl core::detail::default_values::Process = core::detail::default_value_Process();
     271         127 :   const atermpp::aterm_appl core::detail::default_values::TimedMultAct = core::detail::default_value_TimedMultAct();
     272         127 :   const atermpp::aterm_appl core::detail::default_values::ActionRenameSpec = core::detail::default_value_ActionRenameSpec();
     273         127 :   const atermpp::aterm_appl core::detail::default_values::PBES = core::detail::default_value_PBES();
     274         127 :   const atermpp::aterm_appl core::detail::default_values::StateVar = core::detail::default_value_StateVar();
     275         127 :   const atermpp::aterm_appl core::detail::default_values::ActionRenameRule = core::detail::default_value_ActionRenameRule();
     276         127 :   const atermpp::aterm_appl core::detail::default_values::RegSeq = core::detail::default_value_RegSeq();
     277         127 :   const atermpp::aterm_appl core::detail::default_values::ActNot = core::detail::default_value_ActNot();
     278         127 :   const atermpp::aterm_appl core::detail::default_values::LinearProcess = core::detail::default_value_LinearProcess();
     279         127 :   const atermpp::aterm_appl core::detail::default_values::ActAt = core::detail::default_value_ActAt();
     280         127 :   const atermpp::aterm_appl core::detail::default_values::DataEqn = core::detail::default_value_DataEqn();
     281         127 :   const atermpp::aterm_appl core::detail::default_values::PBESNot = core::detail::default_value_PBESNot();
     282         127 :   const atermpp::aterm_appl core::detail::default_values::StateExists = core::detail::default_value_StateExists();
     283         127 :   const atermpp::aterm_appl core::detail::default_values::StateMay = core::detail::default_value_StateMay();
     284         127 :   const atermpp::aterm_appl core::detail::default_values::PBESTrue = core::detail::default_value_PBESTrue();
     285         127 :   const atermpp::aterm_appl core::detail::default_values::MultActName = core::detail::default_value_MultActName();
     286         127 :   const atermpp::aterm_appl core::detail::default_values::IfThenElse = core::detail::default_value_IfThenElse();
     287         127 :   const atermpp::aterm_appl core::detail::default_values::UntypedSortVariable = core::detail::default_value_UntypedSortVariable();
     288         127 :   const atermpp::aterm_appl core::detail::default_values::StateOr = core::detail::default_value_StateOr();
     289         127 :   const atermpp::aterm_appl core::detail::default_values::StructProj = core::detail::default_value_StructProj();
     290         127 :   const atermpp::aterm_appl core::detail::default_values::PBEqn = core::detail::default_value_PBEqn();
     291         127 :   const atermpp::aterm_appl core::detail::default_values::Whr = core::detail::default_value_Whr();
     292         127 :   const atermpp::aterm_appl core::detail::default_values::OpId = core::detail::default_value_OpId();
     293         127 :   const atermpp::aterm_appl core::detail::default_values::SortSet = core::detail::default_value_SortSet();
     294         127 :   const atermpp::aterm_appl core::detail::default_values::ActFalse = core::detail::default_value_ActFalse();
     295         127 :   const atermpp::aterm_appl core::detail::default_values::ActId = core::detail::default_value_ActId();
     296         127 :   const atermpp::aterm_appl core::detail::default_values::StateYaled = core::detail::default_value_StateYaled();
     297         127 :   const atermpp::aterm_appl core::detail::default_values::PBESOr = core::detail::default_value_PBESOr();
     298         127 :   const atermpp::aterm_appl core::detail::default_values::BddTrue = core::detail::default_value_BddTrue();
     299         127 :   const atermpp::aterm_appl core::detail::default_values::UntypedProcessAssignment = core::detail::default_value_UntypedProcessAssignment();
     300         127 :   const atermpp::aterm_appl core::detail::default_values::SortFBag = core::detail::default_value_SortFBag();
     301         127 :   const atermpp::aterm_appl core::detail::default_values::Allow = core::detail::default_value_Allow();
     302         127 :   const atermpp::aterm_appl core::detail::default_values::PropVarDecl = core::detail::default_value_PropVarDecl();
     303         127 :   const atermpp::aterm_appl core::detail::default_values::ActImp = core::detail::default_value_ActImp();
     304         127 :   const atermpp::aterm_appl core::detail::default_values::SortBag = core::detail::default_value_SortBag();
     305         127 :   const atermpp::aterm_appl core::detail::default_values::PBInit = core::detail::default_value_PBInit();
     306         127 :   const atermpp::aterm_appl core::detail::default_values::ActTrue = core::detail::default_value_ActTrue();
     307         127 :   const atermpp::aterm_appl core::detail::default_values::RegTransOrNil = core::detail::default_value_RegTransOrNil();
     308         127 :   const atermpp::aterm_appl core::detail::default_values::UntypedMultiAction = core::detail::default_value_UntypedMultiAction();
     309         127 :   const atermpp::aterm_appl core::detail::default_values::GlobVarSpec = core::detail::default_value_GlobVarSpec();
     310         127 :   const atermpp::aterm_appl core::detail::default_values::UntypedIdentifierAssignment = core::detail::default_value_UntypedIdentifierAssignment();
     311         127 :   const atermpp::aterm_appl core::detail::default_values::UntypedDataParameter = core::detail::default_value_UntypedDataParameter();
     312         127 :   const atermpp::aterm_appl core::detail::default_values::SortExpr = core::detail::default_value_SortExpr();
     313         127 :   const atermpp::aterm_appl core::detail::default_values::SortConsType = core::detail::default_value_SortConsType();
     314         127 :   const atermpp::aterm_appl core::detail::default_values::DataExpr = core::detail::default_value_DataExpr();
     315         127 :   const atermpp::aterm_appl core::detail::default_values::BindingOperator = core::detail::default_value_BindingOperator();
     316         127 :   const atermpp::aterm_appl core::detail::default_values::WhrDecl = core::detail::default_value_WhrDecl();
     317         127 :   const atermpp::aterm_appl core::detail::default_values::SortDecl = core::detail::default_value_SortDecl();
     318         127 :   const atermpp::aterm_appl core::detail::default_values::ProcExpr = core::detail::default_value_ProcExpr();
     319         127 :   const atermpp::aterm_appl core::detail::default_values::MultActOrDelta = core::detail::default_value_MultActOrDelta();
     320         127 :   const atermpp::aterm_appl core::detail::default_values::ProcInit = core::detail::default_value_ProcInit();
     321         127 :   const atermpp::aterm_appl core::detail::default_values::StateFrm = core::detail::default_value_StateFrm();
     322         127 :   const atermpp::aterm_appl core::detail::default_values::RegFrm = core::detail::default_value_RegFrm();
     323         127 :   const atermpp::aterm_appl core::detail::default_values::ActFrm = core::detail::default_value_ActFrm();
     324         127 :   const atermpp::aterm_appl core::detail::default_values::ParamIdOrAction = core::detail::default_value_ParamIdOrAction();
     325         127 :   const atermpp::aterm_appl core::detail::default_values::ActionRenameRuleRHS = core::detail::default_value_ActionRenameRuleRHS();
     326         127 :   const atermpp::aterm_appl core::detail::default_values::FixPoint = core::detail::default_value_FixPoint();
     327         127 :   const atermpp::aterm_appl core::detail::default_values::PBExpr = core::detail::default_value_PBExpr();
     328         127 :   const atermpp::aterm_appl core::detail::default_values::BooleanExpression = core::detail::default_value_BooleanExpression();
     329         127 :   const atermpp::aterm_appl core::detail::default_values::BddExpression = core::detail::default_value_BddExpression();
     330             : //--- end generated default value definitions ---//
     331             : 
     332             : } // namespace core
     333             : 
     334         381 : } // namespace mcrl2

Generated by: LCOV version 1.13