web/doxygen/core_8cpp_source.html

// Author(s): Wieger Wesselink

// Copyright: see the accompanying file COPYING or copy at

// https://github.com/mCRL2org/mCRL2/blob/master/COPYING

//

// Distributed under the Boost Software License, Version 1.0.

// (See accompanying file LICENSE_1_0.txt or copy at

// http://www.boost.org/LICENSE_1_0.txt)

//


#include "mcrl2/core/detail/default_values.h"

#include "mcrl2/core/print.h"


namespace mcrl2 {


namespace core {


namespace detail {


std::vector<std::unique_ptr<atermpp::function_symbol>> function_symbols_DataAppl;

atermpp::function_symbol function_symbols_DataApplFixed[DataApplFixed];


} // namespace detail


//--- start generated core overloads ---//

std::string pp(const core::identifier_string& x) { return core::pp< core::identifier_string >(x); }

//--- end generated core overloads ---//


//--- start generated function symbol definitions ---//

const atermpp::function_symbol core::detail::function_symbols::SortCons = core::detail::function_symbol_SortCons();

  const atermpp::function_symbol core::detail::function_symbols::SortStruct = core::detail::function_symbol_SortStruct();

  const atermpp::function_symbol core::detail::function_symbols::SortArrow = core::detail::function_symbol_SortArrow();

  const atermpp::function_symbol core::detail::function_symbols::UntypedSortUnknown = core::detail::function_symbol_UntypedSortUnknown();

  const atermpp::function_symbol core::detail::function_symbols::UntypedSortsPossible = core::detail::function_symbol_UntypedSortsPossible();

  const atermpp::function_symbol core::detail::function_symbols::UntypedSortVariable = core::detail::function_symbol_UntypedSortVariable();

  const atermpp::function_symbol core::detail::function_symbols::SortId = core::detail::function_symbol_SortId();

  const atermpp::function_symbol core::detail::function_symbols::SortList = core::detail::function_symbol_SortList();

  const atermpp::function_symbol core::detail::function_symbols::SortSet = core::detail::function_symbol_SortSet();

  const atermpp::function_symbol core::detail::function_symbols::SortBag = core::detail::function_symbol_SortBag();

  const atermpp::function_symbol core::detail::function_symbols::SortFSet = core::detail::function_symbol_SortFSet();

  const atermpp::function_symbol core::detail::function_symbols::SortFBag = core::detail::function_symbol_SortFBag();

  const atermpp::function_symbol core::detail::function_symbols::StructCons = core::detail::function_symbol_StructCons();

  const atermpp::function_symbol core::detail::function_symbols::StructProj = core::detail::function_symbol_StructProj();

  const atermpp::function_symbol core::detail::function_symbols::Binder = core::detail::function_symbol_Binder();

  const atermpp::function_symbol core::detail::function_symbols::Whr = core::detail::function_symbol_Whr();

  const atermpp::function_symbol core::detail::function_symbols::UntypedIdentifier = core::detail::function_symbol_UntypedIdentifier();

  const atermpp::function_symbol core::detail::function_symbols::DataVarId = core::detail::function_symbol_DataVarId();

  const atermpp::function_symbol core::detail::function_symbols::OpId = core::detail::function_symbol_OpId();

  const atermpp::function_symbol core::detail::function_symbols::UntypedDataParameter = core::detail::function_symbol_UntypedDataParameter();

  const atermpp::function_symbol core::detail::function_symbols::Forall = core::detail::function_symbol_Forall();

  const atermpp::function_symbol core::detail::function_symbols::Exists = core::detail::function_symbol_Exists();

  const atermpp::function_symbol core::detail::function_symbols::SetComp = core::detail::function_symbol_SetComp();

  const atermpp::function_symbol core::detail::function_symbols::BagComp = core::detail::function_symbol_BagComp();

  const atermpp::function_symbol core::detail::function_symbols::Lambda = core::detail::function_symbol_Lambda();

  const atermpp::function_symbol core::detail::function_symbols::UntypedSetBagComp = core::detail::function_symbol_UntypedSetBagComp();

  const atermpp::function_symbol core::detail::function_symbols::DataVarIdInit = core::detail::function_symbol_DataVarIdInit();

  const atermpp::function_symbol core::detail::function_symbols::UntypedIdentifierAssignment = core::detail::function_symbol_UntypedIdentifierAssignment();

  const atermpp::function_symbol core::detail::function_symbols::DataSpec = core::detail::function_symbol_DataSpec();

  const atermpp::function_symbol core::detail::function_symbols::SortSpec = core::detail::function_symbol_SortSpec();

  const atermpp::function_symbol core::detail::function_symbols::ConsSpec = core::detail::function_symbol_ConsSpec();

  const atermpp::function_symbol core::detail::function_symbols::MapSpec = core::detail::function_symbol_MapSpec();

  const atermpp::function_symbol core::detail::function_symbols::DataEqnSpec = core::detail::function_symbol_DataEqnSpec();

  const atermpp::function_symbol core::detail::function_symbols::SortRef = core::detail::function_symbol_SortRef();

  const atermpp::function_symbol core::detail::function_symbols::DataEqn = core::detail::function_symbol_DataEqn();

  const atermpp::function_symbol core::detail::function_symbols::MultAct = core::detail::function_symbol_MultAct();

  const atermpp::function_symbol core::detail::function_symbols::TimedMultAct = core::detail::function_symbol_TimedMultAct();

  const atermpp::function_symbol core::detail::function_symbols::UntypedMultiAction = core::detail::function_symbol_UntypedMultiAction();

  const atermpp::function_symbol core::detail::function_symbols::Action = core::detail::function_symbol_Action();

  const atermpp::function_symbol core::detail::function_symbols::ActId = core::detail::function_symbol_ActId();

  const atermpp::function_symbol core::detail::function_symbols::Process = core::detail::function_symbol_Process();

  const atermpp::function_symbol core::detail::function_symbols::ProcessAssignment = core::detail::function_symbol_ProcessAssignment();

  const atermpp::function_symbol core::detail::function_symbols::Delta = core::detail::function_symbol_Delta();

  const atermpp::function_symbol core::detail::function_symbols::Tau = core::detail::function_symbol_Tau();

  const atermpp::function_symbol core::detail::function_symbols::Sum = core::detail::function_symbol_Sum();

  const atermpp::function_symbol core::detail::function_symbols::Block = core::detail::function_symbol_Block();

  const atermpp::function_symbol core::detail::function_symbols::Hide = core::detail::function_symbol_Hide();

  const atermpp::function_symbol core::detail::function_symbols::Rename = core::detail::function_symbol_Rename();

  const atermpp::function_symbol core::detail::function_symbols::Comm = core::detail::function_symbol_Comm();

  const atermpp::function_symbol core::detail::function_symbols::Allow = core::detail::function_symbol_Allow();

  const atermpp::function_symbol core::detail::function_symbols::Sync = core::detail::function_symbol_Sync();

  const atermpp::function_symbol core::detail::function_symbols::AtTime = core::detail::function_symbol_AtTime();

  const atermpp::function_symbol core::detail::function_symbols::Seq = core::detail::function_symbol_Seq();

  const atermpp::function_symbol core::detail::function_symbols::IfThen = core::detail::function_symbol_IfThen();

  const atermpp::function_symbol core::detail::function_symbols::IfThenElse = core::detail::function_symbol_IfThenElse();

  const atermpp::function_symbol core::detail::function_symbols::BInit = core::detail::function_symbol_BInit();

  const atermpp::function_symbol core::detail::function_symbols::Merge = core::detail::function_symbol_Merge();

  const atermpp::function_symbol core::detail::function_symbols::LMerge = core::detail::function_symbol_LMerge();

  const atermpp::function_symbol core::detail::function_symbols::Choice = core::detail::function_symbol_Choice();

  const atermpp::function_symbol core::detail::function_symbols::StochasticOperator = core::detail::function_symbol_StochasticOperator();

  const atermpp::function_symbol core::detail::function_symbols::UntypedProcessAssignment = core::detail::function_symbol_UntypedProcessAssignment();

  const atermpp::function_symbol core::detail::function_symbols::ProcVarId = core::detail::function_symbol_ProcVarId();

  const atermpp::function_symbol core::detail::function_symbols::MultActName = core::detail::function_symbol_MultActName();

  const atermpp::function_symbol core::detail::function_symbols::RenameExpr = core::detail::function_symbol_RenameExpr();

  const atermpp::function_symbol core::detail::function_symbols::CommExpr = core::detail::function_symbol_CommExpr();

  const atermpp::function_symbol core::detail::function_symbols::ProcSpec = core::detail::function_symbol_ProcSpec();

  const atermpp::function_symbol core::detail::function_symbols::ActSpec = core::detail::function_symbol_ActSpec();

  const atermpp::function_symbol core::detail::function_symbols::GlobVarSpec = core::detail::function_symbol_GlobVarSpec();

  const atermpp::function_symbol core::detail::function_symbols::ProcEqnSpec = core::detail::function_symbol_ProcEqnSpec();

  const atermpp::function_symbol core::detail::function_symbols::ProcEqn = core::detail::function_symbol_ProcEqn();

  const atermpp::function_symbol core::detail::function_symbols::ProcessInit = core::detail::function_symbol_ProcessInit();

  const atermpp::function_symbol core::detail::function_symbols::Distribution = core::detail::function_symbol_Distribution();

  const atermpp::function_symbol core::detail::function_symbols::LinProcSpec = core::detail::function_symbol_LinProcSpec();

  const atermpp::function_symbol core::detail::function_symbols::LinearProcess = core::detail::function_symbol_LinearProcess();

  const atermpp::function_symbol core::detail::function_symbols::LinearProcessSummand = core::detail::function_symbol_LinearProcessSummand();

  const atermpp::function_symbol core::detail::function_symbols::LinearProcessInit = core::detail::function_symbol_LinearProcessInit();

  const atermpp::function_symbol core::detail::function_symbols::StateTrue = core::detail::function_symbol_StateTrue();

  const atermpp::function_symbol core::detail::function_symbols::StateFalse = core::detail::function_symbol_StateFalse();

  const atermpp::function_symbol core::detail::function_symbols::StateNot = core::detail::function_symbol_StateNot();

  const atermpp::function_symbol core::detail::function_symbols::StateMinus = core::detail::function_symbol_StateMinus();

  const atermpp::function_symbol core::detail::function_symbols::StateAnd = core::detail::function_symbol_StateAnd();

  const atermpp::function_symbol core::detail::function_symbols::StateOr = core::detail::function_symbol_StateOr();

  const atermpp::function_symbol core::detail::function_symbols::StateImp = core::detail::function_symbol_StateImp();

  const atermpp::function_symbol core::detail::function_symbols::StatePlus = core::detail::function_symbol_StatePlus();

  const atermpp::function_symbol core::detail::function_symbols::StateConstantMultiply = core::detail::function_symbol_StateConstantMultiply();

  const atermpp::function_symbol core::detail::function_symbols::StateConstantMultiplyAlt = core::detail::function_symbol_StateConstantMultiplyAlt();

  const atermpp::function_symbol core::detail::function_symbols::StateForall = core::detail::function_symbol_StateForall();

  const atermpp::function_symbol core::detail::function_symbols::StateExists = core::detail::function_symbol_StateExists();

  const atermpp::function_symbol core::detail::function_symbols::StateInfimum = core::detail::function_symbol_StateInfimum();

  const atermpp::function_symbol core::detail::function_symbols::StateSupremum = core::detail::function_symbol_StateSupremum();

  const atermpp::function_symbol core::detail::function_symbols::StateSum = core::detail::function_symbol_StateSum();

  const atermpp::function_symbol core::detail::function_symbols::StateMust = core::detail::function_symbol_StateMust();

  const atermpp::function_symbol core::detail::function_symbols::StateMay = core::detail::function_symbol_StateMay();

  const atermpp::function_symbol core::detail::function_symbols::StateYaled = core::detail::function_symbol_StateYaled();

  const atermpp::function_symbol core::detail::function_symbols::StateYaledTimed = core::detail::function_symbol_StateYaledTimed();

  const atermpp::function_symbol core::detail::function_symbols::StateDelay = core::detail::function_symbol_StateDelay();

  const atermpp::function_symbol core::detail::function_symbols::StateDelayTimed = core::detail::function_symbol_StateDelayTimed();

  const atermpp::function_symbol core::detail::function_symbols::StateVar = core::detail::function_symbol_StateVar();

  const atermpp::function_symbol core::detail::function_symbols::StateNu = core::detail::function_symbol_StateNu();

  const atermpp::function_symbol core::detail::function_symbols::StateMu = core::detail::function_symbol_StateMu();

  const atermpp::function_symbol core::detail::function_symbols::RegNil = core::detail::function_symbol_RegNil();

  const atermpp::function_symbol core::detail::function_symbols::RegSeq = core::detail::function_symbol_RegSeq();

  const atermpp::function_symbol core::detail::function_symbols::RegAlt = core::detail::function_symbol_RegAlt();

  const atermpp::function_symbol core::detail::function_symbols::RegTrans = core::detail::function_symbol_RegTrans();

  const atermpp::function_symbol core::detail::function_symbols::RegTransOrNil = core::detail::function_symbol_RegTransOrNil();

  const atermpp::function_symbol core::detail::function_symbols::UntypedRegFrm = core::detail::function_symbol_UntypedRegFrm();

  const atermpp::function_symbol core::detail::function_symbols::ActTrue = core::detail::function_symbol_ActTrue();

  const atermpp::function_symbol core::detail::function_symbols::ActFalse = core::detail::function_symbol_ActFalse();

  const atermpp::function_symbol core::detail::function_symbols::ActNot = core::detail::function_symbol_ActNot();

  const atermpp::function_symbol core::detail::function_symbols::ActAnd = core::detail::function_symbol_ActAnd();

  const atermpp::function_symbol core::detail::function_symbols::ActOr = core::detail::function_symbol_ActOr();

  const atermpp::function_symbol core::detail::function_symbols::ActImp = core::detail::function_symbol_ActImp();

  const atermpp::function_symbol core::detail::function_symbols::ActForall = core::detail::function_symbol_ActForall();

  const atermpp::function_symbol core::detail::function_symbols::ActExists = core::detail::function_symbol_ActExists();

  const atermpp::function_symbol core::detail::function_symbols::ActAt = core::detail::function_symbol_ActAt();

  const atermpp::function_symbol core::detail::function_symbols::ActMultAct = core::detail::function_symbol_ActMultAct();

  const atermpp::function_symbol core::detail::function_symbols::ActionRenameRules = core::detail::function_symbol_ActionRenameRules();

  const atermpp::function_symbol core::detail::function_symbols::ActionRenameRule = core::detail::function_symbol_ActionRenameRule();

  const atermpp::function_symbol core::detail::function_symbols::ActionRenameSpec = core::detail::function_symbol_ActionRenameSpec();

  const atermpp::function_symbol core::detail::function_symbols::PBES = core::detail::function_symbol_PBES();

  const atermpp::function_symbol core::detail::function_symbols::PBEqnSpec = core::detail::function_symbol_PBEqnSpec();

  const atermpp::function_symbol core::detail::function_symbols::PBInit = core::detail::function_symbol_PBInit();

  const atermpp::function_symbol core::detail::function_symbols::PBEqn = core::detail::function_symbol_PBEqn();

  const atermpp::function_symbol core::detail::function_symbols::Mu = core::detail::function_symbol_Mu();

  const atermpp::function_symbol core::detail::function_symbols::Nu = core::detail::function_symbol_Nu();

  const atermpp::function_symbol core::detail::function_symbols::PropVarDecl = core::detail::function_symbol_PropVarDecl();

  const atermpp::function_symbol core::detail::function_symbols::PBESTrue = core::detail::function_symbol_PBESTrue();

  const atermpp::function_symbol core::detail::function_symbols::PBESFalse = core::detail::function_symbol_PBESFalse();

