mCRL2
Loading...
Searching...
No Matches
Classes | Namespaces | Functions | Variables
function_symbols.h File Reference

add your file description here. More...

Go to the source code of this file.

Classes

struct  mcrl2::core::detail::function_symbols
 

Namespaces

namespace  mcrl2
 A class that takes a linear process specification and checks all tau-summands of that LPS for confluence.
 
namespace  mcrl2::core
 
namespace  mcrl2::core::detail
 

Functions

const atermpp::function_symbol & mcrl2::core::detail::function_symbol_DataAppl_helper (std::size_t i)
 
const atermpp::function_symbol & mcrl2::core::detail::function_symbol_DataAppl (std::size_t i)
 
bool mcrl2::core::detail::gsIsDataAppl (const atermpp::aterm &Term)
 
bool mcrl2::core::detail::gsIsDataAppl_no_check (const atermpp::aterm &Term)
 
const atermpp::function_symbol & mcrl2::core::detail::function_symbol_DataVarIdNoIndex ()
 
const atermpp::function_symbol & mcrl2::core::detail::function_symbol_OpIdNoIndex ()
 
const atermpp::function_symbol & mcrl2::core::detail::function_symbol_ProcVarIdNoIndex ()
 
const atermpp::function_symbol & mcrl2::core::detail::function_symbol_BooleanVariableNoIndex ()
 
const atermpp::function_symbol & mcrl2::core::detail::function_symbol_PropVarInstNoIndex ()
 
const atermpp::function_symbol & mcrl2::core::detail::function_symbol_ActAnd ()
 
const atermpp::function_symbol & mcrl2::core::detail::function_symbol_ActAt ()
 
const atermpp::function_symbol & mcrl2::core::detail::function_symbol_ActExists ()
 
const atermpp::function_symbol & mcrl2::core::detail::function_symbol_ActFalse ()
 
const atermpp::function_symbol & mcrl2::core::detail::function_symbol_ActForall ()
 
const atermpp::function_symbol & mcrl2::core::detail::function_symbol_ActId ()
 
const atermpp::function_symbol & mcrl2::core::detail::function_symbol_ActImp ()
 
const atermpp::function_symbol & mcrl2::core::detail::function_symbol_ActMultAct ()
 
const atermpp::function_symbol & mcrl2::core::detail::function_symbol_ActNot ()
 
const atermpp::function_symbol & mcrl2::core::detail::function_symbol_ActOr ()
 
const atermpp::function_symbol & mcrl2::core::detail::function_symbol_ActSpec ()
 
const atermpp::function_symbol & mcrl2::core::detail::function_symbol_ActTrue ()
 
const atermpp::function_symbol & mcrl2::core::detail::function_symbol_Action ()
 
const atermpp::function_symbol & mcrl2::core::detail::function_symbol_ActionRenameRule ()
 
const atermpp::function_symbol & mcrl2::core::detail::function_symbol_ActionRenameRules ()
 
const atermpp::function_symbol & mcrl2::core::detail::function_symbol_ActionRenameSpec ()
 
const atermpp::function_symbol & mcrl2::core::detail::function_symbol_Allow ()
 
const atermpp::function_symbol & mcrl2::core::detail::function_symbol_AtTime ()
 
const atermpp::function_symbol & mcrl2::core::detail::function_symbol_BInit ()
 
const atermpp::function_symbol & mcrl2::core::detail::function_symbol_BagComp ()
 
const atermpp::function_symbol & mcrl2::core::detail::function_symbol_Binder ()
 
const atermpp::function_symbol & mcrl2::core::detail::function_symbol_Block ()
 
const atermpp::function_symbol & mcrl2::core::detail::function_symbol_Choice ()
 
const atermpp::function_symbol & mcrl2::core::detail::function_symbol_Comm ()
 
const atermpp::function_symbol & mcrl2::core::detail::function_symbol_CommExpr ()
 
const atermpp::function_symbol & mcrl2::core::detail::function_symbol_ConsSpec ()
 
const atermpp::function_symbol & mcrl2::core::detail::function_symbol_DataEqn ()
 
const atermpp::function_symbol & mcrl2::core::detail::function_symbol_DataEqnSpec ()
 
const atermpp::function_symbol & mcrl2::core::detail::function_symbol_DataSpec ()
 
