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