  const atermpp::function_symbol core::detail::function_symbols::PBESNot = core::detail::function_symbol_PBESNot();

  const atermpp::function_symbol core::detail::function_symbols::PBESAnd = core::detail::function_symbol_PBESAnd();

  const atermpp::function_symbol core::detail::function_symbols::PBESOr = core::detail::function_symbol_PBESOr();

  const atermpp::function_symbol core::detail::function_symbols::PBESImp = core::detail::function_symbol_PBESImp();

  const atermpp::function_symbol core::detail::function_symbols::PBESForall = core::detail::function_symbol_PBESForall();

  const atermpp::function_symbol core::detail::function_symbols::PBESExists = core::detail::function_symbol_PBESExists();

  const atermpp::function_symbol core::detail::function_symbols::PropVarInst = core::detail::function_symbol_PropVarInst();

  const atermpp::function_symbol core::detail::function_symbols::PRES = core::detail::function_symbol_PRES();

  const atermpp::function_symbol core::detail::function_symbols::PREqnSpec = core::detail::function_symbol_PREqnSpec();

  const atermpp::function_symbol core::detail::function_symbols::PRInit = core::detail::function_symbol_PRInit();

  const atermpp::function_symbol core::detail::function_symbols::PREqn = core::detail::function_symbol_PREqn();

  const atermpp::function_symbol core::detail::function_symbols::PRESTrue = core::detail::function_symbol_PRESTrue();

  const atermpp::function_symbol core::detail::function_symbols::PRESFalse = core::detail::function_symbol_PRESFalse();

  const atermpp::function_symbol core::detail::function_symbols::PRESMinus = core::detail::function_symbol_PRESMinus();

  const atermpp::function_symbol core::detail::function_symbols::PRESAnd = core::detail::function_symbol_PRESAnd();

  const atermpp::function_symbol core::detail::function_symbols::PRESOr = core::detail::function_symbol_PRESOr();

  const atermpp::function_symbol core::detail::function_symbols::PRESImp = core::detail::function_symbol_PRESImp();

  const atermpp::function_symbol core::detail::function_symbols::PRESPlus = core::detail::function_symbol_PRESPlus();

  const atermpp::function_symbol core::detail::function_symbols::PRESConstantMultiply = core::detail::function_symbol_PRESConstantMultiply();

  const atermpp::function_symbol core::detail::function_symbols::PRESConstantMultiplyAlt = core::detail::function_symbol_PRESConstantMultiplyAlt();

  const atermpp::function_symbol core::detail::function_symbols::PRESInfimum = core::detail::function_symbol_PRESInfimum();

  const atermpp::function_symbol core::detail::function_symbols::PRESSupremum = core::detail::function_symbol_PRESSupremum();

  const atermpp::function_symbol core::detail::function_symbols::PRESSum = core::detail::function_symbol_PRESSum();

  const atermpp::function_symbol core::detail::function_symbols::PRESEqInf = core::detail::function_symbol_PRESEqInf();

  const atermpp::function_symbol core::detail::function_symbols::PRESEqNInf = core::detail::function_symbol_PRESEqNInf();

  const atermpp::function_symbol core::detail::function_symbols::PRESCondSm = core::detail::function_symbol_PRESCondSm();

  const atermpp::function_symbol core::detail::function_symbols::PRESCondEq = core::detail::function_symbol_PRESCondEq();

//--- end generated function symbol definitions ---//


//--- start generated default value definitions ---//

const atermpp::aterm core::detail::default_values::SortCons = core::detail::default_value_SortCons();

  const atermpp::aterm core::detail::default_values::SortStruct = core::detail::default_value_SortStruct();

  const atermpp::aterm core::detail::default_values::SortArrow = core::detail::default_value_SortArrow();

  const atermpp::aterm core::detail::default_values::UntypedSortUnknown = core::detail::default_value_UntypedSortUnknown();

  const atermpp::aterm core::detail::default_values::UntypedSortsPossible = core::detail::default_value_UntypedSortsPossible();

  const atermpp::aterm core::detail::default_values::UntypedSortVariable = core::detail::default_value_UntypedSortVariable();

  const atermpp::aterm core::detail::default_values::SortId = core::detail::default_value_SortId();

  const atermpp::aterm core::detail::default_values::SortList = core::detail::default_value_SortList();

  const atermpp::aterm core::detail::default_values::SortSet = core::detail::default_value_SortSet();

  const atermpp::aterm core::detail::default_values::SortBag = core::detail::default_value_SortBag();

  const atermpp::aterm core::detail::default_values::SortFSet = core::detail::default_value_SortFSet();

  const atermpp::aterm core::detail::default_values::SortFBag = core::detail::default_value_SortFBag();

  const atermpp::aterm core::detail::default_values::StructCons = core::detail::default_value_StructCons();

  const atermpp::aterm core::detail::default_values::StructProj = core::detail::default_value_StructProj();

  const atermpp::aterm core::detail::default_values::Binder = core::detail::default_value_Binder();

  const atermpp::aterm core::detail::default_values::Whr = core::detail::default_value_Whr();

  const atermpp::aterm core::detail::default_values::UntypedIdentifier = core::detail::default_value_UntypedIdentifier();

  const atermpp::aterm core::detail::default_values::DataVarId = core::detail::default_value_DataVarId();

  const atermpp::aterm core::detail::default_values::OpId = core::detail::default_value_OpId();

  const atermpp::aterm core::detail::default_values::UntypedDataParameter = core::detail::default_value_UntypedDataParameter();

  const atermpp::aterm core::detail::default_values::Forall = core::detail::default_value_Forall();

  const atermpp::aterm core::detail::default_values::Exists = core::detail::default_value_Exists();

  const atermpp::aterm core::detail::default_values::SetComp = core::detail::default_value_SetComp();

  const atermpp::aterm core::detail::default_values::BagComp = core::detail::default_value_BagComp();

  const atermpp::aterm core::detail::default_values::Lambda = core::detail::default_value_Lambda();

  const atermpp::aterm core::detail::default_values::UntypedSetBagComp = core::detail::default_value_UntypedSetBagComp();

  const atermpp::aterm core::detail::default_values::DataVarIdInit = core::detail::default_value_DataVarIdInit();

  const atermpp::aterm core::detail::default_values::UntypedIdentifierAssignment = core::detail::default_value_UntypedIdentifierAssignment();

  const atermpp::aterm core::detail::default_values::DataSpec = core::detail::default_value_DataSpec();

  const atermpp::aterm core::detail::default_values::SortSpec = core::detail::default_value_SortSpec();

  const atermpp::aterm core::detail::default_values::ConsSpec = core::detail::default_value_ConsSpec();

  const atermpp::aterm core::detail::default_values::MapSpec = core::detail::default_value_MapSpec();

  const atermpp::aterm core::detail::default_values::DataEqnSpec = core::detail::default_value_DataEqnSpec();

  const atermpp::aterm core::detail::default_values::SortRef = core::detail::default_value_SortRef();

  const atermpp::aterm core::detail::default_values::DataEqn = core::detail::default_value_DataEqn();

  const atermpp::aterm core::detail::default_values::MultAct = core::detail::default_value_MultAct();

  const atermpp::aterm core::detail::default_values::TimedMultAct = core::detail::default_value_TimedMultAct();

  const atermpp::aterm core::detail::default_values::UntypedMultiAction = core::detail::default_value_UntypedMultiAction();

  const atermpp::aterm core::detail::default_values::Action = core::detail::default_value_Action();

  const atermpp::aterm core::detail::default_values::ActId = core::detail::default_value_ActId();

  const atermpp::aterm core::detail::default_values::Process = core::detail::default_value_Process();

  const atermpp::aterm core::detail::default_values::ProcessAssignment = core::detail::default_value_ProcessAssignment();

  const atermpp::aterm core::detail::default_values::Delta = core::detail::default_value_Delta();

  const atermpp::aterm core::detail::default_values::Tau = core::detail::default_value_Tau();

  const atermpp::aterm core::detail::default_values::Sum = core::detail::default_value_Sum();

  const atermpp::aterm core::detail::default_values::Block = core::detail::default_value_Block();

  const atermpp::aterm core::detail::default_values::Hide = core::detail::default_value_Hide();

  const atermpp::aterm core::detail::default_values::Rename = core::detail::default_value_Rename();

  const atermpp::aterm core::detail::default_values::Comm = core::detail::default_value_Comm();

  const atermpp::aterm core::detail::default_values::Allow = core::detail::default_value_Allow();

  const atermpp::aterm core::detail::default_values::Sync = core::detail::default_value_Sync();

  const atermpp::aterm core::detail::default_values::AtTime = core::detail::default_value_AtTime();

  const atermpp::aterm core::detail::default_values::Seq = core::detail::default_value_Seq();

  const atermpp::aterm core::detail::default_values::IfThen = core::detail::default_value_IfThen();

  const atermpp::aterm core::detail::default_values::IfThenElse = core::detail::default_value_IfThenElse();

  const atermpp::aterm core::detail::default_values::BInit = core::detail::default_value_BInit();

  const atermpp::aterm core::detail::default_values::Merge = core::detail::default_value_Merge();

  const atermpp::aterm core::detail::default_values::LMerge = core::detail::default_value_LMerge();

  const atermpp::aterm core::detail::default_values::Choice = core::detail::default_value_Choice();

  const atermpp::aterm core::detail::default_values::StochasticOperator = core::detail::default_value_StochasticOperator();

  const atermpp::aterm core::detail::default_values::UntypedProcessAssignment = core::detail::default_value_UntypedProcessAssignment();

  const atermpp::aterm core::detail::default_values::ProcVarId = core::detail::default_value_ProcVarId();

  const atermpp::aterm core::detail::default_values::MultActName = core::detail::default_value_MultActName();

  const atermpp::aterm core::detail::default_values::RenameExpr = core::detail::default_value_RenameExpr();

  const atermpp::aterm core::detail::default_values::CommExpr = core::detail::default_value_CommExpr();

  const atermpp::aterm core::detail::default_values::ProcSpec = core::detail::default_value_ProcSpec();

  const atermpp::aterm core::detail::default_values::ActSpec = core::detail::default_value_ActSpec();

  const atermpp::aterm core::detail::default_values::GlobVarSpec = core::detail::default_value_GlobVarSpec();

  const atermpp::aterm core::detail::default_values::ProcEqnSpec = core::detail::default_value_ProcEqnSpec();

  const atermpp::aterm core::detail::default_values::ProcEqn = core::detail::default_value_ProcEqn();

  const atermpp::aterm core::detail::default_values::ProcessInit = core::detail::default_value_ProcessInit();

  const atermpp::aterm core::detail::default_values::Distribution = core::detail::default_value_Distribution();

  const atermpp::aterm core::detail::default_values::LinProcSpec = core::detail::default_value_LinProcSpec();

  const atermpp::aterm core::detail::default_values::LinearProcess = core::detail::default_value_LinearProcess();

  const atermpp::aterm core::detail::default_values::LinearProcessSummand = core::detail::default_value_LinearProcessSummand();

  const atermpp::aterm core::detail::default_values::LinearProcessInit = core::detail::default_value_LinearProcessInit();

  const atermpp::aterm core::detail::default_values::StateTrue = core::detail::default_value_StateTrue();

  const atermpp::aterm core::detail::default_values::StateFalse = core::detail::default_value_StateFalse();

  const atermpp::aterm core::detail::default_values::StateNot = core::detail::default_value_StateNot();

  const atermpp::aterm core::detail::default_values::StateMinus = core::detail::default_value_StateMinus();

  const atermpp::aterm core::detail::default_values::StateAnd = core::detail::default_value_StateAnd();

  const atermpp::aterm core::detail::default_values::StateOr = core::detail::default_value_StateOr();

  const atermpp::aterm core::detail::default_values::StateImp = core::detail::default_value_StateImp();

  const atermpp::aterm core::detail::default_values::StatePlus = core::detail::default_value_StatePlus();

  const atermpp::aterm core::detail::default_values::StateConstantMultiply = core::detail::default_value_StateConstantMultiply();

  const atermpp::aterm core::detail::default_values::StateConstantMultiplyAlt = core::detail::default_value_StateConstantMultiplyAlt();

  const atermpp::aterm core::detail::default_values::StateForall = core::detail::default_value_StateForall();

  const atermpp::aterm core::detail::default_values::StateExists = core::detail::default_value_StateExists();

  const atermpp::aterm core::detail::default_values::StateInfimum = core::detail::default_value_StateInfimum();

  const atermpp::aterm core::detail::default_values::StateSupremum = core::detail::default_value_StateSupremum();

  const atermpp::aterm core::detail::default_values::StateSum = core::detail::default_value_StateSum();

  const atermpp::aterm core::detail::default_values::StateMust = core::detail::default_value_StateMust();

  const atermpp::aterm core::detail::default_values::StateMay = core::detail::default_value_StateMay();

  const atermpp::aterm core::detail::default_values::StateYaled = core::detail::default_value_StateYaled();

  const atermpp::aterm core::detail::default_values::StateYaledTimed = core::detail::default_value_StateYaledTimed();

  const atermpp::aterm core::detail::default_values::StateDelay = core::detail::default_value_StateDelay();

  const atermpp::aterm core::detail::default_values::StateDelayTimed = core::detail::default_value_StateDelayTimed();

  const atermpp::aterm core::detail::default_values::StateVar = core::detail::default_value_StateVar();

  const atermpp::aterm core::detail::default_values::StateNu = core::detail::default_value_StateNu();

  const atermpp::aterm core::detail::default_values::StateMu = core::detail::default_value_StateMu();

  const atermpp::aterm core::detail::default_values::RegNil = core::detail::default_value_RegNil();

  const atermpp::aterm core::detail::default_values::RegSeq = core::detail::default_value_RegSeq();

  const atermpp::aterm core::detail::default_values::RegAlt = core::detail::default_value_RegAlt();

  const atermpp::aterm core::detail::default_values::RegTrans = core::detail::default_value_RegTrans();

  const atermpp::aterm core::detail::default_values::RegTransOrNil = core::detail::default_value_RegTransOrNil();

  const atermpp::aterm core::detail::default_values::UntypedRegFrm = core::detail::default_value_UntypedRegFrm();

  const atermpp::aterm core::detail::default_values::ActTrue = core::detail::default_value_ActTrue();

  const atermpp::aterm core::detail::default_values::ActFalse = core::detail::default_value_ActFalse();

  const atermpp::aterm core::detail::default_values::ActNot = core::detail::default_value_ActNot();

  const atermpp::aterm core::detail::default_values::ActAnd = core::detail::default_value_ActAnd();

  const atermpp::aterm core::detail::default_values::ActOr = core::detail::default_value_ActOr();

  const atermpp::aterm core::detail::default_values::ActImp = core::detail::default_value_ActImp();

  const atermpp::aterm core::detail::default_values::ActForall = core::detail::default_value_ActForall();

  const atermpp::aterm core::detail::default_values::ActExists = core::detail::default_value_ActExists();

  const atermpp::aterm core::detail::default_values::ActAt = core::detail::default_value_ActAt();

  const atermpp::aterm core::detail::default_values::ActMultAct = core::detail::default_value_ActMultAct();

  const atermpp::aterm core::detail::default_values::ActionRenameRules = core::detail::default_value_ActionRenameRules();

  const atermpp::aterm core::detail::default_values::ActionRenameRule = core::detail::default_value_ActionRenameRule();

  const atermpp::aterm core::detail::default_values::ActionRenameSpec = core::detail::default_value_ActionRenameSpec();

  const atermpp::aterm core::detail::default_values::PBES = core::detail::default_value_PBES();

  const atermpp::aterm core::detail::default_values::PBEqnSpec = core::detail::default_value_PBEqnSpec();

  const atermpp::aterm core::detail::default_values::PBInit = core::detail::default_value_PBInit();

  const atermpp::aterm core::detail::default_values::PBEqn = core::detail::default_value_PBEqn();