const atermpp::function_symbol & mcrl2::core::detail::function_symbol_DataVarId ()
 
const atermpp::function_symbol & mcrl2::core::detail::function_symbol_DataVarIdInit ()
 
const atermpp::function_symbol & mcrl2::core::detail::function_symbol_Delta ()
 
const atermpp::function_symbol & mcrl2::core::detail::function_symbol_Distribution ()
 
const atermpp::function_symbol & mcrl2::core::detail::function_symbol_Exists ()
 
const atermpp::function_symbol & mcrl2::core::detail::function_symbol_Forall ()
 
const atermpp::function_symbol & mcrl2::core::detail::function_symbol_GlobVarSpec ()
 
const atermpp::function_symbol & mcrl2::core::detail::function_symbol_Hide ()
 
const atermpp::function_symbol & mcrl2::core::detail::function_symbol_IfThen ()
 
const atermpp::function_symbol & mcrl2::core::detail::function_symbol_IfThenElse ()
 
const atermpp::function_symbol & mcrl2::core::detail::function_symbol_LMerge ()
 
const atermpp::function_symbol & mcrl2::core::detail::function_symbol_Lambda ()
 
const atermpp::function_symbol & mcrl2::core::detail::function_symbol_LinProcSpec ()
 
const atermpp::function_symbol & mcrl2::core::detail::function_symbol_LinearProcess ()
 
const atermpp::function_symbol & mcrl2::core::detail::function_symbol_LinearProcessInit ()
 
const atermpp::function_symbol & mcrl2::core::detail::function_symbol_LinearProcessSummand ()
 
const atermpp::function_symbol & mcrl2::core::detail::function_symbol_MapSpec ()
 
const atermpp::function_symbol & mcrl2::core::detail::function_symbol_Merge ()
 
const atermpp::function_symbol & mcrl2::core::detail::function_symbol_Mu ()
 
const atermpp::function_symbol & mcrl2::core::detail::function_symbol_MultAct ()
 
const atermpp::function_symbol & mcrl2::core::detail::function_symbol_MultActName ()
 
const atermpp::function_symbol & mcrl2::core::detail::function_symbol_Nu ()
 
const atermpp::function_symbol & mcrl2::core::detail::function_symbol_OpId ()
 
const atermpp::function_symbol & mcrl2::core::detail::function_symbol_PBES ()
 
const atermpp::function_symbol & mcrl2::core::detail::function_symbol_PBESAnd ()
 
const atermpp::function_symbol & mcrl2::core::detail::function_symbol_PBESExists ()
 
const atermpp::function_symbol & mcrl2::core::detail::function_symbol_PBESFalse ()
 
const atermpp::function_symbol & mcrl2::core::detail::function_symbol_PBESForall ()
 
const atermpp::function_symbol & mcrl2::core::detail::function_symbol_PBESImp ()
 
const atermpp::function_symbol & mcrl2::core::detail::function_symbol_PBESNot ()
 
const atermpp::function_symbol & mcrl2::core::detail::function_symbol_PBESOr ()
 
const atermpp::function_symbol & mcrl2::core::detail::function_symbol_PBESTrue ()
 
const atermpp::function_symbol & mcrl2::core::detail::function_symbol_PBEqn ()
 
const atermpp::function_symbol & mcrl2::core::detail::function_symbol_PBEqnSpec ()
 
const atermpp::function_symbol & mcrl2::core::detail::function_symbol_PBInit ()
 
const atermpp::function_symbol & mcrl2::core::detail::function_symbol_PRES ()
 
const atermpp::function_symbol & mcrl2::core::detail::function_symbol_PRESAnd ()
 
const atermpp::function_symbol & mcrl2::core::detail::function_symbol_PRESCondEq ()
 
const atermpp::function_symbol & mcrl2::core::detail::function_symbol_PRESCondSm ()
 
const atermpp::function_symbol & mcrl2::core::detail::function_symbol_PRESConstantMultiply ()
 
const atermpp::function_symbol & mcrl2::core::detail::function_symbol_PRESConstantMultiplyAlt ()
 
const atermpp::function_symbol & mcrl2::core::detail::function_symbol_PRESEqInf ()
 
const atermpp::function_symbol & mcrl2::core::detail::function_symbol_PRESEqNInf ()
 
const atermpp::function_symbol & mcrl2::core::detail::function_symbol_PRESFalse ()
 
