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             : std::vector<std::unique_ptr<atermpp::function_symbol>> function_symbols_DataAppl;
      21             : atermpp::function_symbol function_symbols_DataApplFixed[DataApplFixed];
      22             : 
      23             : } // namespace detail
      24             : 
      25             : //--- start generated core overloads ---//
      26         443 : std::string pp(const core::identifier_string& x) { return core::pp< core::identifier_string >(x); }
      27             : //--- end generated core overloads ---//
      28             : 
      29             : //--- start generated function symbol definitions ---//
      30             : const atermpp::function_symbol core::detail::function_symbols::SortCons = core::detail::function_symbol_SortCons();
      31             :   const atermpp::function_symbol core::detail::function_symbols::SortStruct = core::detail::function_symbol_SortStruct();
      32             :   const atermpp::function_symbol core::detail::function_symbols::SortArrow = core::detail::function_symbol_SortArrow();
      33             :   const atermpp::function_symbol core::detail::function_symbols::UntypedSortUnknown = core::detail::function_symbol_UntypedSortUnknown();
      34             :   const atermpp::function_symbol core::detail::function_symbols::UntypedSortsPossible = core::detail::function_symbol_UntypedSortsPossible();
      35             :   const atermpp::function_symbol core::detail::function_symbols::UntypedSortVariable = core::detail::function_symbol_UntypedSortVariable();
      36             :   const atermpp::function_symbol core::detail::function_symbols::SortId = core::detail::function_symbol_SortId();
      37             :   const atermpp::function_symbol core::detail::function_symbols::SortList = core::detail::function_symbol_SortList();
      38             :   const atermpp::function_symbol core::detail::function_symbols::SortSet = core::detail::function_symbol_SortSet();
      39             :   const atermpp::function_symbol core::detail::function_symbols::SortBag = core::detail::function_symbol_SortBag();
      40             :   const atermpp::function_symbol core::detail::function_symbols::SortFSet = core::detail::function_symbol_SortFSet();
      41             :   const atermpp::function_symbol core::detail::function_symbols::SortFBag = core::detail::function_symbol_SortFBag();
      42             :   const atermpp::function_symbol core::detail::function_symbols::StructCons = core::detail::function_symbol_StructCons();
      43             :   const atermpp::function_symbol core::detail::function_symbols::StructProj = core::detail::function_symbol_StructProj();
      44             :   const atermpp::function_symbol core::detail::function_symbols::Binder = core::detail::function_symbol_Binder();
      45             :   const atermpp::function_symbol core::detail::function_symbols::Whr = core::detail::function_symbol_Whr();
      46             :   const atermpp::function_symbol core::detail::function_symbols::UntypedIdentifier = core::detail::function_symbol_UntypedIdentifier();
      47             :   const atermpp::function_symbol core::detail::function_symbols::DataVarId = core::detail::function_symbol_DataVarId();
      48             :   const atermpp::function_symbol core::detail::function_symbols::OpId = core::detail::function_symbol_OpId();
      49             :   const atermpp::function_symbol core::detail::function_symbols::UntypedDataParameter = core::detail::function_symbol_UntypedDataParameter();
      50             :   const atermpp::function_symbol core::detail::function_symbols::Forall = core::detail::function_symbol_Forall();
      51             :   const atermpp::function_symbol core::detail::function_symbols::Exists = core::detail::function_symbol_Exists();
      52             :   const atermpp::function_symbol core::detail::function_symbols::SetComp = core::detail::function_symbol_SetComp();
      53             :   const atermpp::function_symbol core::detail::function_symbols::BagComp = core::detail::function_symbol_BagComp();
      54             :   const atermpp::function_symbol core::detail::function_symbols::Lambda = core::detail::function_symbol_Lambda();
      55             :   const atermpp::function_symbol core::detail::function_symbols::UntypedSetBagComp = core::detail::function_symbol_UntypedSetBagComp();
      56             :   const atermpp::function_symbol core::detail::function_symbols::DataVarIdInit = core::detail::function_symbol_DataVarIdInit();
      57             :   const atermpp::function_symbol core::detail::function_symbols::UntypedIdentifierAssignment = core::detail::function_symbol_UntypedIdentifierAssignment();
      58             :   const atermpp::function_symbol core::detail::function_symbols::DataSpec = core::detail::function_symbol_DataSpec();
      59             :   const atermpp::function_symbol core::detail::function_symbols::SortSpec = core::detail::function_symbol_SortSpec();
      60             :   const atermpp::function_symbol core::detail::function_symbols::ConsSpec = core::detail::function_symbol_ConsSpec();
      61             :   const atermpp::function_symbol core::detail::function_symbols::MapSpec = core::detail::function_symbol_MapSpec();
      62             :   const atermpp::function_symbol core::detail::function_symbols::DataEqnSpec = core::detail::function_symbol_DataEqnSpec();
      63             :   const atermpp::function_symbol core::detail::function_symbols::SortRef = core::detail::function_symbol_SortRef();
      64             :   const atermpp::function_symbol core::detail::function_symbols::DataEqn = core::detail::function_symbol_DataEqn();
      65             :   const atermpp::function_symbol core::detail::function_symbols::MultAct = core::detail::function_symbol_MultAct();
      66             :   const atermpp::function_symbol core::detail::function_symbols::TimedMultAct = core::detail::function_symbol_TimedMultAct();
      67             :   const atermpp::function_symbol core::detail::function_symbols::UntypedMultiAction = core::detail::function_symbol_UntypedMultiAction();
      68             :   const atermpp::function_symbol core::detail::function_symbols::Action = core::detail::function_symbol_Action();
      69             :   const atermpp::function_symbol core::detail::function_symbols::ActId = core::detail::function_symbol_ActId();
      70             :   const atermpp::function_symbol core::detail::function_symbols::Process = core::detail::function_symbol_Process();
      71             :   const atermpp::function_symbol core::detail::function_symbols::ProcessAssignment = core::detail::function_symbol_ProcessAssignment();
      72             :   const atermpp::function_symbol core::detail::function_symbols::Delta = core::detail::function_symbol_Delta();
      73             :   const atermpp::function_symbol core::detail::function_symbols::Tau = core::detail::function_symbol_Tau();
      74             :   const atermpp::function_symbol core::detail::function_symbols::Sum = core::detail::function_symbol_Sum();
      75             :   const atermpp::function_symbol core::detail::function_symbols::Block = core::detail::function_symbol_Block();
      76             :   const atermpp::function_symbol core::detail::function_symbols::Hide = core::detail::function_symbol_Hide();
      77             :   const atermpp::function_symbol core::detail::function_symbols::Rename = core::detail::function_symbol_Rename();
      78             :   const atermpp::function_symbol core::detail::function_symbols::Comm = core::detail::function_symbol_Comm();
      79             :   const atermpp::function_symbol core::detail::function_symbols::Allow = core::detail::function_symbol_Allow();
      80             :   const atermpp::function_symbol core::detail::function_symbols::Sync = core::detail::function_symbol_Sync();
      81             :   const atermpp::function_symbol core::detail::function_symbols::AtTime = core::detail::function_symbol_AtTime();
      82             :   const atermpp::function_symbol core::detail::function_symbols::Seq = core::detail::function_symbol_Seq();
      83             :   const atermpp::function_symbol core::detail::function_symbols::IfThen = core::detail::function_symbol_IfThen();
      84             :   const atermpp::function_symbol core::detail::function_symbols::IfThenElse = core::detail::function_symbol_IfThenElse();
      85             :   const atermpp::function_symbol core::detail::function_symbols::BInit = core::detail::function_symbol_BInit();
      86             :   const atermpp::function_symbol core::detail::function_symbols::Merge = core::detail::function_symbol_Merge();
      87             :   const atermpp::function_symbol core::detail::function_symbols::LMerge = core::detail::function_symbol_LMerge();
      88             :   const atermpp::function_symbol core::detail::function_symbols::Choice = core::detail::function_symbol_Choice();
      89             :   const atermpp::function_symbol core::detail::function_symbols::StochasticOperator = core::detail::function_symbol_StochasticOperator();
      90             :   const atermpp::function_symbol core::detail::function_symbols::UntypedProcessAssignment = core::detail::function_symbol_UntypedProcessAssignment();
      91             :   const atermpp::function_symbol core::detail::function_symbols::ProcVarId = core::detail::function_symbol_ProcVarId();
      92             :   const atermpp::function_symbol core::detail::function_symbols::MultActName = core::detail::function_symbol_MultActName();
      93             :   const atermpp::function_symbol core::detail::function_symbols::RenameExpr = core::detail::function_symbol_RenameExpr();
      94             :   const atermpp::function_symbol core::detail::function_symbols::CommExpr = core::detail::function_symbol_CommExpr();
      95             :   const atermpp::function_symbol core::detail::function_symbols::ProcSpec = core::detail::function_symbol_ProcSpec();
      96             :   const atermpp::function_symbol core::detail::function_symbols::ActSpec = core::detail::function_symbol_ActSpec();
      97             :   const atermpp::function_symbol core::detail::function_symbols::GlobVarSpec = core::detail::function_symbol_GlobVarSpec();
      98             :   const atermpp::function_symbol core::detail::function_symbols::ProcEqnSpec = core::detail::function_symbol_ProcEqnSpec();
      99             :   const atermpp::function_symbol core::detail::function_symbols::ProcEqn = core::detail::function_symbol_ProcEqn();
     100             :   const atermpp::function_symbol core::detail::function_symbols::ProcessInit = core::detail::function_symbol_ProcessInit();
     101             :   const atermpp::function_symbol core::detail::function_symbols::Distribution = core::detail::function_symbol_Distribution();
     102             :   const atermpp::function_symbol core::detail::function_symbols::LinProcSpec = core::detail::function_symbol_LinProcSpec();
     103             :   const atermpp::function_symbol core::detail::function_symbols::LinearProcess = core::detail::function_symbol_LinearProcess();
     104             :   const atermpp::function_symbol core::detail::function_symbols::LinearProcessSummand = core::detail::function_symbol_LinearProcessSummand();
     105             :   const atermpp::function_symbol core::detail::function_symbols::LinearProcessInit = core::detail::function_symbol_LinearProcessInit();
     106             :   const atermpp::function_symbol core::detail::function_symbols::StateTrue = core::detail::function_symbol_StateTrue();
     107             :   const atermpp::function_symbol core::detail::function_symbols::StateFalse = core::detail::function_symbol_StateFalse();
     108             :   const atermpp::function_symbol core::detail::function_symbols::StateNot = core::detail::function_symbol_StateNot();
     109             :   const atermpp::function_symbol core::detail::function_symbols::StateMinus = core::detail::function_symbol_StateMinus();
     110             :   const atermpp::function_symbol core::detail::function_symbols::StateAnd = core::detail::function_symbol_StateAnd();
     111             :   const atermpp::function_symbol core::detail::function_symbols::StateOr = core::detail::function_symbol_StateOr();
     112             :   const atermpp::function_symbol core::detail::function_symbols::StateImp = core::detail::function_symbol_StateImp();
     113             :   const atermpp::function_symbol core::detail::function_symbols::StatePlus = core::detail::function_symbol_StatePlus();
     114             :   const atermpp::function_symbol core::detail::function_symbols::StateConstantMultiply = core::detail::function_symbol_StateConstantMultiply();
     115             :   const atermpp::function_symbol core::detail::function_symbols::StateConstantMultiplyAlt = core::detail::function_symbol_StateConstantMultiplyAlt();
     116             :   const atermpp::function_symbol core::detail::function_symbols::StateForall = core::detail::function_symbol_StateForall();
     117             :   const atermpp::function_symbol core::detail::function_symbols::StateExists = core::detail::function_symbol_StateExists();
     118             :   const atermpp::function_symbol core::detail::function_symbols::StateInfimum = core::detail::function_symbol_StateInfimum();
     119             :   const atermpp::function_symbol core::detail::function_symbols::StateSupremum = core::detail::function_symbol_StateSupremum();
     120             :   const atermpp::function_symbol core::detail::function_symbols::StateSum = core::detail::function_symbol_StateSum();
     121             :   const atermpp::function_symbol core::detail::function_symbols::StateMust = core::detail::function_symbol_StateMust();
     122             :   const atermpp::function_symbol core::detail::function_symbols::StateMay = core::detail::function_symbol_StateMay();
     123             :   const atermpp::function_symbol core::detail::function_symbols::StateYaled = core::detail::function_symbol_StateYaled();
     124             :   const atermpp::function_symbol core::detail::function_symbols::StateYaledTimed = core::detail::function_symbol_StateYaledTimed();
     125             :   const atermpp::function_symbol core::detail::function_symbols::StateDelay = core::detail::function_symbol_StateDelay();
     126             :   const atermpp::function_symbol core::detail::function_symbols::StateDelayTimed = core::detail::function_symbol_StateDelayTimed();
     127             :   const atermpp::function_symbol core::detail::function_symbols::StateVar = core::detail::function_symbol_StateVar();
     128             :   const atermpp::function_symbol core::detail::function_symbols::StateNu = core::detail::function_symbol_StateNu();
     129             :   const atermpp::function_symbol core::detail::function_symbols::StateMu = core::detail::function_symbol_StateMu();
     130             :   const atermpp::function_symbol core::detail::function_symbols::RegNil = core::detail::function_symbol_RegNil();
     131             :   const atermpp::function_symbol core::detail::function_symbols::RegSeq = core::detail::function_symbol_RegSeq();
     132             :   const atermpp::function_symbol core::detail::function_symbols::RegAlt = core::detail::function_symbol_RegAlt();
     133             :   const atermpp::function_symbol core::detail::function_symbols::RegTrans = core::detail::function_symbol_RegTrans();
     134             :   const atermpp::function_symbol core::detail::function_symbols::RegTransOrNil = core::detail::function_symbol_RegTransOrNil();
     135             :   const atermpp::function_symbol core::detail::function_symbols::UntypedRegFrm = core::detail::function_symbol_UntypedRegFrm();
     136             :   const atermpp::function_symbol core::detail::function_symbols::ActTrue = core::detail::function_symbol_ActTrue();
     137             :   const atermpp::function_symbol core::detail::function_symbols::ActFalse = core::detail::function_symbol_ActFalse();
     138             :   const atermpp::function_symbol core::detail::function_symbols::ActNot = core::detail::function_symbol_ActNot();
     139             :   const atermpp::function_symbol core::detail::function_symbols::ActAnd = core::detail::function_symbol_ActAnd();
     140             :   const atermpp::function_symbol core::detail::function_symbols::ActOr = core::detail::function_symbol_ActOr();
     141             :   const atermpp::function_symbol core::detail::function_symbols::ActImp = core::detail::function_symbol_ActImp();
     142             :   const atermpp::function_symbol core::detail::function_symbols::ActForall = core::detail::function_symbol_ActForall();
     143             :   const atermpp::function_symbol core::detail::function_symbols::ActExists = core::detail::function_symbol_ActExists();
     144             :   const atermpp::function_symbol core::detail::function_symbols::ActAt = core::detail::function_symbol_ActAt();
     145             :   const atermpp::function_symbol core::detail::function_symbols::ActMultAct = core::detail::function_symbol_ActMultAct();
     146             :   const atermpp::function_symbol core::detail::function_symbols::ActionRenameRules = core::detail::function_symbol_ActionRenameRules();
     147             :   const atermpp::function_symbol core::detail::function_symbols::ActionRenameRule = core::detail::function_symbol_ActionRenameRule();
     148             :   const atermpp::function_symbol core::detail::function_symbols::ActionRenameSpec = core::detail::function_symbol_ActionRenameSpec();
     149             :   const atermpp::function_symbol core::detail::function_symbols::PBES = core::detail::function_symbol_PBES();
     150             :   const atermpp::function_symbol core::detail::function_symbols::PBEqnSpec = core::detail::function_symbol_PBEqnSpec();
     151             :   const atermpp::function_symbol core::detail::function_symbols::PBInit = core::detail::function_symbol_PBInit();
     152             :   const atermpp::function_symbol core::detail::function_symbols::PBEqn = core::detail::function_symbol_PBEqn();
     153             :   const atermpp::function_symbol core::detail::function_symbols::Mu = core::detail::function_symbol_Mu();
     154             :   const atermpp::function_symbol core::detail::function_symbols::Nu = core::detail::function_symbol_Nu();
     155             :   const atermpp::function_symbol core::detail::function_symbols::PropVarDecl = core::detail::function_symbol_PropVarDecl();
     156             :   const atermpp::function_symbol core::detail::function_symbols::PBESTrue = core::detail::function_symbol_PBESTrue();
     157             :   const atermpp::function_symbol core::detail::function_symbols::PBESFalse = core::detail::function_symbol_PBESFalse();
     158             :   const atermpp::function_symbol core::detail::function_symbols::PBESNot = core::detail::function_symbol_PBESNot();
     159             :   const atermpp::function_symbol core::detail::function_symbols::PBESAnd = core::detail::function_symbol_PBESAnd();
     160             :   const atermpp::function_symbol core::detail::function_symbols::PBESOr = core::detail::function_symbol_PBESOr();
     161             :   const atermpp::function_symbol core::detail::function_symbols::PBESImp = core::detail::function_symbol_PBESImp();
     162             :   const atermpp::function_symbol core::detail::function_symbols::PBESForall = core::detail::function_symbol_PBESForall();
     163             :   const atermpp::function_symbol core::detail::function_symbols::PBESExists = core::detail::function_symbol_PBESExists();
     164             :   const atermpp::function_symbol core::detail::function_symbols::PropVarInst = core::detail::function_symbol_PropVarInst();
     165             :   const atermpp::function_symbol core::detail::function_symbols::PRES = core::detail::function_symbol_PRES();
     166             :   const atermpp::function_symbol core::detail::function_symbols::PREqnSpec = core::detail::function_symbol_PREqnSpec();
     167             :   const atermpp::function_symbol core::detail::function_symbols::PRInit = core::detail::function_symbol_PRInit();
     168             :   const atermpp::function_symbol core::detail::function_symbols::PREqn = core::detail::function_symbol_PREqn();
     169             :   const atermpp::function_symbol core::detail::function_symbols::PRESTrue = core::detail::function_symbol_PRESTrue();
     170             :   const atermpp::function_symbol core::detail::function_symbols::PRESFalse = core::detail::function_symbol_PRESFalse();
     171             :   const atermpp::function_symbol core::detail::function_symbols::PRESMinus = core::detail::function_symbol_PRESMinus();
     172             :   const atermpp::function_symbol core::detail::function_symbols::PRESAnd = core::detail::function_symbol_PRESAnd();
     173             :   const atermpp::function_symbol core::detail::function_symbols::PRESOr = core::detail::function_symbol_PRESOr();
     174             :   const atermpp::function_symbol core::detail::function_symbols::PRESImp = core::detail::function_symbol_PRESImp();
     175             :   const atermpp::function_symbol core::detail::function_symbols::PRESPlus = core::detail::function_symbol_PRESPlus();
     176             :   const atermpp::function_symbol core::detail::function_symbols::PRESConstantMultiply = core::detail::function_symbol_PRESConstantMultiply();
     177             :   const atermpp::function_symbol core::detail::function_symbols::PRESConstantMultiplyAlt = core::detail::function_symbol_PRESConstantMultiplyAlt();
     178             :   const atermpp::function_symbol core::detail::function_symbols::PRESInfimum = core::detail::function_symbol_PRESInfimum();
     179             :   const atermpp::function_symbol core::detail::function_symbols::PRESSupremum = core::detail::function_symbol_PRESSupremum();
     180             :   const atermpp::function_symbol core::detail::function_symbols::PRESSum = core::detail::function_symbol_PRESSum();
     181             :   const atermpp::function_symbol core::detail::function_symbols::PRESEqInf = core::detail::function_symbol_PRESEqInf();
     182             :   const atermpp::function_symbol core::detail::function_symbols::PRESEqNInf = core::detail::function_symbol_PRESEqNInf();
     183             :   const atermpp::function_symbol core::detail::function_symbols::PRESCondSm = core::detail::function_symbol_PRESCondSm();
     184             :   const atermpp::function_symbol core::detail::function_symbols::PRESCondEq = core::detail::function_symbol_PRESCondEq();
     185             : //--- end generated function symbol definitions ---//
     186             : 
     187             : //--- start generated default value definitions ---//
     188             : const atermpp::aterm_appl core::detail::default_values::SortCons = core::detail::default_value_SortCons();
     189             :   const atermpp::aterm_appl core::detail::default_values::SortStruct = core::detail::default_value_SortStruct();
     190             :   const atermpp::aterm_appl core::detail::default_values::SortArrow = core::detail::default_value_SortArrow();
     191             :   const atermpp::aterm_appl core::detail::default_values::UntypedSortUnknown = core::detail::default_value_UntypedSortUnknown();
     192             :   const atermpp::aterm_appl core::detail::default_values::UntypedSortsPossible = core::detail::default_value_UntypedSortsPossible();
     193             :   const atermpp::aterm_appl core::detail::default_values::UntypedSortVariable = core::detail::default_value_UntypedSortVariable();
     194             :   const atermpp::aterm_appl core::detail::default_values::SortId = core::detail::default_value_SortId();
     195             :   const atermpp::aterm_appl core::detail::default_values::SortList = core::detail::default_value_SortList();
     196             :   const atermpp::aterm_appl core::detail::default_values::SortSet = core::detail::default_value_SortSet();
     197             :   const atermpp::aterm_appl core::detail::default_values::SortBag = core::detail::default_value_SortBag();
     198             :   const atermpp::aterm_appl core::detail::default_values::SortFSet = core::detail::default_value_SortFSet();
     199             :   const atermpp::aterm_appl core::detail::default_values::SortFBag = core::detail::default_value_SortFBag();
     200             :   const atermpp::aterm_appl core::detail::default_values::StructCons = core::detail::default_value_StructCons();
     201             :   const atermpp::aterm_appl core::detail::default_values::StructProj = core::detail::default_value_StructProj();
     202             :   const atermpp::aterm_appl core::detail::default_values::Binder = core::detail::default_value_Binder();
     203             :   const atermpp::aterm_appl core::detail::default_values::Whr = core::detail::default_value_Whr();
     204             :   const atermpp::aterm_appl core::detail::default_values::UntypedIdentifier = core::detail::default_value_UntypedIdentifier();
     205             :   const atermpp::aterm_appl core::detail::default_values::DataVarId = core::detail::default_value_DataVarId();
     206             :   const atermpp::aterm_appl core::detail::default_values::OpId = core::detail::default_value_OpId();
     207             :   const atermpp::aterm_appl core::detail::default_values::UntypedDataParameter = core::detail::default_value_UntypedDataParameter();
     208             :   const atermpp::aterm_appl core::detail::default_values::Forall = core::detail::default_value_Forall();
     209             :   const atermpp::aterm_appl core::detail::default_values::Exists = core::detail::default_value_Exists();
     210             :   const atermpp::aterm_appl core::detail::default_values::SetComp = core::detail::default_value_SetComp();
     211             :   const atermpp::aterm_appl core::detail::default_values::BagComp = core::detail::default_value_BagComp();
     212             :   const atermpp::aterm_appl core::detail::default_values::Lambda = core::detail::default_value_Lambda();
     213             :   const atermpp::aterm_appl core::detail::default_values::UntypedSetBagComp = core::detail::default_value_UntypedSetBagComp();
     214             :   const atermpp::aterm_appl core::detail::default_values::DataVarIdInit = core::detail::default_value_DataVarIdInit();
     215             :   const atermpp::aterm_appl core::detail::default_values::UntypedIdentifierAssignment = core::detail::default_value_UntypedIdentifierAssignment();
     216             :   const atermpp::aterm_appl core::detail::default_values::DataSpec = core::detail::default_value_DataSpec();
     217             :   const atermpp::aterm_appl core::detail::default_values::SortSpec = core::detail::default_value_SortSpec();
     218             :   const atermpp::aterm_appl core::detail::default_values::ConsSpec = core::detail::default_value_ConsSpec();
     219             :   const atermpp::aterm_appl core::detail::default_values::MapSpec = core::detail::default_value_MapSpec();
     220             :   const atermpp::aterm_appl core::detail::default_values::DataEqnSpec = core::detail::default_value_DataEqnSpec();
     221             :   const atermpp::aterm_appl core::detail::default_values::SortRef = core::detail::default_value_SortRef();
     222             :   const atermpp::aterm_appl core::detail::default_values::DataEqn = core::detail::default_value_DataEqn();
     223             :   const atermpp::aterm_appl core::detail::default_values::MultAct = core::detail::default_value_MultAct();
     224             :   const atermpp::aterm_appl core::detail::default_values::TimedMultAct = core::detail::default_value_TimedMultAct();
     225             :   const atermpp::aterm_appl core::detail::default_values::UntypedMultiAction = core::detail::default_value_UntypedMultiAction();
     226             :   const atermpp::aterm_appl core::detail::default_values::Action = core::detail::default_value_Action();
     227             :   const atermpp::aterm_appl core::detail::default_values::ActId = core::detail::default_value_ActId();
     228             :   const atermpp::aterm_appl core::detail::default_values::Process = core::detail::default_value_Process();
     229             :   const atermpp::aterm_appl core::detail::default_values::ProcessAssignment = core::detail::default_value_ProcessAssignment();
     230             :   const atermpp::aterm_appl core::detail::default_values::Delta = core::detail::default_value_Delta();
     231             :   const atermpp::aterm_appl core::detail::default_values::Tau = core::detail::default_value_Tau();
     232             :   const atermpp::aterm_appl core::detail::default_values::Sum = core::detail::default_value_Sum();
     233             :   const atermpp::aterm_appl core::detail::default_values::Block = core::detail::default_value_Block();
     234             :   const atermpp::aterm_appl core::detail::default_values::Hide = core::detail::default_value_Hide();
     235             :   const atermpp::aterm_appl core::detail::default_values::Rename = core::detail::default_value_Rename();
     236             :   const atermpp::aterm_appl core::detail::default_values::Comm = core::detail::default_value_Comm();
     237             :   const atermpp::aterm_appl core::detail::default_values::Allow = core::detail::default_value_Allow();
     238             :   const atermpp::aterm_appl core::detail::default_values::Sync = core::detail::default_value_Sync();
     239             :   const atermpp::aterm_appl core::detail::default_values::AtTime = core::detail::default_value_AtTime();
     240             :   const atermpp::aterm_appl core::detail::default_values::Seq = core::detail::default_value_Seq();
     241             :   const atermpp::aterm_appl core::detail::default_values::IfThen = core::detail::default_value_IfThen();
     242             :   const atermpp::aterm_appl core::detail::default_values::IfThenElse = core::detail::default_value_IfThenElse();
     243             :   const atermpp::aterm_appl core::detail::default_values::BInit = core::detail::default_value_BInit();
     244             :   const atermpp::aterm_appl core::detail::default_values::Merge = core::detail::default_value_Merge();
     245             :   const atermpp::aterm_appl core::detail::default_values::LMerge = core::detail::default_value_LMerge();
     246             :   const atermpp::aterm_appl core::detail::default_values::Choice = core::detail::default_value_Choice();
     247             :   const atermpp::aterm_appl core::detail::default_values::StochasticOperator = core::detail::default_value_StochasticOperator();
     248             :   const atermpp::aterm_appl core::detail::default_values::UntypedProcessAssignment = core::detail::default_value_UntypedProcessAssignment();
     249             :   const atermpp::aterm_appl core::detail::default_values::ProcVarId = core::detail::default_value_ProcVarId();
     250             :   const atermpp::aterm_appl core::detail::default_values::MultActName = core::detail::default_value_MultActName();
     251             :   const atermpp::aterm_appl core::detail::default_values::RenameExpr = core::detail::default_value_RenameExpr();
     252             :   const atermpp::aterm_appl core::detail::default_values::CommExpr = core::detail::default_value_CommExpr();
     253             :   const atermpp::aterm_appl core::detail::default_values::ProcSpec = core::detail::default_value_ProcSpec();
     254             :   const atermpp::aterm_appl core::detail::default_values::ActSpec = core::detail::default_value_ActSpec();
     255             :   const atermpp::aterm_appl core::detail::default_values::GlobVarSpec = core::detail::default_value_GlobVarSpec();
     256             :   const atermpp::aterm_appl core::detail::default_values::ProcEqnSpec = core::detail::default_value_ProcEqnSpec();
     257             :   const atermpp::aterm_appl core::detail::default_values::ProcEqn = core::detail::default_value_ProcEqn();
     258             :   const atermpp::aterm_appl core::detail::default_values::ProcessInit = core::detail::default_value_ProcessInit();
     259             :   const atermpp::aterm_appl core::detail::default_values::Distribution = core::detail::default_value_Distribution();
     260             :   const atermpp::aterm_appl core::detail::default_values::LinProcSpec = core::detail::default_value_LinProcSpec();
     261             :   const atermpp::aterm_appl core::detail::default_values::LinearProcess = core::detail::default_value_LinearProcess();
     262             :   const atermpp::aterm_appl core::detail::default_values::LinearProcessSummand = core::detail::default_value_LinearProcessSummand();
     263             :   const atermpp::aterm_appl core::detail::default_values::LinearProcessInit = core::detail::default_value_LinearProcessInit();
     264             :   const atermpp::aterm_appl core::detail::default_values::StateTrue = core::detail::default_value_StateTrue();
     265             :   const atermpp::aterm_appl core::detail::default_values::StateFalse = core::detail::default_value_StateFalse();
     266             :   const atermpp::aterm_appl core::detail::default_values::StateNot = core::detail::default_value_StateNot();
     267             :   const atermpp::aterm_appl core::detail::default_values::StateMinus = core::detail::default_value_StateMinus();
     268             :   const atermpp::aterm_appl core::detail::default_values::StateAnd = core::detail::default_value_StateAnd();
     269             :   const atermpp::aterm_appl core::detail::default_values::StateOr = core::detail::default_value_StateOr();
     270             :   const atermpp::aterm_appl core::detail::default_values::StateImp = core::detail::default_value_StateImp();
     271             :   const atermpp::aterm_appl core::detail::default_values::StatePlus = core::detail::default_value_StatePlus();
     272             :   const atermpp::aterm_appl core::detail::default_values::StateConstantMultiply = core::detail::default_value_StateConstantMultiply();
     273             :   const atermpp::aterm_appl core::detail::default_values::StateConstantMultiplyAlt = core::detail::default_value_StateConstantMultiplyAlt();
     274             :   const atermpp::aterm_appl core::detail::default_values::StateForall = core::detail::default_value_StateForall();
     275             :   const atermpp::aterm_appl core::detail::default_values::StateExists = core::detail::default_value_StateExists();
     276             :   const atermpp::aterm_appl core::detail::default_values::StateInfimum = core::detail::default_value_StateInfimum();
     277             :   const atermpp::aterm_appl core::detail::default_values::StateSupremum = core::detail::default_value_StateSupremum();
     278             :   const atermpp::aterm_appl core::detail::default_values::StateSum = core::detail::default_value_StateSum();
     279             :   const atermpp::aterm_appl core::detail::default_values::StateMust = core::detail::default_value_StateMust();
     280             :   const atermpp::aterm_appl core::detail::default_values::StateMay = core::detail::default_value_StateMay();
     281             :   const atermpp::aterm_appl core::detail::default_values::StateYaled = core::detail::default_value_StateYaled();
     282             :   const atermpp::aterm_appl core::detail::default_values::StateYaledTimed = core::detail::default_value_StateYaledTimed();
     283             :   const atermpp::aterm_appl core::detail::default_values::StateDelay = core::detail::default_value_StateDelay();
     284             :   const atermpp::aterm_appl core::detail::default_values::StateDelayTimed = core::detail::default_value_StateDelayTimed();
     285             :   const atermpp::aterm_appl core::detail::default_values::StateVar = core::detail::default_value_StateVar();
     286             :   const atermpp::aterm_appl core::detail::default_values::StateNu = core::detail::default_value_StateNu();
     287             :   const atermpp::aterm_appl core::detail::default_values::StateMu = core::detail::default_value_StateMu();
     288             :   const atermpp::aterm_appl core::detail::default_values::RegNil = core::detail::default_value_RegNil();
     289             :   const atermpp::aterm_appl core::detail::default_values::RegSeq = core::detail::default_value_RegSeq();
     290             :   const atermpp::aterm_appl core::detail::default_values::RegAlt = core::detail::default_value_RegAlt();
     291             :   const atermpp::aterm_appl core::detail::default_values::RegTrans = core::detail::default_value_RegTrans();
     292             :   const atermpp::aterm_appl core::detail::default_values::RegTransOrNil = core::detail::default_value_RegTransOrNil();
     293             :   const atermpp::aterm_appl core::detail::default_values::UntypedRegFrm = core::detail::default_value_UntypedRegFrm();
     294             :   const atermpp::aterm_appl core::detail::default_values::ActTrue = core::detail::default_value_ActTrue();
     295             :   const atermpp::aterm_appl core::detail::default_values::ActFalse = core::detail::default_value_ActFalse();
     296             :   const atermpp::aterm_appl core::detail::default_values::ActNot = core::detail::default_value_ActNot();
     297             :   const atermpp::aterm_appl core::detail::default_values::ActAnd = core::detail::default_value_ActAnd();
     298             :   const atermpp::aterm_appl core::detail::default_values::ActOr = core::detail::default_value_ActOr();
     299             :   const atermpp::aterm_appl core::detail::default_values::ActImp = core::detail::default_value_ActImp();
     300             :   const atermpp::aterm_appl core::detail::default_values::ActForall = core::detail::default_value_ActForall();
     301             :   const atermpp::aterm_appl core::detail::default_values::ActExists = core::detail::default_value_ActExists();
     302             :   const atermpp::aterm_appl core::detail::default_values::ActAt = core::detail::default_value_ActAt();
     303             :   const atermpp::aterm_appl core::detail::default_values::ActMultAct = core::detail::default_value_ActMultAct();
     304             :   const atermpp::aterm_appl core::detail::default_values::ActionRenameRules = core::detail::default_value_ActionRenameRules();
     305             :   const atermpp::aterm_appl core::detail::default_values::ActionRenameRule = core::detail::default_value_ActionRenameRule();
     306             :   const atermpp::aterm_appl core::detail::default_values::ActionRenameSpec = core::detail::default_value_ActionRenameSpec();
     307             :   const atermpp::aterm_appl core::detail::default_values::PBES = core::detail::default_value_PBES();
     308             :   const atermpp::aterm_appl core::detail::default_values::PBEqnSpec = core::detail::default_value_PBEqnSpec();
     309             :   const atermpp::aterm_appl core::detail::default_values::PBInit = core::detail::default_value_PBInit();
     310             :   const atermpp::aterm_appl core::detail::default_values::PBEqn = core::detail::default_value_PBEqn();
     311             :   const atermpp::aterm_appl core::detail::default_values::Mu = core::detail::default_value_Mu();
     312             :   const atermpp::aterm_appl core::detail::default_values::Nu = core::detail::default_value_Nu();
     313             :   const atermpp::aterm_appl core::detail::default_values::PropVarDecl = core::detail::default_value_PropVarDecl();
     314             :   const atermpp::aterm_appl core::detail::default_values::PBESTrue = core::detail::default_value_PBESTrue();
     315             :   const atermpp::aterm_appl core::detail::default_values::PBESFalse = core::detail::default_value_PBESFalse();
     316             :   const atermpp::aterm_appl core::detail::default_values::PBESNot = core::detail::default_value_PBESNot();
     317             :   const atermpp::aterm_appl core::detail::default_values::PBESAnd = core::detail::default_value_PBESAnd();
     318             :   const atermpp::aterm_appl core::detail::default_values::PBESOr = core::detail::default_value_PBESOr();
     319             :   const atermpp::aterm_appl core::detail::default_values::PBESImp = core::detail::default_value_PBESImp();
     320             :   const atermpp::aterm_appl core::detail::default_values::PBESForall = core::detail::default_value_PBESForall();
     321             :   const atermpp::aterm_appl core::detail::default_values::PBESExists = core::detail::default_value_PBESExists();
     322             :   const atermpp::aterm_appl core::detail::default_values::PropVarInst = core::detail::default_value_PropVarInst();
     323             :   const atermpp::aterm_appl core::detail::default_values::PRES = core::detail::default_value_PRES();
     324             :   const atermpp::aterm_appl core::detail::default_values::PREqnSpec = core::detail::default_value_PREqnSpec();
     325             :   const atermpp::aterm_appl core::detail::default_values::PRInit = core::detail::default_value_PRInit();
     326             :   const atermpp::aterm_appl core::detail::default_values::PREqn = core::detail::default_value_PREqn();
     327             :   const atermpp::aterm_appl core::detail::default_values::PRESTrue = core::detail::default_value_PRESTrue();
     328             :   const atermpp::aterm_appl core::detail::default_values::PRESFalse = core::detail::default_value_PRESFalse();
     329             :   const atermpp::aterm_appl core::detail::default_values::PRESMinus = core::detail::default_value_PRESMinus();
     330             :   const atermpp::aterm_appl core::detail::default_values::PRESAnd = core::detail::default_value_PRESAnd();
     331             :   const atermpp::aterm_appl core::detail::default_values::PRESOr = core::detail::default_value_PRESOr();
     332             :   const atermpp::aterm_appl core::detail::default_values::PRESImp = core::detail::default_value_PRESImp();
     333             :   const atermpp::aterm_appl core::detail::default_values::PRESPlus = core::detail::default_value_PRESPlus();
     334             :   const atermpp::aterm_appl core::detail::default_values::PRESConstantMultiply = core::detail::default_value_PRESConstantMultiply();
     335             :   const atermpp::aterm_appl core::detail::default_values::PRESConstantMultiplyAlt = core::detail::default_value_PRESConstantMultiplyAlt();
     336             :   const atermpp::aterm_appl core::detail::default_values::PRESInfimum = core::detail::default_value_PRESInfimum();
     337             :   const atermpp::aterm_appl core::detail::default_values::PRESSupremum = core::detail::default_value_PRESSupremum();
     338             :   const atermpp::aterm_appl core::detail::default_values::PRESSum = core::detail::default_value_PRESSum();
     339             :   const atermpp::aterm_appl core::detail::default_values::PRESEqInf = core::detail::default_value_PRESEqInf();
     340             :   const atermpp::aterm_appl core::detail::default_values::PRESEqNInf = core::detail::default_value_PRESEqNInf();
     341             :   const atermpp::aterm_appl core::detail::default_values::PRESCondSm = core::detail::default_value_PRESCondSm();
     342             :   const atermpp::aterm_appl core::detail::default_values::PRESCondEq = core::detail::default_value_PRESCondEq();
     343             :   const atermpp::aterm_appl core::detail::default_values::SortExpr = core::detail::default_value_SortExpr();
     344             :   const atermpp::aterm_appl core::detail::default_values::SortConsType = core::detail::default_value_SortConsType();
     345             :   const atermpp::aterm_appl core::detail::default_values::DataExpr = core::detail::default_value_DataExpr();
     346             :   const atermpp::aterm_appl core::detail::default_values::BindingOperator = core::detail::default_value_BindingOperator();
     347             :   const atermpp::aterm_appl core::detail::default_values::WhrDecl = core::detail::default_value_WhrDecl();
     348             :   const atermpp::aterm_appl core::detail::default_values::SortDecl = core::detail::default_value_SortDecl();
     349             :   const atermpp::aterm_appl core::detail::default_values::ProcExpr = core::detail::default_value_ProcExpr();
     350             :   const atermpp::aterm_appl core::detail::default_values::MultActOrDelta = core::detail::default_value_MultActOrDelta();
     351             :   const atermpp::aterm_appl core::detail::default_values::ProcInit = core::detail::default_value_ProcInit();
     352             :   const atermpp::aterm_appl core::detail::default_values::StateFrm = core::detail::default_value_StateFrm();
     353             :   const atermpp::aterm_appl core::detail::default_values::RegFrm = core::detail::default_value_RegFrm();
     354             :   const atermpp::aterm_appl core::detail::default_values::ActFrm = core::detail::default_value_ActFrm();
     355             :   const atermpp::aterm_appl core::detail::default_values::ParamIdOrAction = core::detail::default_value_ParamIdOrAction();
     356             :   const atermpp::aterm_appl core::detail::default_values::ActionRenameRuleRHS = core::detail::default_value_ActionRenameRuleRHS();
     357             :   const atermpp::aterm_appl core::detail::default_values::FixPoint = core::detail::default_value_FixPoint();
     358             :   const atermpp::aterm_appl core::detail::default_values::PBExpr = core::detail::default_value_PBExpr();
     359             :   const atermpp::aterm_appl core::detail::default_values::PRExpr = core::detail::default_value_PRExpr();
     360             : //--- end generated default value definitions ---//
     361             : 
     362             : } // namespace core
     363             : 
     364             : } // namespace mcrl2