  const atermpp::aterm core::detail::default_values::Mu = core::detail::default_value_Mu();

  const atermpp::aterm core::detail::default_values::Nu = core::detail::default_value_Nu();

  const atermpp::aterm core::detail::default_values::PropVarDecl = core::detail::default_value_PropVarDecl();

  const atermpp::aterm core::detail::default_values::PBESTrue = core::detail::default_value_PBESTrue();

  const atermpp::aterm core::detail::default_values::PBESFalse = core::detail::default_value_PBESFalse();

  const atermpp::aterm core::detail::default_values::PBESNot = core::detail::default_value_PBESNot();

  const atermpp::aterm core::detail::default_values::PBESAnd = core::detail::default_value_PBESAnd();

  const atermpp::aterm core::detail::default_values::PBESOr = core::detail::default_value_PBESOr();

  const atermpp::aterm core::detail::default_values::PBESImp = core::detail::default_value_PBESImp();

  const atermpp::aterm core::detail::default_values::PBESForall = core::detail::default_value_PBESForall();

  const atermpp::aterm core::detail::default_values::PBESExists = core::detail::default_value_PBESExists();

  const atermpp::aterm core::detail::default_values::PropVarInst = core::detail::default_value_PropVarInst();

  const atermpp::aterm core::detail::default_values::PRES = core::detail::default_value_PRES();

  const atermpp::aterm core::detail::default_values::PREqnSpec = core::detail::default_value_PREqnSpec();

  const atermpp::aterm core::detail::default_values::PRInit = core::detail::default_value_PRInit();

  const atermpp::aterm core::detail::default_values::PREqn = core::detail::default_value_PREqn();

  const atermpp::aterm core::detail::default_values::PRESTrue = core::detail::default_value_PRESTrue();

  const atermpp::aterm core::detail::default_values::PRESFalse = core::detail::default_value_PRESFalse();

  const atermpp::aterm core::detail::default_values::PRESMinus = core::detail::default_value_PRESMinus();

  const atermpp::aterm core::detail::default_values::PRESAnd = core::detail::default_value_PRESAnd();

  const atermpp::aterm core::detail::default_values::PRESOr = core::detail::default_value_PRESOr();

  const atermpp::aterm core::detail::default_values::PRESImp = core::detail::default_value_PRESImp();

  const atermpp::aterm core::detail::default_values::PRESPlus = core::detail::default_value_PRESPlus();

  const atermpp::aterm core::detail::default_values::PRESConstantMultiply = core::detail::default_value_PRESConstantMultiply();

  const atermpp::aterm core::detail::default_values::PRESConstantMultiplyAlt = core::detail::default_value_PRESConstantMultiplyAlt();

  const atermpp::aterm core::detail::default_values::PRESInfimum = core::detail::default_value_PRESInfimum();

  const atermpp::aterm core::detail::default_values::PRESSupremum = core::detail::default_value_PRESSupremum();

  const atermpp::aterm core::detail::default_values::PRESSum = core::detail::default_value_PRESSum();

  const atermpp::aterm core::detail::default_values::PRESEqInf = core::detail::default_value_PRESEqInf();

  const atermpp::aterm core::detail::default_values::PRESEqNInf = core::detail::default_value_PRESEqNInf();

  const atermpp::aterm core::detail::default_values::PRESCondSm = core::detail::default_value_PRESCondSm();

  const atermpp::aterm core::detail::default_values::PRESCondEq = core::detail::default_value_PRESCondEq();

  const atermpp::aterm core::detail::default_values::SortExpr = core::detail::default_value_SortExpr();

  const atermpp::aterm core::detail::default_values::SortConsType = core::detail::default_value_SortConsType();

  const atermpp::aterm core::detail::default_values::DataExpr = core::detail::default_value_DataExpr();

  const atermpp::aterm core::detail::default_values::BindingOperator = core::detail::default_value_BindingOperator();

  const atermpp::aterm core::detail::default_values::WhrDecl = core::detail::default_value_WhrDecl();

  const atermpp::aterm core::detail::default_values::SortDecl = core::detail::default_value_SortDecl();

  const atermpp::aterm core::detail::default_values::ProcExpr = core::detail::default_value_ProcExpr();

  const atermpp::aterm core::detail::default_values::MultActOrDelta = core::detail::default_value_MultActOrDelta();

  const atermpp::aterm core::detail::default_values::ProcInit = core::detail::default_value_ProcInit();

  const atermpp::aterm core::detail::default_values::StateFrm = core::detail::default_value_StateFrm();

  const atermpp::aterm core::detail::default_values::RegFrm = core::detail::default_value_RegFrm();

  const atermpp::aterm core::detail::default_values::ActFrm = core::detail::default_value_ActFrm();

  const atermpp::aterm core::detail::default_values::ParamIdOrAction = core::detail::default_value_ParamIdOrAction();

  const atermpp::aterm core::detail::default_values::ActionRenameRuleRHS = core::detail::default_value_ActionRenameRuleRHS();

  const atermpp::aterm core::detail::default_values::FixPoint = core::detail::default_value_FixPoint();

  const atermpp::aterm core::detail::default_values::PBExpr = core::detail::default_value_PBExpr();

  const atermpp::aterm core::detail::default_values::PRExpr = core::detail::default_value_PRExpr();

//--- end generated default value definitions ---//


} // namespace core


} // namespace mcrl2

atermpp::aterm_string
Term containing a string.
Definition aterm_string.h:20

atermpp::aterm
Definition aterm.h:25

atermpp::function_symbol
Definition function_symbol.h:25

print.h
Functions for pretty printing ATerms.

default_values.h
add your file description here.

mcrl2::core::detail::default_value_Seq
const atermpp::aterm & default_value_Seq()
Definition default_values.h:656

mcrl2::core::detail::default_value_PRESAnd
const atermpp::aterm & default_value_PRESAnd()
Definition default_values.h:1376

mcrl2::core::detail::function_symbol_TimedMultAct
const atermpp::function_symbol & function_symbol_TimedMultAct()
Definition function_symbols.h:1283

mcrl2::core::detail::function_symbol_BInit
const atermpp::function_symbol & function_symbol_BInit()
Definition function_symbols.h:283

mcrl2::core::detail::function_symbol_StateImp
const atermpp::function_symbol & function_symbol_StateImp()
Definition function_symbols.h:1107

mcrl2::core::detail::default_value_Whr
const atermpp::aterm & default_value_Whr()
Definition default_values.h:360

mcrl2::core::detail::function_symbol_Choice
const atermpp::function_symbol & function_symbol_Choice()
Definition function_symbols.h:315

mcrl2::core::detail::default_value_IfThenElse
const atermpp::aterm & default_value_IfThenElse()
Definition default_values.h:672

mcrl2::core::detail::function_symbol_StateMinus
const atermpp::function_symbol & function_symbol_StateMinus()
Definition function_symbols.h:1131

mcrl2::core::detail::default_value_ProcEqn
const atermpp::aterm & default_value_ProcEqn()
Definition default_values.h:792

mcrl2::core::detail::function_symbol_SortSet
const atermpp::function_symbol & function_symbol_SortSet()
Definition function_symbols.h:1019

mcrl2::core::detail::function_symbol_PRESAnd
const atermpp::function_symbol & function_symbol_PRESAnd()
Definition function_symbols.h:659

mcrl2::core::detail::function_symbol_Forall
const atermpp::function_symbol & function_symbol_Forall()
Definition function_symbols.h:411

mcrl2::core::detail::default_value_Sum
const atermpp::aterm & default_value_Sum()
Definition default_values.h:592

mcrl2::core::detail::default_value_StateOr
const atermpp::aterm & default_value_StateOr()
Definition default_values.h:888

mcrl2::core::detail::default_value_PBESExists
const atermpp::aterm & default_value_PBESExists()
Definition default_values.h:1304

mcrl2::core::detail::default_value_StateYaledTimed
const atermpp::aterm & default_value_StateYaledTimed()
Definition default_values.h:992

mcrl2::core::detail::default_value_PBESTrue
const atermpp::aterm & default_value_PBESTrue()
Definition default_values.h:1248

mcrl2::core::detail::function_symbol_ActForall
const atermpp::function_symbol & function_symbol_ActForall()
Definition function_symbols.h:171

mcrl2::core::detail::default_value_StateImp
const atermpp::aterm & default_value_StateImp()
Definition default_values.h:896

mcrl2::core::detail::default_value_StateSum
const atermpp::aterm & default_value_StateSum()
Definition default_values.h:960

mcrl2::core::detail::default_value_StateYaled
const atermpp::aterm & default_value_StateYaled()
Definition default_values.h:984

mcrl2::core::detail::function_symbol_UntypedSortsPossible
const atermpp::function_symbol & function_symbol_UntypedSortsPossible()
Definition function_symbols.h:1363

mcrl2::core::detail::function_symbol_UntypedProcessAssignment
const atermpp::function_symbol & function_symbol_UntypedProcessAssignment()
Definition function_symbols.h:1323

mcrl2::core::detail::default_value_DataExpr
const atermpp::aterm & default_value_DataExpr()
Definition default_values.h:1494

mcrl2::core::detail::function_symbol_DataEqn
const atermpp::function_symbol & function_symbol_DataEqn()
Definition function_symbols.h:347

mcrl2::core::detail::default_value_DataEqn
const atermpp::aterm & default_value_DataEqn()
Definition default_values.h:512

mcrl2::core::detail::function_symbol_DataVarId
const atermpp::function_symbol & function_symbol_DataVarId()
Definition function_symbols.h:371

mcrl2::core::detail::function_symbol_StateForall
const atermpp::function_symbol & function_symbol_StateForall()
Definition function_symbols.h:1099

mcrl2::core::detail::default_value_PRESCondSm
const atermpp::aterm & default_value_PRESCondSm()
Definition default_values.h:1464

mcrl2::core::detail::default_value_ActTrue
const atermpp::aterm & default_value_ActTrue()
Definition default_values.h:1088

mcrl2::core::detail::function_symbol_StructCons
const atermpp::function_symbol & function_symbol_StructCons()
Definition function_symbols.h:1243

mcrl2::core::detail::function_symbol_PBES
const atermpp::function_symbol & function_symbol_PBES()
Definition function_symbols.h:555

mcrl2::core::detail::default_value_MultAct
const atermpp::aterm & default_value_MultAct()
Definition default_values.h:520

mcrl2::core::detail::default_value_StateMu
const atermpp::aterm & default_value_StateMu()
Definition default_values.h:1032

mcrl2::core::detail::default_value_StateMinus
const atermpp::aterm & default_value_StateMinus()
Definition default_values.h:872

mcrl2::core::detail::function_symbol_StateYaledTimed
const atermpp::function_symbol & function_symbol_StateYaledTimed()
Definition function_symbols.h:1227

mcrl2::core::detail::default_value_ActSpec
const atermpp::aterm & default_value_ActSpec()
Definition default_values.h:768

mcrl2::core::detail::function_symbol_RegSeq
const atermpp::function_symbol & function_symbol_RegSeq()
Definition function_symbols.h:899

mcrl2::core::detail::default_value_ActFalse
const atermpp::aterm & default_value_ActFalse()
Definition default_values.h:1096

mcrl2::core::detail::function_symbol_SortRef
const atermpp::function_symbol & function_symbol_SortRef()
Definition function_symbols.h:1011

mcrl2::core::detail::function_symbols_DataAppl
std::vector< std::unique_ptr< atermpp::function_symbol > > function_symbols_DataAppl
Definition core.cpp:20

mcrl2::core::detail::default_value_PREqnSpec
const atermpp::aterm & default_value_PREqnSpec()
Definition default_values.h:1328

mcrl2::core::detail::function_symbol_UntypedSortUnknown
const atermpp::function_symbol & function_symbol_UntypedSortUnknown()
Definition function_symbols.h:1347

mcrl2::core::detail::function_symbol_PRESImp
const atermpp::function_symbol & function_symbol_PRESImp()
Definition function_symbols.h:723

mcrl2::core::detail::default_value_PropVarDecl
const atermpp::aterm & default_value_PropVarDecl()
Definition default_values.h:1240

mcrl2::core::detail::function_symbol_PRESCondEq
const atermpp::function_symbol & function_symbol_PRESCondEq()
Definition function_symbols.h:667

mcrl2::core::detail::default_value_RegFrm
const atermpp::aterm & default_value_RegFrm()
Definition default_values.h:1550

mcrl2::core::detail::default_value_StateExists
const atermpp::aterm & default_value_StateExists()
Definition default_values.h:936

mcrl2::core::detail::default_value_SortBag
const atermpp::aterm & default_value_SortBag()
Definition default_values.h:312

mcrl2::core::detail::default_value_Comm
const atermpp::aterm & default_value_Comm()
Definition default_values.h:624

mcrl2::core::detail::function_symbol_StateNu
const atermpp::function_symbol & function_symbol_StateNu()
Definition function_symbols.h:1163

mcrl2::core::detail::default_value_PRESInfimum
const atermpp::aterm & default_value_PRESInfimum()
Definition default_values.h:1424

mcrl2::core::detail::default_value_StateVar
const atermpp::aterm & default_value_StateVar()
Definition default_values.h:1016

mcrl2::core::detail::default_value_PRESCondEq
const atermpp::aterm & default_value_PRESCondEq()
Definition default_values.h:1472

mcrl2::core::detail::function_symbol_Mu
const atermpp::function_symbol & function_symbol_Mu()
Definition function_symbols.h:515

mcrl2::core::detail::function_symbol_SortBag
const atermpp::function_symbol & function_symbol_SortBag()
Definition function_symbols.h:963

mcrl2::core::detail::default_value_UntypedSortsPossible
const atermpp::aterm & default_value_UntypedSortsPossible()
Definition default_values.h:272

mcrl2::core::detail::function_symbol_Allow
const atermpp::function_symbol & function_symbol_Allow()
Definition function_symbols.h:267

mcrl2::core::detail::function_symbol_Merge
const atermpp::function_symbol & function_symbol_Merge()
Definition function_symbols.h:507

mcrl2::core::detail::default_value_SortFSet
const atermpp::aterm & default_value_SortFSet()
Definition default_values.h:320

mcrl2::core::detail::default_value_Tau
const atermpp::aterm & default_value_Tau()
Definition default_values.h:584

mcrl2::core::detail::function_symbol_Rename
const atermpp::function_symbol & function_symbol_Rename()
Definition function_symbols.h:923

mcrl2::core::detail::default_value_SortExpr
const atermpp::aterm & default_value_SortExpr()
Definition default_values.h:1480

mcrl2::core::detail::default_value_Distribution
const atermpp::aterm & default_value_Distribution()
Definition default_values.h:808

mcrl2::core::detail::default_value_PRESImp
const atermpp::aterm & default_value_PRESImp()
Definition default_values.h:1392

mcrl2::core::detail::function_symbol_StateConstantMultiplyAlt
const atermpp::function_symbol & function_symbol_StateConstantMultiplyAlt()
Definition function_symbols.h:1059

mcrl2::core::detail::default_value_PRESTrue
const atermpp::aterm & default_value_PRESTrue()
Definition default_values.h:1352

mcrl2::core::detail::function_symbol_ProcSpec
const atermpp::function_symbol & function_symbol_ProcSpec()
Definition function_symbols.h:827

mcrl2::core::detail::default_value_Mu
const atermpp::aterm & default_value_Mu()
Definition default_values.h:1224

mcrl2::core::detail::default_value_ActionRenameRuleRHS
const atermpp::aterm & default_value_ActionRenameRuleRHS()
Definition default_values.h:1571

mcrl2::core::detail::default_value_ActionRenameRule
const atermpp::aterm & default_value_ActionRenameRule()
Definition default_values.h:1176

mcrl2::core::detail::function_symbol_ActId
const atermpp::function_symbol & function_symbol_ActId()
Definition function_symbols.h:179