const atermpp::function_symbol & mcrl2::core::detail::function_symbol_PRESImp ()
 
const atermpp::function_symbol & mcrl2::core::detail::function_symbol_PRESInfimum ()
 
const atermpp::function_symbol & mcrl2::core::detail::function_symbol_PRESMinus ()
 
const atermpp::function_symbol & mcrl2::core::detail::function_symbol_PRESOr ()
 
const atermpp::function_symbol & mcrl2::core::detail::function_symbol_PRESPlus ()
 
const atermpp::function_symbol & mcrl2::core::detail::function_symbol_PRESSum ()
 
const atermpp::function_symbol & mcrl2::core::detail::function_symbol_PRESSupremum ()
 
const atermpp::function_symbol & mcrl2::core::detail::function_symbol_PRESTrue ()
 
const atermpp::function_symbol & mcrl2::core::detail::function_symbol_PREqn ()
 
const atermpp::function_symbol & mcrl2::core::detail::function_symbol_PREqnSpec ()
 
const atermpp::function_symbol & mcrl2::core::detail::function_symbol_PRInit ()
 
const atermpp::function_symbol & mcrl2::core::detail::function_symbol_ProcEqn ()
 
const atermpp::function_symbol & mcrl2::core::detail::function_symbol_ProcEqnSpec ()
 
const atermpp::function_symbol & mcrl2::core::detail::function_symbol_ProcSpec ()
 
const atermpp::function_symbol & mcrl2::core::detail::function_symbol_ProcVarId ()
 
const atermpp::function_symbol & mcrl2::core::detail::function_symbol_Process ()
 
const atermpp::function_symbol & mcrl2::core::detail::function_symbol_ProcessAssignment ()
 
const atermpp::function_symbol & mcrl2::core::detail::function_symbol_ProcessInit ()
 
const atermpp::function_symbol & mcrl2::core::detail::function_symbol_PropVarDecl ()
 
const atermpp::function_symbol & mcrl2::core::detail::function_symbol_PropVarInst ()
 
const atermpp::function_symbol & mcrl2::core::detail::function_symbol_RegAlt ()
 
const atermpp::function_symbol & mcrl2::core::detail::function_symbol_RegNil ()
 
const atermpp::function_symbol & mcrl2::core::detail::function_symbol_RegSeq ()
 
const atermpp::function_symbol & mcrl2::core::detail::function_symbol_RegTrans ()
 
const atermpp::function_symbol & mcrl2::core::detail::function_symbol_RegTransOrNil ()
 
const atermpp::function_symbol & mcrl2::core::detail::function_symbol_Rename ()
 
const atermpp::function_symbol & mcrl2::core::detail::function_symbol_RenameExpr ()
 
const atermpp::function_symbol & mcrl2::core::detail::function_symbol_Seq ()
 
const atermpp::function_symbol & mcrl2::core::detail::function_symbol_SetComp ()
 
const atermpp::function_symbol & mcrl2::core::detail::function_symbol_SortArrow ()
 
const atermpp::function_symbol & mcrl2::core::detail::function_symbol_SortBag ()
 
const atermpp::function_symbol & mcrl2::core::detail::function_symbol_SortCons ()
 
const atermpp::function_symbol & mcrl2::core::detail::function_symbol_SortFBag ()
 
const atermpp::function_symbol & mcrl2::core::detail::function_symbol_SortFSet ()
 
const atermpp::function_symbol & mcrl2::core::detail::function_symbol_SortId ()
 
const atermpp::function_symbol & mcrl2::core::detail::function_symbol_SortList ()
 
const atermpp::function_symbol & mcrl2::core::detail::function_symbol_SortRef ()
 
const atermpp::function_symbol & mcrl2::core::detail::function_symbol_SortSet ()
 
const atermpp::function_symbol & mcrl2::core::detail::function_symbol_SortSpec ()
 
const atermpp::function_symbol & mcrl2::core::detail::function_symbol_SortStruct ()
 
const atermpp::function_symbol & mcrl2::core::detail::function_symbol_StateAnd ()
 
const atermpp::function_symbol & mcrl2::core::detail::function_symbol_StateConstantMultiply ()
 
const atermpp::function_symbol & mcrl2::core::detail::function_symbol_StateConstantMultiplyAlt ()
 