mcrl2::core::detail::default_value_DataVarId
const atermpp::aterm & default_value_DataVarId()
Definition default_values.h:376

mcrl2::core::detail::function_symbol_StateTrue
const atermpp::function_symbol & function_symbol_StateTrue()
Definition function_symbols.h:1203

mcrl2::core::detail::default_value_MapSpec
const atermpp::aterm & default_value_MapSpec()
Definition default_values.h:488

mcrl2::core::detail::function_symbol_Block
const atermpp::function_symbol & function_symbol_Block()
Definition function_symbols.h:307

mcrl2::core::detail::function_symbol_SortSpec
const atermpp::function_symbol & function_symbol_SortSpec()
Definition function_symbols.h:1027

mcrl2::core::detail::function_symbol_StructProj
const atermpp::function_symbol & function_symbol_StructProj()
Definition function_symbols.h:1251

mcrl2::core::detail::default_value_PBESFalse
const atermpp::aterm & default_value_PBESFalse()
Definition default_values.h:1256

mcrl2::core::detail::default_value_StateMay
const atermpp::aterm & default_value_StateMay()
Definition default_values.h:976

mcrl2::core::detail::default_value_UntypedIdentifierAssignment
const atermpp::aterm & default_value_UntypedIdentifierAssignment()
Definition default_values.h:456

mcrl2::core::detail::function_symbol_Sum
const atermpp::function_symbol & function_symbol_Sum()
Definition function_symbols.h:1259

mcrl2::core::detail::default_value_PRESEqInf
const atermpp::aterm & default_value_PRESEqInf()
Definition default_values.h:1448

mcrl2::core::detail::function_symbol_Lambda
const atermpp::function_symbol & function_symbol_Lambda()
Definition function_symbols.h:459

mcrl2::core::detail::default_value_Choice
const atermpp::aterm & default_value_Choice()
Definition default_values.h:704

mcrl2::core::detail::function_symbol_PRESPlus
const atermpp::function_symbol & function_symbol_PRESPlus()
Definition function_symbols.h:755

mcrl2::core::detail::default_value_StateAnd
const atermpp::aterm & default_value_StateAnd()
Definition default_values.h:880

mcrl2::core::detail::default_value_PropVarInst
const atermpp::aterm & default_value_PropVarInst()
Definition default_values.h:1312

mcrl2::core::detail::function_symbol_AtTime
const atermpp::function_symbol & function_symbol_AtTime()
Definition function_symbols.h:275

mcrl2::core::detail::default_value_MultActName
const atermpp::aterm & default_value_MultActName()
Definition default_values.h:736

mcrl2::core::detail::function_symbol_PBESExists
const atermpp::function_symbol & function_symbol_PBESExists()
Definition function_symbols.h:571

mcrl2::core::detail::default_value_SortDecl
const atermpp::aterm & default_value_SortDecl()
Definition default_values.h:1515

mcrl2::core::detail::default_value_ActAnd
const atermpp::aterm & default_value_ActAnd()
Definition default_values.h:1112

mcrl2::core::detail::function_symbol_GlobVarSpec
const atermpp::function_symbol & function_symbol_GlobVarSpec()
Definition function_symbols.h:419

mcrl2::core::detail::default_value_GlobVarSpec
const atermpp::aterm & default_value_GlobVarSpec()
Definition default_values.h:776

mcrl2::core::detail::function_symbol_PBEqn
const atermpp::function_symbol & function_symbol_PBEqn()
Definition function_symbols.h:627

mcrl2::core::detail::default_value_ActAt
const atermpp::aterm & default_value_ActAt()
Definition default_values.h:1152

mcrl2::core::detail::function_symbol_Nu
const atermpp::function_symbol & function_symbol_Nu()
Definition function_symbols.h:539

mcrl2::core::detail::function_symbol_Comm
const atermpp::function_symbol & function_symbol_Comm()
Definition function_symbols.h:323

mcrl2::core::detail::function_symbol_ProcEqn
const atermpp::function_symbol & function_symbol_ProcEqn()
Definition function_symbols.h:811

mcrl2::core::detail::function_symbol_UntypedIdentifierAssignment
const atermpp::function_symbol & function_symbol_UntypedIdentifierAssignment()
Definition function_symbols.h:1307

mcrl2::core::detail::function_symbol_Delta
const atermpp::function_symbol & function_symbol_Delta()
Definition function_symbols.h:387

mcrl2::core::detail::function_symbol_Binder
const atermpp::function_symbol & function_symbol_Binder()
Definition function_symbols.h:299

mcrl2::core::detail::function_symbol_PropVarDecl
const atermpp::function_symbol & function_symbol_PropVarDecl()
Definition function_symbols.h:867

mcrl2::core::detail::default_value_StateConstantMultiplyAlt
const atermpp::aterm & default_value_StateConstantMultiplyAlt()
Definition default_values.h:920

mcrl2::core::detail::default_value_StatePlus
const atermpp::aterm & default_value_StatePlus()
Definition default_values.h:904

mcrl2::core::detail::function_symbol_PRESSupremum
const atermpp::function_symbol & function_symbol_PRESSupremum()
Definition function_symbols.h:771

mcrl2::core::detail::function_symbol_PREqnSpec
const atermpp::function_symbol & function_symbol_PREqnSpec()
Definition function_symbols.h:795

mcrl2::core::detail::default_value_UntypedSetBagComp
const atermpp::aterm & default_value_UntypedSetBagComp()
Definition default_values.h:440

mcrl2::core::detail::function_symbol_StateExists
const atermpp::function_symbol & function_symbol_StateExists()
Definition function_symbols.h:1083

mcrl2::core::detail::default_value_ProcSpec
const atermpp::aterm & default_value_ProcSpec()
Definition default_values.h:760

mcrl2::core::detail::default_value_PBInit
const atermpp::aterm & default_value_PBInit()
Definition default_values.h:1208

mcrl2::core::detail::default_value_PBESNot
const atermpp::aterm & default_value_PBESNot()
Definition default_values.h:1264

mcrl2::core::detail::default_value_UntypedRegFrm
const atermpp::aterm & default_value_UntypedRegFrm()
Definition default_values.h:1080

mcrl2::core::detail::function_symbol_PRESTrue
const atermpp::function_symbol & function_symbol_PRESTrue()
Definition function_symbols.h:779

mcrl2::core::detail::default_value_ConsSpec
const atermpp::aterm & default_value_ConsSpec()
Definition default_values.h:480

mcrl2::core::detail::default_value_TimedMultAct
const atermpp::aterm & default_value_TimedMultAct()
Definition default_values.h:528

mcrl2::core::detail::default_value_ActNot
const atermpp::aterm & default_value_ActNot()
Definition default_values.h:1104

mcrl2::core::detail::function_symbol_PREqn
const atermpp::function_symbol & function_symbol_PREqn()
Definition function_symbols.h:787

mcrl2::core::detail::function_symbol_StateVar
const atermpp::function_symbol & function_symbol_StateVar()
Definition function_symbols.h:1211

mcrl2::core::detail::function_symbol_UntypedSortVariable
const atermpp::function_symbol & function_symbol_UntypedSortVariable()
Definition function_symbols.h:1355

mcrl2::core::detail::function_symbol_ActMultAct
const atermpp::function_symbol & function_symbol_ActMultAct()
Definition function_symbols.h:195

mcrl2::core::detail::default_value_DataVarIdInit
const atermpp::aterm & default_value_DataVarIdInit()
Definition default_values.h:448

mcrl2::core::detail::default_value_DataSpec
const atermpp::aterm & default_value_DataSpec()
Definition default_values.h:464

mcrl2::core::detail::function_symbol_PRESOr
const atermpp::function_symbol & function_symbol_PRESOr()
Definition function_symbols.h:747

mcrl2::core::detail::default_value_Merge
const atermpp::aterm & default_value_Merge()
Definition default_values.h:688

mcrl2::core::detail::default_value_FixPoint
const atermpp::aterm & default_value_FixPoint()
Definition default_values.h:1578

mcrl2::core::detail::default_value_PRESSupremum
const atermpp::aterm & default_value_PRESSupremum()
Definition default_values.h:1432

mcrl2::core::detail::function_symbol_PBESFalse
const atermpp::function_symbol & function_symbol_PBESFalse()
Definition function_symbols.h:579

mcrl2::core::detail::default_value_Nu
const atermpp::aterm & default_value_Nu()
Definition default_values.h:1232

mcrl2::core::detail::default_value_RegAlt
const atermpp::aterm & default_value_RegAlt()
Definition default_values.h:1056

mcrl2::core::detail::default_value_PREqn
const atermpp::aterm & default_value_PREqn()
Definition default_values.h:1344

mcrl2::core::detail::function_symbol_SortArrow
const atermpp::function_symbol & function_symbol_SortArrow()
Definition function_symbols.h:955

mcrl2::core::detail::default_value_SetComp
const atermpp::aterm & default_value_SetComp()
Definition default_values.h:416

mcrl2::core::detail::function_symbol_PRESSum
const atermpp::function_symbol & function_symbol_PRESSum()
Definition function_symbols.h:763

mcrl2::core::detail::default_value_BagComp
const atermpp::aterm & default_value_BagComp()
Definition default_values.h:424

mcrl2::core::detail::function_symbol_SortList
const atermpp::function_symbol & function_symbol_SortList()
Definition function_symbols.h:1003

mcrl2::core::detail::default_value_Lambda
const atermpp::aterm & default_value_Lambda()
Definition default_values.h:432

mcrl2::core::detail::function_symbol_PRESEqInf
const atermpp::function_symbol & function_symbol_PRESEqInf()
Definition function_symbols.h:699

mcrl2::core::detail::default_value_RenameExpr
const atermpp::aterm & default_value_RenameExpr()
Definition default_values.h:744

mcrl2::core::detail::default_value_StateFrm
const atermpp::aterm & default_value_StateFrm()
Definition default_values.h:1543

mcrl2::core::detail::function_symbol_StateNot
const atermpp::function_symbol & function_symbol_StateNot()
Definition function_symbols.h:1155

mcrl2::core::detail::default_value_PRESConstantMultiplyAlt
const atermpp::aterm & default_value_PRESConstantMultiplyAlt()
Definition default_values.h:1416

mcrl2::core::detail::function_symbol_Action
const atermpp::function_symbol & function_symbol_Action()
Definition function_symbols.h:235

mcrl2::core::detail::function_symbol_PBESNot
const atermpp::function_symbol & function_symbol_PBESNot()
Definition function_symbols.h:603

mcrl2::core::detail::default_value_Block
const atermpp::aterm & default_value_Block()
Definition default_values.h:600

mcrl2::core::detail::function_symbol_PRESEqNInf
const atermpp::function_symbol & function_symbol_PRESEqNInf()
Definition function_symbols.h:707

mcrl2::core::detail::function_symbol_ActImp
const atermpp::function_symbol & function_symbol_ActImp()
Definition function_symbols.h:187

mcrl2::core::detail::function_symbol_BagComp
const atermpp::function_symbol & function_symbol_BagComp()
Definition function_symbols.h:291

mcrl2::core::detail::default_value_Allow
const atermpp::aterm & default_value_Allow()
Definition default_values.h:632

mcrl2::core::detail::function_symbol_PRESConstantMultiply
const atermpp::function_symbol & function_symbol_PRESConstantMultiply()
Definition function_symbols.h:683

mcrl2::core::detail::function_symbol_UntypedDataParameter
const atermpp::function_symbol & function_symbol_UntypedDataParameter()
Definition function_symbols.h:1291

mcrl2::core::detail::default_value_StateTrue
const atermpp::aterm & default_value_StateTrue()
Definition default_values.h:848

mcrl2::core::detail::function_symbol_Distribution
const atermpp::function_symbol & function_symbol_Distribution()
Definition function_symbols.h:395

mcrl2::core::detail::default_value_PRESConstantMultiply
const atermpp::aterm & default_value_PRESConstantMultiply()
Definition default_values.h:1408

mcrl2::core::detail::default_value_Sync
const atermpp::aterm & default_value_Sync()
Definition default_values.h:640

mcrl2::core::detail::default_value_Delta
const atermpp::aterm & default_value_Delta()
Definition default_values.h:576

mcrl2::core::detail::default_value_StateDelay
const atermpp::aterm & default_value_StateDelay()
Definition default_values.h:1000

mcrl2::core::detail::default_value_Forall
const atermpp::aterm & default_value_Forall()
Definition default_values.h:400

mcrl2::core::detail::function_symbol_MapSpec
const atermpp::function_symbol & function_symbol_MapSpec()
Definition function_symbols.h:499

mcrl2::core::detail::default_value_ProcVarId
const atermpp::aterm & default_value_ProcVarId()
Definition default_values.h:728

mcrl2::core::detail::default_value_StateSupremum
const atermpp::aterm & default_value_StateSupremum()
Definition default_values.h:952

mcrl2::core::detail::function_symbol_StateDelay
const atermpp::function_symbol & function_symbol_StateDelay()
Definition function_symbols.h:1067

mcrl2::core::detail::default_value_PRESOr
const atermpp::aterm & default_value_PRESOr()
Definition default_values.h:1384

mcrl2::core::detail::function_symbol_StateSum
const atermpp::function_symbol & function_symbol_StateSum()
Definition function_symbols.h:1187

mcrl2::core::detail::function_symbol_PRES
const atermpp::function_symbol & function_symbol_PRES()
Definition function_symbols.h:651

mcrl2::core::detail::default_value_PRESSum
const atermpp::aterm & default_value_PRESSum()
Definition default_values.h:1440

mcrl2::core::detail::function_symbol_PBESAnd
const atermpp::function_symbol & function_symbol_PBESAnd()
Definition function_symbols.h:563

mcrl2::core::detail::function_symbol_LinearProcessInit
const atermpp::function_symbol & function_symbol_LinearProcessInit()
Definition function_symbols.h:483

mcrl2::core::detail::function_symbol_RenameExpr
const atermpp::function_symbol & function_symbol_RenameExpr()
Definition function_symbols.h:931

mcrl2::core::detail::function_symbol_PBEqnSpec
const atermpp::function_symbol & function_symbol_PBEqnSpec()
Definition function_symbols.h:635

mcrl2::core::detail::default_value_RegTrans
const atermpp::aterm & default_value_RegTrans()
Definition default_values.h:1064

mcrl2::core::detail::function_symbol_MultActName
const atermpp::function_symbol & function_symbol_MultActName()
Definition function_symbols.h:531

mcrl2::core::detail::function_symbol_ActAt
const atermpp::function_symbol & function_symbol_ActAt()
Definition function_symbols.h:147

mcrl2::core::detail::function_symbol_Process
const atermpp::function_symbol & function_symbol_Process()
Definition function_symbols.h:843

mcrl2::core::detail::function_symbol_StateMu
const atermpp::function_symbol & function_symbol_StateMu()
Definition function_symbols.h:1139

mcrl2::core::detail::default_value_ProcExpr
const atermpp::aterm & default_value_ProcExpr()
Definition default_values.h:1522

mcrl2::core::detail::default_value_SortId
const atermpp::aterm & default_value_SortId()
Definition default_values.h:288

mcrl2::core::detail::default_value_StructCons
const atermpp::aterm & default_value_StructCons()
Definition default_values.h:336

mcrl2::core::detail::default_value_WhrDecl
const atermpp::aterm & default_value_WhrDecl()
Definition default_values.h:1508

mcrl2::core::detail::default_value_UntypedIdentifier
const atermpp::aterm & default_value_UntypedIdentifier()
Definition default_values.h:368

mcrl2::core::detail::function_symbol_PBESOr
const atermpp::function_symbol & function_symbol_PBESOr()
Definition function_symbols.h:611

mcrl2::core::detail::function_symbol_PRInit
const atermpp::function_symbol & function_symbol_PRInit()
Definition function_symbols.h:803

mcrl2::core::detail::default_value_StateFalse
const atermpp::aterm & default_value_StateFalse()
Definition default_values.h:856

mcrl2::core::detail::default_value_SortSet
const atermpp::aterm & default_value_SortSet()
Definition default_values.h:304

mcrl2::core::detail::function_symbol_IfThenElse
const atermpp::function_symbol & function_symbol_IfThenElse()
Definition function_symbols.h:443

mcrl2::core::detail::function_symbol_PRESCondSm
const atermpp::function_symbol & function_symbol_PRESCondSm()
Definition function_symbols.h:675

mcrl2::core::detail::function_symbol_RegTransOrNil
const atermpp::function_symbol & function_symbol_RegTransOrNil()
Definition function_symbols.h:915

mcrl2::core::detail::default_value_ActImp
const atermpp::aterm & default_value_ActImp()
Definition default_values.h:1128

mcrl2::core::detail::default_value_PBESAnd
const atermpp::aterm & default_value_PBESAnd()
Definition default_values.h:1272

mcrl2::core::detail::default_value_MultActOrDelta
const atermpp::aterm & default_value_MultActOrDelta()
Definition default_values.h:1529

mcrl2::core::detail::default_value_Process
const atermpp::aterm & default_value_Process()
Definition default_values.h:560

mcrl2::core::detail::default_value_PRESPlus
const atermpp::aterm & default_value_PRESPlus()
Definition default_values.h:1400

mcrl2::core::detail::function_symbol_CommExpr
const atermpp::function_symbol & function_symbol_CommExpr()
Definition function_symbols.h:331

mcrl2::core::detail::default_value_Action
const atermpp::aterm & default_value_Action()
Definition default_values.h:544

mcrl2::core::detail::DataApplFixed
constexpr std::size_t DataApplFixed
Definition function_symbols.h:29

mcrl2::core::detail::function_symbol_StateMay
const atermpp::function_symbol & function_symbol_StateMay()
Definition function_symbols.h:1123

mcrl2::core::detail::function_symbol_SortId
const atermpp::function_symbol & function_symbol_SortId()
Definition function_symbols.h:995

mcrl2::core::detail::function_symbol_ActFalse
const atermpp::function_symbol & function_symbol_ActFalse()
Definition function_symbols.h:163

mcrl2::core::detail::default_value_UntypedMultiAction
const atermpp::aterm & default_value_UntypedMultiAction()
Definition default_values.h:536

mcrl2::core::detail::default_value_ActionRenameRules
const atermpp::aterm & default_value_ActionRenameRules()
Definition default_values.h:1168

mcrl2::core::detail::function_symbol_StatePlus
const atermpp::function_symbol & function_symbol_StatePlus()
Definition function_symbols.h:1179

mcrl2::core::detail::function_symbol_PRESConstantMultiplyAlt
const atermpp::function_symbol & function_symbol_PRESConstantMultiplyAlt()
Definition function_symbols.h:691

mcrl2::core::detail::default_value_ActFrm
const atermpp::aterm & default_value_ActFrm()
Definition default_values.h:1557

mcrl2::core::detail::function_symbol_RegTrans
const atermpp::function_symbol & function_symbol_RegTrans()
Definition function_symbols.h:907

mcrl2::core::detail::default_value_OpId
const atermpp::aterm & default_value_OpId()
Definition default_values.h:384

mcrl2::core::detail::default_value_ActExists
const atermpp::aterm & default_value_ActExists()
Definition default_values.h:1144

mcrl2::core::detail::default_value_UntypedDataParameter
const atermpp::aterm & default_value_UntypedDataParameter()
Definition default_values.h:392

mcrl2::core::detail::function_symbol_PBESImp
const atermpp::function_symbol & function_symbol_PBESImp()
Definition function_symbols.h:595

mcrl2::core::detail::function_symbol_RegAlt
const atermpp::function_symbol & function_symbol_RegAlt()
Definition function_symbols.h:883

mcrl2::core::detail::default_value_StateNu
const atermpp::aterm & default_value_StateNu()
Definition default_values.h:1024

mcrl2::core::detail::default_value_BInit
const atermpp::aterm & default_value_BInit()
Definition default_values.h:680

mcrl2::core::detail::function_symbol_Sync
const atermpp::function_symbol & function_symbol_Sync()
Definition function_symbols.h:1267

mcrl2::core::detail::default_value_RegNil
const atermpp::aterm & default_value_RegNil()
Definition default_values.h:1040

mcrl2::core::detail::function_symbol_Seq
const atermpp::function_symbol & function_symbol_Seq()
Definition function_symbols.h:939

mcrl2::core::detail::function_symbol_Whr
const atermpp::function_symbol & function_symbol_Whr()
Definition function_symbols.h:1371

mcrl2::core::detail::default_value_Rename
const atermpp::aterm & default_value_Rename()
Definition default_values.h:616

mcrl2::core::detail::default_value_StateDelayTimed
const atermpp::aterm & default_value_StateDelayTimed()
Definition default_values.h:1008

mcrl2::core::detail::function_symbol_PRESFalse
const atermpp::function_symbol & function_symbol_PRESFalse()
Definition function_symbols.h:715

mcrl2::core::detail::default_value_SortStruct
const atermpp::aterm & default_value_SortStruct()
Definition default_values.h:248

mcrl2::core::detail::default_value_LMerge
const atermpp::aterm & default_value_LMerge()
Definition default_values.h:696

mcrl2::core::detail::default_value_SortRef
const atermpp::aterm & default_value_SortRef()
Definition default_values.h:504

mcrl2::core::detail::default_value_StateForall
const atermpp::aterm & default_value_StateForall()
Definition default_values.h:928

mcrl2::core::detail::function_symbol_RegNil
const atermpp::function_symbol & function_symbol_RegNil()
Definition function_symbols.h:891

mcrl2::core::detail::function_symbol_Exists
const atermpp::function_symbol & function_symbol_Exists()
Definition function_symbols.h:403

mcrl2::core::detail::function_symbol_ProcVarId
const atermpp::function_symbol & function_symbol_ProcVarId()
Definition function_symbols.h:835

mcrl2::core::detail::function_symbol_PRESMinus
const atermpp::function_symbol & function_symbol_PRESMinus()
Definition function_symbols.h:739

mcrl2::core::detail::default_value_PRExpr
const atermpp::aterm & default_value_PRExpr()
Definition default_values.h:1592

mcrl2::core::detail::function_symbol_LinProcSpec
const atermpp::function_symbol & function_symbol_LinProcSpec()
Definition function_symbols.h:467

mcrl2::core::detail::default_value_SortList
const atermpp::aterm & default_value_SortList()
Definition default_values.h:296

mcrl2::core::detail::default_value_StateConstantMultiply
const atermpp::aterm & default_value_StateConstantMultiply()
Definition default_values.h:912

mcrl2::core::detail::default_value_RegSeq
const atermpp::aterm & default_value_RegSeq()
Definition default_values.h:1048

mcrl2::core::detail::default_value_SortArrow
const atermpp::aterm & default_value_SortArrow()
Definition default_values.h:256

mcrl2::core::detail::function_symbol_ProcessAssignment
const atermpp::function_symbol & function_symbol_ProcessAssignment()
Definition function_symbols.h:851

mcrl2::core::detail::default_value_PRESEqNInf
const atermpp::aterm & default_value_PRESEqNInf()
Definition default_values.h:1456

mcrl2::core::detail::default_value_ProcInit
const atermpp::aterm & default_value_ProcInit()
Definition default_values.h:1536

mcrl2::core::detail::function_symbol_PBESForall
const atermpp::function_symbol & function_symbol_PBESForall()
Definition function_symbols.h:587

mcrl2::core::detail::function_symbol_DataSpec
const atermpp::function_symbol & function_symbol_DataSpec()
Definition function_symbols.h:363

mcrl2::core::detail::function_symbol_UntypedMultiAction
const atermpp::function_symbol & function_symbol_UntypedMultiAction()
Definition function_symbols.h:1315

mcrl2::core::detail::default_value_PBEqnSpec
const atermpp::aterm & default_value_PBEqnSpec()
Definition default_values.h:1200

mcrl2::core::detail::function_symbol_ActAnd
const atermpp::function_symbol & function_symbol_ActAnd()
Definition function_symbols.h:139

mcrl2::core::detail::default_value_LinearProcessSummand
const atermpp::aterm & default_value_LinearProcessSummand()
Definition default_values.h:832

mcrl2::core::detail::default_value_ProcessAssignment
const atermpp::aterm & default_value_ProcessAssignment()
Definition default_values.h:568

mcrl2::core::detail::function_symbol_SortFBag
const atermpp::function_symbol & function_symbol_SortFBag()
Definition function_symbols.h:979

mcrl2::core::detail::default_value_ActionRenameSpec
const atermpp::aterm & default_value_ActionRenameSpec()
Definition default_values.h:1184

mcrl2::core::detail::function_symbol_StateDelayTimed
const atermpp::function_symbol & function_symbol_StateDelayTimed()
Definition function_symbols.h:1075

mcrl2::core::detail::function_symbol_SortFSet
const atermpp::function_symbol & function_symbol_SortFSet()
Definition function_symbols.h:987

mcrl2::core::detail::default_value_ActMultAct
const atermpp::aterm & default_value_ActMultAct()
Definition default_values.h:1160

mcrl2::core::detail::default_value_PBESOr
const atermpp::aterm & default_value_PBESOr()
Definition default_values.h:1280

mcrl2::core::detail::function_symbol_ActionRenameRule
const atermpp::function_symbol & function_symbol_ActionRenameRule()
Definition function_symbols.h:243

mcrl2::core::detail::default_value_StochasticOperator
const atermpp::aterm & default_value_StochasticOperator()
Definition default_values.h:712

mcrl2::core::detail::function_symbol_StateConstantMultiply
const atermpp::function_symbol & function_symbol_StateConstantMultiply()
Definition function_symbols.h:1051

mcrl2::core::detail::default_value_PBExpr
const atermpp::aterm & default_value_PBExpr()
Definition default_values.h:1585

mcrl2::core::detail::function_symbol_StateOr
const atermpp::function_symbol & function_symbol_StateOr()
Definition function_symbols.h:1171

mcrl2::core::detail::function_symbol_IfThen
const atermpp::function_symbol & function_symbol_IfThen()
Definition function_symbols.h:435

mcrl2::core::detail::function_symbol_UntypedSetBagComp
const atermpp::function_symbol & function_symbol_UntypedSetBagComp()
Definition function_symbols.h:1339

mcrl2::core::detail::default_value_StateNot
const atermpp::aterm & default_value_StateNot()
Definition default_values.h:864

mcrl2::core::detail::function_symbol_SortStruct
const atermpp::function_symbol & function_symbol_SortStruct()
Definition function_symbols.h:1035

mcrl2::core::detail::default_value_PBES
const atermpp::aterm & default_value_PBES()
Definition default_values.h:1192

mcrl2::core::detail::default_value_PBESForall
const atermpp::aterm & default_value_PBESForall()
Definition default_values.h:1296

mcrl2::core::detail::default_value_StructProj
const atermpp::aterm & default_value_StructProj()
Definition default_values.h:344

mcrl2::core::detail::function_symbol_PRESInfimum
const atermpp::function_symbol & function_symbol_PRESInfimum()
Definition function_symbols.h:731

mcrl2::core::detail::function_symbol_ActOr
const atermpp::function_symbol & function_symbol_ActOr()
Definition function_symbols.h:211

mcrl2::core::detail::function_symbol_ProcessInit
const atermpp::function_symbol & function_symbol_ProcessInit()
Definition function_symbols.h:859

mcrl2::core::detail::default_value_ActId
const atermpp::aterm & default_value_ActId()
Definition default_values.h:552

mcrl2::core::detail::function_symbol_PBESTrue
const atermpp::function_symbol & function_symbol_PBESTrue()
Definition function_symbols.h:619

mcrl2::core::detail::default_value_SortSpec
const atermpp::aterm & default_value_SortSpec()
Definition default_values.h:472

mcrl2::core::detail::default_value_ProcEqnSpec
const atermpp::aterm & default_value_ProcEqnSpec()
Definition default_values.h:784

mcrl2::core::detail::function_symbol_LinearProcessSummand
const atermpp::function_symbol & function_symbol_LinearProcessSummand()
Definition function_symbols.h:491

mcrl2::core::detail::function_symbol_Hide
const atermpp::function_symbol & function_symbol_Hide()
Definition function_symbols.h:427

mcrl2::core::detail::function_symbol_StochasticOperator
const atermpp::function_symbol & function_symbol_StochasticOperator()
Definition function_symbols.h:1235

mcrl2::core::detail::function_symbol_ActTrue
const atermpp::function_symbol & function_symbol_ActTrue()
Definition function_symbols.h:227

mcrl2::core::detail::default_value_UntypedProcessAssignment
const atermpp::aterm & default_value_UntypedProcessAssignment()
Definition default_values.h:720

mcrl2::core::detail::function_symbol_StateFalse
const atermpp::function_symbol & function_symbol_StateFalse()
Definition function_symbols.h:1091

mcrl2::core::detail::default_value_ProcessInit
const atermpp::aterm & default_value_ProcessInit()
Definition default_values.h:800

mcrl2::core::detail::default_value_PRESFalse
const atermpp::aterm & default_value_PRESFalse()
Definition default_values.h:1360

mcrl2::core::detail::default_value_LinProcSpec
const atermpp::aterm & default_value_LinProcSpec()
Definition default_values.h:816

mcrl2::core::detail::default_value_StateInfimum
const atermpp::aterm & default_value_StateInfimum()
Definition default_values.h:944

mcrl2::core::detail::default_value_UntypedSortUnknown
const atermpp::aterm & default_value_UntypedSortUnknown()
Definition default_values.h:264

mcrl2::core::detail::default_value_SortCons
const atermpp::aterm & default_value_SortCons()
Definition default_values.h:240

mcrl2::core::detail::default_value_PRInit
const atermpp::aterm & default_value_PRInit()
Definition default_values.h:1336

mcrl2::core::detail::default_value_LinearProcessInit
const atermpp::aterm & default_value_LinearProcessInit()
Definition default_values.h:840

mcrl2::core::detail::function_symbol_UntypedIdentifier
const atermpp::function_symbol & function_symbol_UntypedIdentifier()
Definition function_symbols.h:1299

mcrl2::core::detail::function_symbol_ActionRenameRules
const atermpp::function_symbol & function_symbol_ActionRenameRules()
Definition function_symbols.h:251

mcrl2::core::detail::function_symbol_ActSpec
const atermpp::function_symbol & function_symbol_ActSpec()
Definition function_symbols.h:219

mcrl2::core::detail::default_value_Exists
const atermpp::aterm & default_value_Exists()
Definition default_values.h:408

mcrl2::core::detail::function_symbol_MultAct
const atermpp::function_symbol & function_symbol_MultAct()
Definition function_symbols.h:523

mcrl2::core::detail::function_symbols_DataApplFixed
atermpp::function_symbol function_symbols_DataApplFixed[DataApplFixed]
Definition core.cpp:21

mcrl2::core::detail::function_symbol_StateAnd
const atermpp::function_symbol & function_symbol_StateAnd()
Definition function_symbols.h:1043

mcrl2::core::detail::default_value_PRES
const atermpp::aterm & default_value_PRES()
Definition default_values.h:1320

mcrl2::core::detail::function_symbol_PBInit
const atermpp::function_symbol & function_symbol_PBInit()
Definition function_symbols.h:643

mcrl2::core::detail::default_value_PBESImp
const atermpp::aterm & default_value_PBESImp()
Definition default_values.h:1288

mcrl2::core::detail::function_symbol_StateInfimum
const atermpp::function_symbol & function_symbol_StateInfimum()
Definition function_symbols.h:1115

mcrl2::core::detail::function_symbol_ActNot
const atermpp::function_symbol & function_symbol_ActNot()
Definition function_symbols.h:203