const atermpp::function_symbol & mcrl2::core::detail::function_symbol_StateDelay ()
 
const atermpp::function_symbol & mcrl2::core::detail::function_symbol_StateDelayTimed ()
 
const atermpp::function_symbol & mcrl2::core::detail::function_symbol_StateExists ()
 
const atermpp::function_symbol & mcrl2::core::detail::function_symbol_StateFalse ()
 
const atermpp::function_symbol & mcrl2::core::detail::function_symbol_StateForall ()
 
const atermpp::function_symbol & mcrl2::core::detail::function_symbol_StateImp ()
 
const atermpp::function_symbol & mcrl2::core::detail::function_symbol_StateInfimum ()
 
const atermpp::function_symbol & mcrl2::core::detail::function_symbol_StateMay ()
 
const atermpp::function_symbol & mcrl2::core::detail::function_symbol_StateMinus ()
 
const atermpp::function_symbol & mcrl2::core::detail::function_symbol_StateMu ()
 
const atermpp::function_symbol & mcrl2::core::detail::function_symbol_StateMust ()
 
const atermpp::function_symbol & mcrl2::core::detail::function_symbol_StateNot ()
 
const atermpp::function_symbol & mcrl2::core::detail::function_symbol_StateNu ()
 
const atermpp::function_symbol & mcrl2::core::detail::function_symbol_StateOr ()
 
const atermpp::function_symbol & mcrl2::core::detail::function_symbol_StatePlus ()
 
const atermpp::function_symbol & mcrl2::core::detail::function_symbol_StateSum ()
 
const atermpp::function_symbol & mcrl2::core::detail::function_symbol_StateSupremum ()
 
const atermpp::function_symbol & mcrl2::core::detail::function_symbol_StateTrue ()
 
const atermpp::function_symbol & mcrl2::core::detail::function_symbol_StateVar ()
 
const atermpp::function_symbol & mcrl2::core::detail::function_symbol_StateYaled ()
 
const atermpp::function_symbol & mcrl2::core::detail::function_symbol_StateYaledTimed ()
 
const atermpp::function_symbol & mcrl2::core::detail::function_symbol_StochasticOperator ()
 
const atermpp::function_symbol & mcrl2::core::detail::function_symbol_StructCons ()
 
const atermpp::function_symbol & mcrl2::core::detail::function_symbol_StructProj ()
 
const atermpp::function_symbol & mcrl2::core::detail::function_symbol_Sum ()
 
const atermpp::function_symbol & mcrl2::core::detail::function_symbol_Sync ()
 
const atermpp::function_symbol & mcrl2::core::detail::function_symbol_Tau ()
 
const atermpp::function_symbol & mcrl2::core::detail::function_symbol_TimedMultAct ()
 
const atermpp::function_symbol & mcrl2::core::detail::function_symbol_UntypedDataParameter ()
 
const atermpp::function_symbol & mcrl2::core::detail::function_symbol_UntypedIdentifier ()
 
const atermpp::function_symbol & mcrl2::core::detail::function_symbol_UntypedIdentifierAssignment ()
 
const atermpp::function_symbol & mcrl2::core::detail::function_symbol_UntypedMultiAction ()
 
const atermpp::function_symbol & mcrl2::core::detail::function_symbol_UntypedProcessAssignment ()
 
const atermpp::function_symbol & mcrl2::core::detail::function_symbol_UntypedRegFrm ()
 
const atermpp::function_symbol & mcrl2::core::detail::function_symbol_UntypedSetBagComp ()
 
const atermpp::function_symbol & mcrl2::core::detail::function_symbol_UntypedSortUnknown ()
 
const atermpp::function_symbol & mcrl2::core::detail::function_symbol_UntypedSortVariable ()
 
const atermpp::function_symbol & mcrl2::core::detail::function_symbol_UntypedSortsPossible ()
 
const atermpp::function_symbol & mcrl2::core::detail::function_symbol_Whr ()
 

Variables

constexpr std::size_t mcrl2::core::detail::DataApplFixed = 100
 
atermpp::function_symbol mcrl2::core::detail::function_symbols_DataApplFixed [DataApplFixed]
 
std::vector< std::unique_ptr< atermpp::function_symbol > > mcrl2::core::detail::function_symbols_DataAppl
 

Detailed Description

add your file description here.

Definition in file function_symbols.h.