mcrl2::core::detail::default_value_DataEqnSpec
const atermpp::aterm & default_value_DataEqnSpec()
Definition default_values.h:496

mcrl2::core::detail::default_value_IfThen
const atermpp::aterm & default_value_IfThen()
Definition default_values.h:664

mcrl2::core::detail::default_value_Hide
const atermpp::aterm & default_value_Hide()
Definition default_values.h:608

mcrl2::core::detail::function_symbol_ConsSpec
const atermpp::function_symbol & function_symbol_ConsSpec()
Definition function_symbols.h:339

mcrl2::core::detail::default_value_StateMust
const atermpp::aterm & default_value_StateMust()
Definition default_values.h:968

mcrl2::core::detail::default_value_Binder
const atermpp::aterm & default_value_Binder()
Definition default_values.h:352

mcrl2::core::detail::default_value_CommExpr
const atermpp::aterm & default_value_CommExpr()
Definition default_values.h:752

mcrl2::core::detail::function_symbol_ActExists
const atermpp::function_symbol & function_symbol_ActExists()
Definition function_symbols.h:155

mcrl2::core::detail::default_value_PBEqn
const atermpp::aterm & default_value_PBEqn()
Definition default_values.h:1216

mcrl2::core::detail::default_value_RegTransOrNil
const atermpp::aterm & default_value_RegTransOrNil()
Definition default_values.h:1072

mcrl2::core::detail::function_symbol_ActionRenameSpec
const atermpp::function_symbol & function_symbol_ActionRenameSpec()
Definition function_symbols.h:259

mcrl2::core::detail::default_value_ParamIdOrAction
const atermpp::aterm & default_value_ParamIdOrAction()
Definition default_values.h:1564

mcrl2::core::detail::default_value_LinearProcess
const atermpp::aterm & default_value_LinearProcess()
Definition default_values.h:824

mcrl2::core::detail::default_value_ActForall
const atermpp::aterm & default_value_ActForall()
Definition default_values.h:1136

mcrl2::core::detail::function_symbol_ProcEqnSpec
const atermpp::function_symbol & function_symbol_ProcEqnSpec()
Definition function_symbols.h:819

mcrl2::core::detail::default_value_SortConsType
const atermpp::aterm & default_value_SortConsType()
Definition default_values.h:1487

mcrl2::core::detail::function_symbol_Tau
const atermpp::function_symbol & function_symbol_Tau()
Definition function_symbols.h:1275

mcrl2::core::detail::function_symbol_SortCons
const atermpp::function_symbol & function_symbol_SortCons()
Definition function_symbols.h:971

mcrl2::core::detail::function_symbol_UntypedRegFrm
const atermpp::function_symbol & function_symbol_UntypedRegFrm()
Definition function_symbols.h:1331

mcrl2::core::detail::function_symbol_OpId
const atermpp::function_symbol & function_symbol_OpId()
Definition function_symbols.h:547

mcrl2::core::detail::function_symbol_LMerge
const atermpp::function_symbol & function_symbol_LMerge()
Definition function_symbols.h:451

mcrl2::core::detail::function_symbol_LinearProcess
const atermpp::function_symbol & function_symbol_LinearProcess()
Definition function_symbols.h:475

mcrl2::core::detail::function_symbol_SetComp
const atermpp::function_symbol & function_symbol_SetComp()
Definition function_symbols.h:947

mcrl2::core::detail::function_symbol_PropVarInst
const atermpp::function_symbol & function_symbol_PropVarInst()
Definition function_symbols.h:875

mcrl2::core::detail::function_symbol_StateYaled
const atermpp::function_symbol & function_symbol_StateYaled()
Definition function_symbols.h:1219

mcrl2::core::detail::default_value_SortFBag
const atermpp::aterm & default_value_SortFBag()
Definition default_values.h:328

mcrl2::core::detail::default_value_PRESMinus
const atermpp::aterm & default_value_PRESMinus()
Definition default_values.h:1368

mcrl2::core::detail::default_value_AtTime
const atermpp::aterm & default_value_AtTime()
Definition default_values.h:648

mcrl2::core::detail::function_symbol_StateSupremum
const atermpp::function_symbol & function_symbol_StateSupremum()
Definition function_symbols.h:1195

mcrl2::core::detail::function_symbol_DataEqnSpec
const atermpp::function_symbol & function_symbol_DataEqnSpec()
Definition function_symbols.h:355

mcrl2::core::detail::default_value_BindingOperator
const atermpp::aterm & default_value_BindingOperator()
Definition default_values.h:1501

mcrl2::core::detail::default_value_UntypedSortVariable
const atermpp::aterm & default_value_UntypedSortVariable()
Definition default_values.h:280

mcrl2::core::detail::function_symbol_DataVarIdInit
const atermpp::function_symbol & function_symbol_DataVarIdInit()
Definition function_symbols.h:379

mcrl2::core::detail::function_symbol_StateMust
const atermpp::function_symbol & function_symbol_StateMust()
Definition function_symbols.h:1147

mcrl2::core::detail::default_value_ActOr
const atermpp::aterm & default_value_ActOr()
Definition default_values.h:1120

mcrl2::core::pp
std::string pp(const identifier_string &x)
Definition core.cpp:26

mcrl2
A class that takes a linear process specification and checks all tau-summands of that LPS for conflue...
Definition indexed_set.h:72

mcrl2::core::detail::default_values::Mu
static const atermpp::aterm Mu
Definition default_values.h:1728

mcrl2::core::detail::default_values::DataVarIdInit
static const atermpp::aterm DataVarIdInit
Definition default_values.h:1631

mcrl2::core::detail::default_values::ProcSpec
static const atermpp::aterm ProcSpec
Definition default_values.h:1670

mcrl2::core::detail::default_values::PRESInfimum
static const atermpp::aterm PRESInfimum
Definition default_values.h:1753

mcrl2::core::detail::default_values::Delta
static const atermpp::aterm Delta
Definition default_values.h:1647

mcrl2::core::detail::default_values::PREqnSpec
static const atermpp::aterm PREqnSpec
Definition default_values.h:1741

mcrl2::core::detail::default_values::StateMay
static const atermpp::aterm StateMay
Definition default_values.h:1697

mcrl2::core::detail::default_values::StateOr
static const atermpp::aterm StateOr
Definition default_values.h:1686

mcrl2::core::detail::default_values::PBESForall
static const atermpp::aterm PBESForall
Definition default_values.h:1737

mcrl2::core::detail::default_values::PRESConstantMultiplyAlt
static const atermpp::aterm PRESConstantMultiplyAlt
Definition default_values.h:1752

mcrl2::core::detail::default_values::PBExpr
static const atermpp::aterm PBExpr
Definition default_values.h:1775

mcrl2::core::detail::default_values::ParamIdOrAction
static const atermpp::aterm ParamIdOrAction
Definition default_values.h:1772

mcrl2::core::detail::default_values::UntypedProcessAssignment
static const atermpp::aterm UntypedProcessAssignment
Definition default_values.h:1665

mcrl2::core::detail::default_values::SortFSet
static const atermpp::aterm SortFSet
Definition default_values.h:1615

mcrl2::core::detail::default_values::PRES
static const atermpp::aterm PRES
Definition default_values.h:1740

mcrl2::core::detail::default_values::UntypedRegFrm
static const atermpp::aterm UntypedRegFrm
Definition default_values.h:1710

mcrl2::core::detail::default_values::DataVarId
static const atermpp::aterm DataVarId
Definition default_values.h:1622

mcrl2::core::detail::default_values::PBESOr
static const atermpp::aterm PBESOr
Definition default_values.h:1735

mcrl2::core::detail::default_values::PRESPlus
static const atermpp::aterm PRESPlus
Definition default_values.h:1750

mcrl2::core::detail::default_values::Distribution
static const atermpp::aterm Distribution
Definition default_values.h:1676

mcrl2::core::detail::default_values::Allow
static const atermpp::aterm Allow
Definition default_values.h:1654

mcrl2::core::detail::default_values::PRExpr
static const atermpp::aterm PRExpr
Definition default_values.h:1776

mcrl2::core::detail::default_values::ActionRenameRules
static const atermpp::aterm ActionRenameRules
Definition default_values.h:1721

mcrl2::core::detail::default_values::PBESExists
static const atermpp::aterm PBESExists
Definition default_values.h:1738

mcrl2::core::detail::default_values::RenameExpr
static const atermpp::aterm RenameExpr
Definition default_values.h:1668

mcrl2::core::detail::default_values::LinearProcess
static const atermpp::aterm LinearProcess
Definition default_values.h:1678

mcrl2::core::detail::default_values::BindingOperator
static const atermpp::aterm BindingOperator
Definition default_values.h:1763

mcrl2::core::detail::default_values::MultActOrDelta
static const atermpp::aterm MultActOrDelta
Definition default_values.h:1767

mcrl2::core::detail::default_values::PRESFalse
static const atermpp::aterm PRESFalse
Definition default_values.h:1745

mcrl2::core::detail::default_values::PRESSupremum
static const atermpp::aterm PRESSupremum
Definition default_values.h:1754

mcrl2::core::detail::default_values::Tau
static const atermpp::aterm Tau
Definition default_values.h:1648

mcrl2::core::detail::default_values::StateFrm
static const atermpp::aterm StateFrm
Definition default_values.h:1769

mcrl2::core::detail::default_values::StateYaled
static const atermpp::aterm StateYaled
Definition default_values.h:1698

mcrl2::core::detail::default_values::PRESTrue
static const atermpp::aterm PRESTrue
Definition default_values.h:1744

mcrl2::core::detail::default_values::ActId
static const atermpp::aterm ActId
Definition default_values.h:1644

mcrl2::core::detail::default_values::SortArrow
static const atermpp::aterm SortArrow
Definition default_values.h:1607

mcrl2::core::detail::default_values::PREqn
static const atermpp::aterm PREqn
Definition default_values.h:1743

mcrl2::core::detail::default_values::PRESSum
static const atermpp::aterm PRESSum
Definition default_values.h:1755

mcrl2::core::detail::default_values::RegAlt
static const atermpp::aterm RegAlt
Definition default_values.h:1707

mcrl2::core::detail::default_values::ActNot
static const atermpp::aterm ActNot
Definition default_values.h:1713

mcrl2::core::detail::default_values::Hide
static const atermpp::aterm Hide
Definition default_values.h:1651

mcrl2::core::detail::default_values::LinearProcessInit
static const atermpp::aterm LinearProcessInit
Definition default_values.h:1680

mcrl2::core::detail::default_values::SortDecl
static const atermpp::aterm SortDecl
Definition default_values.h:1765

mcrl2::core::detail::default_values::Rename
static const atermpp::aterm Rename
Definition default_values.h:1652

mcrl2::core::detail::default_values::ActImp
static const atermpp::aterm ActImp
Definition default_values.h:1716

mcrl2::core::detail::default_values::ActTrue
static const atermpp::aterm ActTrue
Definition default_values.h:1711

mcrl2::core::detail::default_values::StateInfimum
static const atermpp::aterm StateInfimum
Definition default_values.h:1693

mcrl2::core::detail::default_values::Process
static const atermpp::aterm Process
Definition default_values.h:1645

mcrl2::core::detail::default_values::StateAnd
static const atermpp::aterm StateAnd
Definition default_values.h:1685

mcrl2::core::detail::default_values::ActionRenameRuleRHS
static const atermpp::aterm ActionRenameRuleRHS
Definition default_values.h:1773

mcrl2::core::detail::default_values::IfThen
static const atermpp::aterm IfThen
Definition default_values.h:1658

mcrl2::core::detail::default_values::StateExists
static const atermpp::aterm StateExists
Definition default_values.h:1692

mcrl2::core::detail::default_values::PRESConstantMultiply
static const atermpp::aterm PRESConstantMultiply
Definition default_values.h:1751

mcrl2::core::detail::default_values::UntypedSetBagComp
static const atermpp::aterm UntypedSetBagComp
Definition default_values.h:1630

mcrl2::core::detail::default_values::StochasticOperator
static const atermpp::aterm StochasticOperator
Definition default_values.h:1664

mcrl2::core::detail::default_values::PBEqnSpec
static const atermpp::aterm PBEqnSpec
Definition default_values.h:1725

mcrl2::core::detail::default_values::PRESAnd
static const atermpp::aterm PRESAnd
Definition default_values.h:1747

mcrl2::core::detail::default_values::PRESCondEq
static const atermpp::aterm PRESCondEq
Definition default_values.h:1759

mcrl2::core::detail::default_values::BInit
static const atermpp::aterm BInit
Definition default_values.h:1660

mcrl2::core::detail::default_values::Merge
static const atermpp::aterm Merge
Definition default_values.h:1661

mcrl2::core::detail::default_values::SortSpec
static const atermpp::aterm SortSpec
Definition default_values.h:1634

mcrl2::core::detail::default_values::Lambda
static const atermpp::aterm Lambda
Definition default_values.h:1629

mcrl2::core::detail::default_values::SortExpr
static const atermpp::aterm SortExpr
Definition default_values.h:1760

mcrl2::core::detail::default_values::SortConsType
static const atermpp::aterm SortConsType
Definition default_values.h:1761

mcrl2::core::detail::default_values::SortId
static const atermpp::aterm SortId
Definition default_values.h:1611

mcrl2::core::detail::default_values::UntypedSortsPossible
static const atermpp::aterm UntypedSortsPossible
Definition default_values.h:1609

mcrl2::core::detail::default_values::Binder
static const atermpp::aterm Binder
Definition default_values.h:1619

mcrl2::core::detail::default_values::PRESCondSm
static const atermpp::aterm PRESCondSm
Definition default_values.h:1758

mcrl2::core::detail::default_values::RegTrans
static const atermpp::aterm RegTrans
Definition default_values.h:1708

mcrl2::core::detail::default_values::Action
static const atermpp::aterm Action
Definition default_values.h:1643

mcrl2::core::detail::default_values::ActOr
static const atermpp::aterm ActOr
Definition default_values.h:1715

mcrl2::core::detail::default_values::ActSpec
static const atermpp::aterm ActSpec
Definition default_values.h:1671

mcrl2::core::detail::default_values::UntypedSortVariable
static const atermpp::aterm UntypedSortVariable
Definition default_values.h:1610

mcrl2::core::detail::default_values::DataEqn
static const atermpp::aterm DataEqn
Definition default_values.h:1639

mcrl2::core::detail::default_values::MultActName
static const atermpp::aterm MultActName
Definition default_values.h:1667

mcrl2::core::detail::default_values::StateConstantMultiplyAlt
static const atermpp::aterm StateConstantMultiplyAlt
Definition default_values.h:1690

mcrl2::core::detail::default_values::SortRef
static const atermpp::aterm SortRef
Definition default_values.h:1638

mcrl2::core::detail::default_values::AtTime
static const atermpp::aterm AtTime
Definition default_values.h:1656

mcrl2::core::detail::default_values::TimedMultAct
static const atermpp::aterm TimedMultAct
Definition default_values.h:1641

mcrl2::core::detail::default_values::Choice
static const atermpp::aterm Choice
Definition default_values.h:1663

mcrl2::core::detail::default_values::DataExpr
static const atermpp::aterm DataExpr
Definition default_values.h:1762

mcrl2::core::detail::default_values::PBESImp
static const atermpp::aterm PBESImp
Definition default_values.h:1736

mcrl2::core::detail::default_values::Nu
static const atermpp::aterm Nu
Definition default_values.h:1729

mcrl2::core::detail::default_values::ActFrm
static const atermpp::aterm ActFrm
Definition default_values.h:1771

mcrl2::core::detail::default_values::ActForall
static const atermpp::aterm ActForall
Definition default_values.h:1717

mcrl2::core::detail::default_values::Comm
static const atermpp::aterm Comm
Definition default_values.h:1653

mcrl2::core::detail::default_values::UntypedSortUnknown
static const atermpp::aterm UntypedSortUnknown
Definition default_values.h:1608

mcrl2::core::detail::default_values::StateYaledTimed
static const atermpp::aterm StateYaledTimed
Definition default_values.h:1699

mcrl2::core::detail::default_values::SortSet
static const atermpp::aterm SortSet
Definition default_values.h:1613

mcrl2::core::detail::default_values::PBInit
static const atermpp::aterm PBInit
Definition default_values.h:1726

mcrl2::core::detail::default_values::ActionRenameSpec
static const atermpp::aterm ActionRenameSpec
Definition default_values.h:1723

mcrl2::core::detail::default_values::ProcessAssignment
static const atermpp::aterm ProcessAssignment
Definition default_values.h:1646

mcrl2::core::detail::default_values::PBESNot
static const atermpp::aterm PBESNot
Definition default_values.h:1733

mcrl2::core::detail::default_values::LinProcSpec
static const atermpp::aterm LinProcSpec
Definition default_values.h:1677

mcrl2::core::detail::default_values::ActFalse
static const atermpp::aterm ActFalse
Definition default_values.h:1712

mcrl2::core::detail::default_values::Exists
static const atermpp::aterm Exists
Definition default_values.h:1626

mcrl2::core::detail::default_values::Sync
static const atermpp::aterm Sync
Definition default_values.h:1655

mcrl2::core::detail::default_values::StateFalse
static const atermpp::aterm StateFalse
Definition default_values.h:1682

mcrl2::core::detail::default_values::RegFrm
static const atermpp::aterm RegFrm
Definition default_values.h:1770

mcrl2::core::detail::default_values::FixPoint
static const atermpp::aterm FixPoint
Definition default_values.h:1774

mcrl2::core::detail::default_values::SortCons
static const atermpp::aterm SortCons
Definition default_values.h:1605

mcrl2::core::detail::default_values::DataSpec
static const atermpp::aterm DataSpec
Definition default_values.h:1633

mcrl2::core::detail::default_values::PropVarInst
static const atermpp::aterm PropVarInst
Definition default_values.h:1739

mcrl2::core::detail::default_values::PRInit
static const atermpp::aterm PRInit
Definition default_values.h:1742

mcrl2::core::detail::default_values::PRESOr
static const atermpp::aterm PRESOr
Definition default_values.h:1748

mcrl2::core::detail::default_values::SortBag
static const atermpp::aterm SortBag
Definition default_values.h:1614

mcrl2::core::detail::default_values::StateDelay
static const atermpp::aterm StateDelay
Definition default_values.h:1700

mcrl2::core::detail::default_values::StatePlus
static const atermpp::aterm StatePlus
Definition default_values.h:1688

mcrl2::core::detail::default_values::DataEqnSpec
static const atermpp::aterm DataEqnSpec
Definition default_values.h:1637

mcrl2::core::detail::default_values::OpId
static const atermpp::aterm OpId
Definition default_values.h:1623

mcrl2::core::detail::default_values::PRESMinus
static const atermpp::aterm PRESMinus
Definition default_values.h:1746

mcrl2::core::detail::default_values::PRESImp
static const atermpp::aterm PRESImp
Definition default_values.h:1749

mcrl2::core::detail::default_values::StateMinus
static const atermpp::aterm StateMinus
Definition default_values.h:1684

mcrl2::core::detail::default_values::StateNu
static const atermpp::aterm StateNu
Definition default_values.h:1703

mcrl2::core::detail::default_values::ActionRenameRule
static const atermpp::aterm ActionRenameRule
Definition default_values.h:1722

mcrl2::core::detail::default_values::ActAnd
static const atermpp::aterm ActAnd
Definition default_values.h:1714

mcrl2::core::detail::default_values::PBES
static const atermpp::aterm PBES
Definition default_values.h:1724

mcrl2::core::detail::default_values::LinearProcessSummand
static const atermpp::aterm LinearProcessSummand
Definition default_values.h:1679

mcrl2::core::detail::default_values::StructProj
static const atermpp::aterm StructProj
Definition default_values.h:1618

mcrl2::core::detail::default_values::LMerge
static const atermpp::aterm LMerge
Definition default_values.h:1662

mcrl2::core::detail::default_values::StateDelayTimed
static const atermpp::aterm StateDelayTimed
Definition default_values.h:1701

mcrl2::core::detail::default_values::PRESEqInf
static const atermpp::aterm PRESEqInf
Definition default_values.h:1756

mcrl2::core::detail::default_values::Whr
static const atermpp::aterm Whr
Definition default_values.h:1620

mcrl2::core::detail::default_values::PRESEqNInf
static const atermpp::aterm PRESEqNInf
Definition default_values.h:1757

mcrl2::core::detail::default_values::ProcVarId
static const atermpp::aterm ProcVarId
Definition default_values.h:1666

mcrl2::core::detail::default_values::UntypedIdentifierAssignment
static const atermpp::aterm UntypedIdentifierAssignment
Definition default_values.h:1632

mcrl2::core::detail::default_values::StateSupremum
static const atermpp::aterm StateSupremum
Definition default_values.h:1694

mcrl2::core::detail::default_values::StateSum
static const atermpp::aterm StateSum
Definition default_values.h:1695

mcrl2::core::detail::default_values::SortStruct
static const atermpp::aterm SortStruct
Definition default_values.h:1606

mcrl2::core::detail::default_values::ActAt
static const atermpp::aterm ActAt
Definition default_values.h:1719

mcrl2::core::detail::default_values::GlobVarSpec
static const atermpp::aterm GlobVarSpec
Definition default_values.h:1672

mcrl2::core::detail::default_values::ProcEqnSpec
static const atermpp::aterm ProcEqnSpec
Definition default_values.h:1673

mcrl2::core::detail::default_values::MultAct
static const atermpp::aterm MultAct
Definition default_values.h:1640

mcrl2::core::detail::default_values::ProcExpr
static const atermpp::aterm ProcExpr
Definition default_values.h:1766

mcrl2::core::detail::default_values::Seq
static const atermpp::aterm Seq
Definition default_values.h:1657

mcrl2::core::detail::default_values::SetComp
static const atermpp::aterm SetComp
Definition default_values.h:1627

mcrl2::core::detail::default_values::ActExists
static const atermpp::aterm ActExists
Definition default_values.h:1718

mcrl2::core::detail::default_values::StateMu
static const atermpp::aterm StateMu
Definition default_values.h:1704

mcrl2::core::detail::default_values::RegTransOrNil
static const atermpp::aterm RegTransOrNil
Definition default_values.h:1709

mcrl2::core::detail::default_values::StateVar
static const atermpp::aterm StateVar
Definition default_values.h:1702

mcrl2::core::detail::default_values::StateImp
static const atermpp::aterm StateImp
Definition default_values.h:1687

mcrl2::core::detail::default_values::StructCons
static const atermpp::aterm StructCons
Definition default_values.h:1617

mcrl2::core::detail::default_values::RegSeq
static const atermpp::aterm RegSeq
Definition default_values.h:1706

mcrl2::core::detail::default_values::RegNil
static const atermpp::aterm RegNil
Definition default_values.h:1705

mcrl2::core::detail::default_values::BagComp
static const atermpp::aterm BagComp
Definition default_values.h:1628

mcrl2::core::detail::default_values::UntypedIdentifier
static const atermpp::aterm UntypedIdentifier
Definition default_values.h:1621

mcrl2::core::detail::default_values::Sum
static const atermpp::aterm Sum
Definition default_values.h:1649

mcrl2::core::detail::default_values::SortFBag
static const atermpp::aterm SortFBag
Definition default_values.h:1616

mcrl2::core::detail::default_values::UntypedMultiAction
static const atermpp::aterm UntypedMultiAction
Definition default_values.h:1642

mcrl2::core::detail::default_values::ProcessInit
static const atermpp::aterm ProcessInit
Definition default_values.h:1675

mcrl2::core::detail::default_values::SortList
static const atermpp::aterm SortList
Definition default_values.h:1612

mcrl2::core::detail::default_values::Block
static const atermpp::aterm Block
Definition default_values.h:1650

mcrl2::core::detail::default_values::StateTrue
static const atermpp::aterm StateTrue
Definition default_values.h:1681

mcrl2::core::detail::default_values::ProcEqn
static const atermpp::aterm ProcEqn
Definition default_values.h:1674

mcrl2::core::detail::default_values::CommExpr
static const atermpp::aterm CommExpr
Definition default_values.h:1669

mcrl2::core::detail::default_values::WhrDecl
static const atermpp::aterm WhrDecl
Definition default_values.h:1764

mcrl2::core::detail::default_values::StateForall
static const atermpp::aterm StateForall
Definition default_values.h:1691

mcrl2::core::detail::default_values::StateMust
static const atermpp::aterm StateMust
Definition default_values.h:1696

mcrl2::core::detail::default_values::PBEqn
static const atermpp::aterm PBEqn
Definition default_values.h:1727

mcrl2::core::detail::default_values::StateNot
static const atermpp::aterm StateNot
Definition default_values.h:1683

mcrl2::core::detail::default_values::PBESFalse
static const atermpp::aterm PBESFalse
Definition default_values.h:1732

mcrl2::core::detail::default_values::PBESTrue
static const atermpp::aterm PBESTrue
Definition default_values.h:1731

mcrl2::core::detail::default_values::PropVarDecl
static const atermpp::aterm PropVarDecl
Definition default_values.h:1730

mcrl2::core::detail::default_values::PBESAnd
static const atermpp::aterm PBESAnd
Definition default_values.h:1734

mcrl2::core::detail::default_values::Forall
static const atermpp::aterm Forall
Definition default_values.h:1625

mcrl2::core::detail::default_values::UntypedDataParameter
static const atermpp::aterm UntypedDataParameter
Definition default_values.h:1624

mcrl2::core::detail::default_values::ProcInit
static const atermpp::aterm ProcInit
Definition default_values.h:1768

mcrl2::core::detail::default_values::MapSpec
static const atermpp::aterm MapSpec
Definition default_values.h:1636

mcrl2::core::detail::default_values::ConsSpec
static const atermpp::aterm ConsSpec
Definition default_values.h:1635

mcrl2::core::detail::default_values::IfThenElse
static const atermpp::aterm IfThenElse
Definition default_values.h:1659

mcrl2::core::detail::default_values::ActMultAct
static const atermpp::aterm ActMultAct
Definition default_values.h:1720

mcrl2::core::detail::default_values::StateConstantMultiply
static const atermpp::aterm StateConstantMultiply
Definition default_values.h:1689

mcrl2::core::detail::function_symbols::ProcEqnSpec
static const atermpp::function_symbol ProcEqnSpec
Definition function_symbols.h:1453

mcrl2::core::detail::function_symbols::Lambda
static const atermpp::function_symbol Lambda
Definition function_symbols.h:1409

mcrl2::core::detail::function_symbols::PRInit
static const atermpp::function_symbol PRInit
Definition function_symbols.h:1522

mcrl2::core::detail::function_symbols::PBESTrue
static const atermpp::function_symbol PBESTrue
Definition function_symbols.h:1511

mcrl2::core::detail::function_symbols::UntypedRegFrm
static const atermpp::function_symbol UntypedRegFrm
Definition function_symbols.h:1490

mcrl2::core::detail::function_symbols::ProcessInit
static const atermpp::function_symbol ProcessInit
Definition function_symbols.h:1455

mcrl2::core::detail::function_symbols::PRESTrue
static const atermpp::function_symbol PRESTrue
Definition function_symbols.h:1524

mcrl2::core::detail::function_symbols::StateMu
static const atermpp::function_symbol StateMu
Definition function_symbols.h:1484

mcrl2::core::detail::function_symbols::PREqnSpec
static const atermpp::function_symbol PREqnSpec
Definition function_symbols.h:1521

mcrl2::core::detail::function_symbols::ActMultAct
static const atermpp::function_symbol ActMultAct
Definition function_symbols.h:1500

mcrl2::core::detail::function_symbols::RegSeq
static const atermpp::function_symbol RegSeq
Definition function_symbols.h:1486

mcrl2::core::detail::function_symbols::Rename
static const atermpp::function_symbol Rename
Definition function_symbols.h:1432

mcrl2::core::detail::function_symbols::BagComp
static const atermpp::function_symbol BagComp
Definition function_symbols.h:1408

mcrl2::core::detail::function_symbols::StateConstantMultiply
static const atermpp::function_symbol StateConstantMultiply
Definition function_symbols.h:1469

mcrl2::core::detail::function_symbols::ActNot
static const atermpp::function_symbol ActNot
Definition function_symbols.h:1493

mcrl2::core::detail::function_symbols::Allow
static const atermpp::function_symbol Allow
Definition function_symbols.h:1434

mcrl2::core::detail::function_symbols::StateSum
static const atermpp::function_symbol StateSum
Definition function_symbols.h:1475

mcrl2::core::detail::function_symbols::ActionRenameRules
static const atermpp::function_symbol ActionRenameRules
Definition function_symbols.h:1501

mcrl2::core::detail::function_symbols::ProcEqn
static const atermpp::function_symbol ProcEqn
Definition function_symbols.h:1454

mcrl2::core::detail::function_symbols::ActAnd
static const atermpp::function_symbol ActAnd
Definition function_symbols.h:1494

mcrl2::core::detail::function_symbols::PRESCondEq
static const atermpp::function_symbol PRESCondEq
Definition function_symbols.h:1539

mcrl2::core::detail::function_symbols::Forall
static const atermpp::function_symbol Forall
Definition function_symbols.h:1405

mcrl2::core::detail::function_symbols::Delta
static const atermpp::function_symbol Delta
Definition function_symbols.h:1427

mcrl2::core::detail::function_symbols::PropVarDecl
static const atermpp::function_symbol PropVarDecl
Definition function_symbols.h:1510

mcrl2::core::detail::function_symbols::DataEqn
static const atermpp::function_symbol DataEqn
Definition function_symbols.h:1419

mcrl2::core::detail::function_symbols::UntypedDataParameter
static const atermpp::function_symbol UntypedDataParameter
Definition function_symbols.h:1404

mcrl2::core::detail::function_symbols::StructProj
static const atermpp::function_symbol StructProj
Definition function_symbols.h:1398

mcrl2::core::detail::function_symbols::ProcessAssignment
static const atermpp::function_symbol ProcessAssignment
Definition function_symbols.h:1426

mcrl2::core::detail::function_symbols::ActSpec
static const atermpp::function_symbol ActSpec
Definition function_symbols.h:1451

mcrl2::core::detail::function_symbols::PRESImp
static const atermpp::function_symbol PRESImp
Definition function_symbols.h:1529

mcrl2::core::detail::function_symbols::StateConstantMultiplyAlt
static const atermpp::function_symbol StateConstantMultiplyAlt
Definition function_symbols.h:1470

mcrl2::core::detail::function_symbols::MultAct
static const atermpp::function_symbol MultAct
Definition function_symbols.h:1420

mcrl2::core::detail::function_symbols::Whr
static const atermpp::function_symbol Whr
Definition function_symbols.h:1400

mcrl2::core::detail::function_symbols::SortFSet
static const atermpp::function_symbol SortFSet
Definition function_symbols.h:1395

mcrl2::core::detail::function_symbols::IfThenElse
static const atermpp::function_symbol IfThenElse
Definition function_symbols.h:1439

mcrl2::core::detail::function_symbols::StateForall
static const atermpp::function_symbol StateForall
Definition function_symbols.h:1471

mcrl2::core::detail::function_symbols::PBESForall
static const atermpp::function_symbol PBESForall
Definition function_symbols.h:1517

mcrl2::core::detail::function_symbols::StateOr
static const atermpp::function_symbol StateOr
Definition function_symbols.h:1466

mcrl2::core::detail::function_symbols::PRES
static const atermpp::function_symbol PRES
Definition function_symbols.h:1520

mcrl2::core::detail::function_symbols::ActFalse
static const atermpp::function_symbol ActFalse
Definition function_symbols.h:1492

mcrl2::core::detail::function_symbols::PBESFalse
static const atermpp::function_symbol PBESFalse
Definition function_symbols.h:1512

mcrl2::core::detail::function_symbols::RegTransOrNil
static const atermpp::function_symbol RegTransOrNil
Definition function_symbols.h:1489

mcrl2::core::detail::function_symbols::Hide
static const atermpp::function_symbol Hide
Definition function_symbols.h:1431

mcrl2::core::detail::function_symbols::PRESEqInf
static const atermpp::function_symbol PRESEqInf
Definition function_symbols.h:1536

mcrl2::core::detail::function_symbols::UntypedProcessAssignment
static const atermpp::function_symbol UntypedProcessAssignment
Definition function_symbols.h:1445

mcrl2::core::detail::function_symbols::StateYaledTimed
static const atermpp::function_symbol StateYaledTimed
Definition function_symbols.h:1479

mcrl2::core::detail::function_symbols::SortList
static const atermpp::function_symbol SortList
Definition function_symbols.h:1392

mcrl2::core::detail::function_symbols::Exists
static const atermpp::function_symbol Exists
Definition function_symbols.h:1406

mcrl2::core::detail::function_symbols::ActId
static const atermpp::function_symbol ActId
Definition function_symbols.h:1424

mcrl2::core::detail::function_symbols::TimedMultAct
static const atermpp::function_symbol TimedMultAct
Definition function_symbols.h:1421

mcrl2::core::detail::function_symbols::StateExists
static const atermpp::function_symbol StateExists
Definition function_symbols.h:1472

mcrl2::core::detail::function_symbols::ActExists
static const atermpp::function_symbol ActExists
Definition function_symbols.h:1498

mcrl2::core::detail::function_symbols::ProcVarId
static const atermpp::function_symbol ProcVarId
Definition function_symbols.h:1446

mcrl2::core::detail::function_symbols::ConsSpec
static const atermpp::function_symbol ConsSpec
Definition function_symbols.h:1415

mcrl2::core::detail::function_symbols::BInit
static const atermpp::function_symbol BInit
Definition function_symbols.h:1440

mcrl2::core::detail::function_symbols::RenameExpr
static const atermpp::function_symbol RenameExpr
Definition function_symbols.h:1448

mcrl2::core::detail::function_symbols::UntypedMultiAction
static const atermpp::function_symbol UntypedMultiAction
Definition function_symbols.h:1422

mcrl2::core::detail::function_symbols::PRESMinus
static const atermpp::function_symbol PRESMinus
Definition function_symbols.h:1526

mcrl2::core::detail::function_symbols::PBES
static const atermpp::function_symbol PBES
Definition function_symbols.h:1504

mcrl2::core::detail::function_symbols::StructCons
static const atermpp::function_symbol StructCons
Definition function_symbols.h:1397

mcrl2::core::detail::function_symbols::StochasticOperator
static const atermpp::function_symbol StochasticOperator
Definition function_symbols.h:1444

mcrl2::core::detail::function_symbols::StateVar
static const atermpp::function_symbol StateVar
Definition function_symbols.h:1482

mcrl2::core::detail::function_symbols::StateTrue
static const atermpp::function_symbol StateTrue
Definition function_symbols.h:1461

mcrl2::core::detail::function_symbols::LinProcSpec
static const atermpp::function_symbol LinProcSpec
Definition function_symbols.h:1457

mcrl2::core::detail::function_symbols::SortRef
static const atermpp::function_symbol SortRef
Definition function_symbols.h:1418

mcrl2::core::detail::function_symbols::StateFalse
static const atermpp::function_symbol StateFalse
Definition function_symbols.h:1462

mcrl2::core::detail::function_symbols::Choice
static const atermpp::function_symbol Choice
Definition function_symbols.h:1443

mcrl2::core::detail::function_symbols::SortArrow
static const atermpp::function_symbol SortArrow
Definition function_symbols.h:1387

mcrl2::core::detail::function_symbols::OpId
static const atermpp::function_symbol OpId
Definition function_symbols.h:1403

mcrl2::core::detail::function_symbols::SortFBag
static const atermpp::function_symbol SortFBag
Definition function_symbols.h:1396

mcrl2::core::detail::function_symbols::StateImp
static const atermpp::function_symbol StateImp
Definition function_symbols.h:1467

mcrl2::core::detail::function_symbols::Sync
static const atermpp::function_symbol Sync
Definition function_symbols.h:1435

mcrl2::core::detail::function_symbols::Sum
static const atermpp::function_symbol Sum
Definition function_symbols.h:1429

mcrl2::core::detail::function_symbols::PRESEqNInf
static const atermpp::function_symbol PRESEqNInf
Definition function_symbols.h:1537

mcrl2::core::detail::function_symbols::PBESNot
static const atermpp::function_symbol PBESNot
Definition function_symbols.h:1513

mcrl2::core::detail::function_symbols::ProcSpec
static const atermpp::function_symbol ProcSpec
Definition function_symbols.h:1450

mcrl2::core::detail::function_symbols::MapSpec
static const atermpp::function_symbol MapSpec
Definition function_symbols.h:1416

mcrl2::core::detail::function_symbols::PRESCondSm
static const atermpp::function_symbol PRESCondSm
Definition function_symbols.h:1538

mcrl2::core::detail::function_symbols::RegAlt
static const atermpp::function_symbol RegAlt
Definition function_symbols.h:1487

mcrl2::core::detail::function_symbols::RegTrans
static const atermpp::function_symbol RegTrans
Definition function_symbols.h:1488

mcrl2::core::detail::function_symbols::Action
static const atermpp::function_symbol Action
Definition function_symbols.h:1423

mcrl2::core::detail::function_symbols::StateMinus
static const atermpp::function_symbol StateMinus
Definition function_symbols.h:1464

mcrl2::core::detail::function_symbols::SetComp
static const atermpp::function_symbol SetComp
Definition function_symbols.h:1407

mcrl2::core::detail::function_symbols::PBESImp
static const atermpp::function_symbol PBESImp
Definition function_symbols.h:1516

mcrl2::core::detail::function_symbols::StateNot
static const atermpp::function_symbol StateNot
Definition function_symbols.h:1463

mcrl2::core::detail::function_symbols::CommExpr
static const atermpp::function_symbol CommExpr
Definition function_symbols.h:1449

mcrl2::core::detail::function_symbols::Comm
static const atermpp::function_symbol Comm
Definition function_symbols.h:1433

mcrl2::core::detail::function_symbols::SortCons
static const atermpp::function_symbol SortCons
Definition function_symbols.h:1385

mcrl2::core::detail::function_symbols::SortSet
static const atermpp::function_symbol SortSet
Definition function_symbols.h:1393

mcrl2::core::detail::function_symbols::PBESAnd
static const atermpp::function_symbol PBESAnd
Definition function_symbols.h:1514

mcrl2::core::detail::function_symbols::AtTime
static const atermpp::function_symbol AtTime
Definition function_symbols.h:1436

mcrl2::core::detail::function_symbols::Nu
static const atermpp::function_symbol Nu
Definition function_symbols.h:1509

mcrl2::core::detail::function_symbols::Binder
static const atermpp::function_symbol Binder
Definition function_symbols.h:1399

mcrl2::core::detail::function_symbols::StateInfimum
static const atermpp::function_symbol StateInfimum
Definition function_symbols.h:1473

mcrl2::core::detail::function_symbols::SortSpec
static const atermpp::function_symbol SortSpec
Definition function_symbols.h:1414

mcrl2::core::detail::function_symbols::StateDelay
static const atermpp::function_symbol StateDelay
Definition function_symbols.h:1480

mcrl2::core::detail::function_symbols::PRESOr
static const atermpp::function_symbol PRESOr
Definition function_symbols.h:1528

mcrl2::core::detail::function_symbols::StateYaled
static const atermpp::function_symbol StateYaled
Definition function_symbols.h:1478

mcrl2::core::detail::function_symbols::MultActName
static const atermpp::function_symbol MultActName
Definition function_symbols.h:1447

mcrl2::core::detail::function_symbols::ActAt
static const atermpp::function_symbol ActAt
Definition function_symbols.h:1499

mcrl2::core::detail::function_symbols::PropVarInst
static const atermpp::function_symbol PropVarInst
Definition function_symbols.h:1519

mcrl2::core::detail::function_symbols::PBInit
static const atermpp::function_symbol PBInit
Definition function_symbols.h:1506

mcrl2::core::detail::function_symbols::StateMay
static const atermpp::function_symbol StateMay
Definition function_symbols.h:1477

mcrl2::core::detail::function_symbols::LinearProcess
static const atermpp::function_symbol LinearProcess
Definition function_symbols.h:1458

mcrl2::core::detail::function_symbols::Process
static const atermpp::function_symbol Process
Definition function_symbols.h:1425

mcrl2::core::detail::function_symbols::SortStruct
static const atermpp::function_symbol SortStruct
Definition function_symbols.h:1386

mcrl2::core::detail::function_symbols::StateDelayTimed
static const atermpp::function_symbol StateDelayTimed
Definition function_symbols.h:1481

mcrl2::core::detail::function_symbols::ActImp
static const atermpp::function_symbol ActImp
Definition function_symbols.h:1496

mcrl2::core::detail::function_symbols::ActTrue
static const atermpp::function_symbol ActTrue
Definition function_symbols.h:1491

mcrl2::core::detail::function_symbols::Merge
static const atermpp::function_symbol Merge
Definition function_symbols.h:1441

mcrl2::core::detail::function_symbols::ActForall
static const atermpp::function_symbol ActForall
Definition function_symbols.h:1497

mcrl2::core::detail::function_symbols::LinearProcessInit
static const atermpp::function_symbol LinearProcessInit
Definition function_symbols.h:1460

mcrl2::core::detail::function_symbols::Block
static const atermpp::function_symbol Block
Definition function_symbols.h:1430

mcrl2::core::detail::function_symbols::Seq
static const atermpp::function_symbol Seq
Definition function_symbols.h:1437

mcrl2::core::detail::function_symbols::ActionRenameRule
static const atermpp::function_symbol ActionRenameRule
Definition function_symbols.h:1502

mcrl2::core::detail::function_symbols::Mu
static const atermpp::function_symbol Mu
Definition function_symbols.h:1508

mcrl2::core::detail::function_symbols::PRESSupremum
static const atermpp::function_symbol PRESSupremum
Definition function_symbols.h:1534

mcrl2::core::detail::function_symbols::StatePlus
static const atermpp::function_symbol StatePlus
Definition function_symbols.h:1468

mcrl2::core::detail::function_symbols::UntypedSortsPossible
static const atermpp::function_symbol UntypedSortsPossible
Definition function_symbols.h:1389

mcrl2::core::detail::function_symbols::IfThen
static const atermpp::function_symbol IfThen
Definition function_symbols.h:1438

mcrl2::core::detail::function_symbols::LinearProcessSummand
static const atermpp::function_symbol LinearProcessSummand
Definition function_symbols.h:1459

mcrl2::core::detail::function_symbols::StateMust
static const atermpp::function_symbol StateMust
Definition function_symbols.h:1476

mcrl2::core::detail::function_symbols::PBESExists
static const atermpp::function_symbol PBESExists
Definition function_symbols.h:1518

mcrl2::core::detail::function_symbols::DataVarId
static const atermpp::function_symbol DataVarId
Definition function_symbols.h:1402

mcrl2::core::detail::function_symbols::ActionRenameSpec
static const atermpp::function_symbol ActionRenameSpec
Definition function_symbols.h:1503

mcrl2::core::detail::function_symbols::DataSpec
static const atermpp::function_symbol DataSpec
Definition function_symbols.h:1413

mcrl2::core::detail::function_symbols::SortId
static const atermpp::function_symbol SortId
Definition function_symbols.h:1391

mcrl2::core::detail::function_symbols::GlobVarSpec
static const atermpp::function_symbol GlobVarSpec
Definition function_symbols.h:1452

mcrl2::core::detail::function_symbols::UntypedIdentifier
static const atermpp::function_symbol UntypedIdentifier
Definition function_symbols.h:1401

mcrl2::core::detail::function_symbols::StateNu
static const atermpp::function_symbol StateNu
Definition function_symbols.h:1483

mcrl2::core::detail::function_symbols::PBESOr
static const atermpp::function_symbol PBESOr
Definition function_symbols.h:1515

mcrl2::core::detail::function_symbols::Distribution
static const atermpp::function_symbol Distribution
Definition function_symbols.h:1456

mcrl2::core::detail::function_symbols::UntypedSortVariable
static const atermpp::function_symbol UntypedSortVariable
Definition function_symbols.h:1390

mcrl2::core::detail::function_symbols::DataVarIdInit
static const atermpp::function_symbol DataVarIdInit
Definition function_symbols.h:1411

mcrl2::core::detail::function_symbols::PREqn
static const atermpp::function_symbol PREqn
Definition function_symbols.h:1523

mcrl2::core::detail::function_symbols::StateAnd
static const atermpp::function_symbol StateAnd
Definition function_symbols.h:1465

mcrl2::core::detail::function_symbols::PRESPlus
static const atermpp::function_symbol PRESPlus
Definition function_symbols.h:1530

mcrl2::core::detail::function_symbols::SortBag
static const atermpp::function_symbol SortBag
Definition function_symbols.h:1394

mcrl2::core::detail::function_symbols::PRESInfimum
static const atermpp::function_symbol PRESInfimum
Definition function_symbols.h:1533

mcrl2::core::detail::function_symbols::PBEqnSpec
static const atermpp::function_symbol PBEqnSpec
Definition function_symbols.h:1505

mcrl2::core::detail::function_symbols::PRESFalse
static const atermpp::function_symbol PRESFalse
Definition function_symbols.h:1525

mcrl2::core::detail::function_symbols::ActOr
static const atermpp::function_symbol ActOr
Definition function_symbols.h:1495

mcrl2::core::detail::function_symbols::DataEqnSpec
static const atermpp::function_symbol DataEqnSpec
Definition function_symbols.h:1417

mcrl2::core::detail::function_symbols::PRESConstantMultiply
static const atermpp::function_symbol PRESConstantMultiply
Definition function_symbols.h:1531

mcrl2::core::detail::function_symbols::UntypedIdentifierAssignment
static const atermpp::function_symbol UntypedIdentifierAssignment
Definition function_symbols.h:1412

mcrl2::core::detail::function_symbols::PRESConstantMultiplyAlt
static const atermpp::function_symbol PRESConstantMultiplyAlt
Definition function_symbols.h:1532

mcrl2::core::detail::function_symbols::UntypedSetBagComp
static const atermpp::function_symbol UntypedSetBagComp
Definition function_symbols.h:1410

mcrl2::core::detail::function_symbols::StateSupremum
static const atermpp::function_symbol StateSupremum
Definition function_symbols.h:1474

mcrl2::core::detail::function_symbols::PBEqn
static const atermpp::function_symbol PBEqn
Definition function_symbols.h:1507

mcrl2::core::detail::function_symbols::UntypedSortUnknown
static const atermpp::function_symbol UntypedSortUnknown
Definition function_symbols.h:1388

mcrl2::core::detail::function_symbols::PRESSum
static const atermpp::function_symbol PRESSum
Definition function_symbols.h:1535

mcrl2::core::detail::function_symbols::PRESAnd
static const atermpp::function_symbol PRESAnd
Definition function_symbols.h:1527

mcrl2::core::detail::function_symbols::RegNil
static const atermpp::function_symbol RegNil
Definition function_symbols.h:1485

mcrl2::core::detail::function_symbols::LMerge
static const atermpp::function_symbol LMerge
Definition function_symbols.h:1442

mcrl2::core::detail::function_symbols::Tau
static const atermpp::function_symbol Tau
Definition function_symbols.h:1428