mCRL2
Loading...
Searching...
No Matches
Static Public Attributes | List of all members
mcrl2::core::detail::function_symbols Struct Reference

#include <function_symbols.h>

Static Public Attributes

static const atermpp::function_symbol SortCons = core::detail::function_symbol_SortCons()
 
static const atermpp::function_symbol SortStruct = core::detail::function_symbol_SortStruct()
 
static const atermpp::function_symbol SortArrow = core::detail::function_symbol_SortArrow()
 
static const atermpp::function_symbol UntypedSortUnknown = core::detail::function_symbol_UntypedSortUnknown()
 
static const atermpp::function_symbol UntypedSortsPossible = core::detail::function_symbol_UntypedSortsPossible()
 
static const atermpp::function_symbol UntypedSortVariable = core::detail::function_symbol_UntypedSortVariable()
 
static const atermpp::function_symbol SortId = core::detail::function_symbol_SortId()
 
static const atermpp::function_symbol SortList = core::detail::function_symbol_SortList()
 
static const atermpp::function_symbol SortSet = core::detail::function_symbol_SortSet()
 
static const atermpp::function_symbol SortBag = core::detail::function_symbol_SortBag()
 
static const atermpp::function_symbol SortFSet = core::detail::function_symbol_SortFSet()
 
static const atermpp::function_symbol SortFBag = core::detail::function_symbol_SortFBag()
 
static const atermpp::function_symbol StructCons = core::detail::function_symbol_StructCons()
 
static const atermpp::function_symbol StructProj = core::detail::function_symbol_StructProj()
 
static const atermpp::function_symbol Binder = core::detail::function_symbol_Binder()
 
static const atermpp::function_symbol Whr = core::detail::function_symbol_Whr()
 
static const atermpp::function_symbol UntypedIdentifier = core::detail::function_symbol_UntypedIdentifier()
 
static const atermpp::function_symbol DataVarId = core::detail::function_symbol_DataVarId()
 
static const atermpp::function_symbol OpId = core::detail::function_symbol_OpId()
 
static const atermpp::function_symbol UntypedDataParameter = core::detail::function_symbol_UntypedDataParameter()
 
static const atermpp::function_symbol Forall = core::detail::function_symbol_Forall()
 
static const atermpp::function_symbol Exists = core::detail::function_symbol_Exists()
 
static const atermpp::function_symbol SetComp = core::detail::function_symbol_SetComp()
 
static const atermpp::function_symbol BagComp = core::detail::function_symbol_BagComp()
 
static const atermpp::function_symbol Lambda = core::detail::function_symbol_Lambda()
 
static const atermpp::function_symbol UntypedSetBagComp = core::detail::function_symbol_UntypedSetBagComp()
 
static const atermpp::function_symbol DataVarIdInit = core::detail::function_symbol_DataVarIdInit()
 
static const atermpp::function_symbol UntypedIdentifierAssignment = core::detail::function_symbol_UntypedIdentifierAssignment()
 
static const atermpp::function_symbol DataSpec = core::detail::function_symbol_DataSpec()
 
static const atermpp::function_symbol SortSpec = core::detail::function_symbol_SortSpec()
 
static const atermpp::function_symbol ConsSpec = core::detail::function_symbol_ConsSpec()
 
static const atermpp::function_symbol MapSpec = core::detail::function_symbol_MapSpec()
 
static const atermpp::function_symbol DataEqnSpec = core::detail::function_symbol_DataEqnSpec()
 
static const atermpp::function_symbol SortRef = core::detail::function_symbol_SortRef()
 
static const atermpp::function_symbol DataEqn = core::detail::function_symbol_DataEqn()
 
static const atermpp::function_symbol MultAct = core::detail::function_symbol_MultAct()
 
static const atermpp::function_symbol TimedMultAct = core::detail::function_symbol_TimedMultAct()
 
static const atermpp::function_symbol UntypedMultiAction = core::detail::function_symbol_UntypedMultiAction()
 
static const atermpp::function_symbol Action = core::detail::function_symbol_Action()
 
static const atermpp::function_symbol ActId = core::detail::function_symbol_ActId()
 
static const atermpp::function_symbol Process = core::detail::function_symbol_Process()
 
static const atermpp::function_symbol ProcessAssignment = core::detail::function_symbol_ProcessAssignment()
 
static const atermpp::function_symbol Delta = core::detail::function_symbol_Delta()
 
static const atermpp::function_symbol Tau = core::detail::function_symbol_Tau()
 
static const atermpp::function_symbol Sum = core::detail::function_symbol_Sum()
 
static const atermpp::function_symbol Block = core::detail::function_symbol_Block()
 
static const atermpp::function_symbol Hide = core::detail::function_symbol_Hide()
 
static const atermpp::function_symbol Rename = core::detail::function_symbol_Rename()
 
static const atermpp::function_symbol Comm = core::detail::function_symbol_Comm()
 
static const atermpp::function_symbol Allow = core::detail::function_symbol_Allow()
 
static const atermpp::function_symbol Sync = core::detail::function_symbol_Sync()
 
static const atermpp::function_symbol AtTime = core::detail::function_symbol_AtTime()
 
static const atermpp::function_symbol Seq = core::detail::function_symbol_Seq()
 
static const atermpp::function_symbol IfThen = core::detail::function_symbol_IfThen()
 
static const atermpp::function_symbol IfThenElse = core::detail::function_symbol_IfThenElse()
 
static const atermpp::function_symbol BInit = core::detail::function_symbol_BInit()
 
static const atermpp::function_symbol Merge = core::detail::function_symbol_Merge()
 
static const atermpp::function_symbol LMerge = core::detail::function_symbol_LMerge()
 
static const atermpp::function_symbol Choice = core::detail::function_symbol_Choice()
 
static const atermpp::function_symbol StochasticOperator = core::detail::function_symbol_StochasticOperator()
 
static const atermpp::function_symbol UntypedProcessAssignment = core::detail::function_symbol_UntypedProcessAssignment()
 
static const atermpp::function_symbol ProcVarId = core::detail::function_symbol_ProcVarId()
 
static const atermpp::function_symbol MultActName = core::detail::function_symbol_MultActName()
 
static const atermpp::function_symbol RenameExpr = core::detail::function_symbol_RenameExpr()
 
static const atermpp::function_symbol CommExpr = core::detail::function_symbol_CommExpr()
 
static const atermpp::function_symbol ProcSpec = core::detail::function_symbol_ProcSpec()
 
static const atermpp::function_symbol ActSpec = core::detail::function_symbol_ActSpec()
 
static const atermpp::function_symbol GlobVarSpec = core::detail::function_symbol_GlobVarSpec()
 
static const atermpp::function_symbol ProcEqnSpec = core::detail::function_symbol_ProcEqnSpec()
 
static const atermpp::function_symbol ProcEqn = core::detail::function_symbol_ProcEqn()
 
static const atermpp::function_symbol ProcessInit = core::detail::function_symbol_ProcessInit()
 
static const atermpp::function_symbol Distribution = core::detail::function_symbol_Distribution()
 
static const atermpp::function_symbol LinProcSpec = core::detail::function_symbol_LinProcSpec()
 
static const atermpp::function_symbol LinearProcess = core::detail::function_symbol_LinearProcess()
 
static const atermpp::function_symbol LinearProcessSummand = core::detail::function_symbol_LinearProcessSummand()
 
static const atermpp::function_symbol LinearProcessInit = core::detail::function_symbol_LinearProcessInit()
 
static const atermpp::function_symbol StateTrue = core::detail::function_symbol_StateTrue()
 
static const atermpp::function_symbol StateFalse = core::detail::function_symbol_StateFalse()
 
static const atermpp::function_symbol StateNot = core::detail::function_symbol_StateNot()
 
static const atermpp::function_symbol StateMinus = core::detail::function_symbol_StateMinus()
 
static const atermpp::function_symbol StateAnd = core::detail::function_symbol_StateAnd()
 
static const atermpp::function_symbol StateOr = core::detail::function_symbol_StateOr()
 
static const atermpp::function_symbol StateImp = core::detail::function_symbol_StateImp()
 
static const atermpp::function_symbol StatePlus = core::detail::function_symbol_StatePlus()
 
static const atermpp::function_symbol StateConstantMultiply = core::detail::function_symbol_StateConstantMultiply()
 
static const atermpp::function_symbol StateConstantMultiplyAlt = core::detail::function_symbol_StateConstantMultiplyAlt()
 
static const atermpp::function_symbol StateForall = core::detail::function_symbol_StateForall()
 
static const atermpp::function_symbol StateExists = core::detail::function_symbol_StateExists()
 
static const atermpp::function_symbol StateInfimum = core::detail::function_symbol_StateInfimum()
 
static const atermpp::function_symbol StateSupremum = core::detail::function_symbol_StateSupremum()
 
static const atermpp::function_symbol StateSum = core::detail::function_symbol_StateSum()
 
static const atermpp::function_symbol StateMust = core::detail::function_symbol_StateMust()
 
static const atermpp::function_symbol StateMay = core::detail::function_symbol_StateMay()
 
static const atermpp::function_symbol StateYaled = core::detail::function_symbol_StateYaled()
 
static const atermpp::function_symbol StateYaledTimed = core::detail::function_symbol_StateYaledTimed()
 
static const atermpp::function_symbol StateDelay = core::detail::function_symbol_StateDelay()
 
static const atermpp::function_symbol StateDelayTimed = core::detail::function_symbol_StateDelayTimed()
 
static const atermpp::function_symbol StateVar = core::detail::function_symbol_StateVar()
 
static const atermpp::function_symbol StateNu = core::detail::function_symbol_StateNu()
 
static const atermpp::function_symbol StateMu = core::detail::function_symbol_StateMu()
 
static const atermpp::function_symbol RegNil = core::detail::function_symbol_RegNil()
 
static const atermpp::function_symbol RegSeq = core::detail::function_symbol_RegSeq()
 
static const atermpp::function_symbol RegAlt = core::detail::function_symbol_RegAlt()
 
static const atermpp::function_symbol RegTrans = core::detail::function_symbol_RegTrans()
 
static const atermpp::function_symbol RegTransOrNil = core::detail::function_symbol_RegTransOrNil()
 
static const atermpp::function_symbol UntypedRegFrm = core::detail::function_symbol_UntypedRegFrm()
 
static const atermpp::function_symbol ActTrue = core::detail::function_symbol_ActTrue()
 
static const atermpp::function_symbol ActFalse = core::detail::function_symbol_ActFalse()
 
static const atermpp::function_symbol ActNot = core::detail::function_symbol_ActNot()
 
static const atermpp::function_symbol ActAnd = core::detail::function_symbol_ActAnd()
 
static const atermpp::function_symbol ActOr = core::detail::function_symbol_ActOr()
 
static const atermpp::function_symbol ActImp = core::detail::function_symbol_ActImp()
 
static const atermpp::function_symbol ActForall = core::detail::function_symbol_ActForall()
 
static const atermpp::function_symbol ActExists = core::detail::function_symbol_ActExists()
 
static const atermpp::function_symbol ActAt = core::detail::function_symbol_ActAt()
 
static const atermpp::function_symbol ActMultAct = core::detail::function_symbol_ActMultAct()
 
static const atermpp::function_symbol ActionRenameRules = core::detail::function_symbol_ActionRenameRules()
 
static const atermpp::function_symbol ActionRenameRule = core::detail::function_symbol_ActionRenameRule()
 
static const atermpp::function_symbol ActionRenameSpec = core::detail::function_symbol_ActionRenameSpec()
 
static const atermpp::function_symbol PBES = core::detail::function_symbol_PBES()
 
static const atermpp::function_symbol PBEqnSpec = core::detail::function_symbol_PBEqnSpec()
 
static const atermpp::function_symbol PBInit = core::detail::function_symbol_PBInit()
 
static const atermpp::function_symbol PBEqn = core::detail::function_symbol_PBEqn()
 
static const atermpp::function_symbol Mu = core::detail::function_symbol_Mu()
 
static const atermpp::function_symbol Nu = core::detail::function_symbol_Nu()
 
static const atermpp::function_symbol PropVarDecl = core::detail::function_symbol_PropVarDecl()
 
static const atermpp::function_symbol PBESTrue = core::detail::function_symbol_PBESTrue()
 
static const atermpp::function_symbol PBESFalse = core::detail::function_symbol_PBESFalse()
 
static const atermpp::function_symbol PBESNot = core::detail::function_symbol_PBESNot()
 
static const atermpp::function_symbol PBESAnd = core::detail::function_symbol_PBESAnd()
 
static const atermpp::function_symbol PBESOr = core::detail::function_symbol_PBESOr()
 
static const atermpp::function_symbol PBESImp = core::detail::function_symbol_PBESImp()
 
static const atermpp::function_symbol PBESForall = core::detail::function_symbol_PBESForall()
 
static const atermpp::function_symbol PBESExists = core::detail::function_symbol_PBESExists()
 
static const atermpp::function_symbol PropVarInst = core::detail::function_symbol_PropVarInst()
 
static const atermpp::function_symbol PRES = core::detail::function_symbol_PRES()
 
static const atermpp::function_symbol PREqnSpec = core::detail::function_symbol_PREqnSpec()
 
static const atermpp::function_symbol PRInit = core::detail::function_symbol_PRInit()
 
static const atermpp::function_symbol PREqn = core::detail::function_symbol_PREqn()
 
static const atermpp::function_symbol PRESTrue = core::detail::function_symbol_PRESTrue()
 
static const atermpp::function_symbol PRESFalse = core::detail::function_symbol_PRESFalse()
 
static const atermpp::function_symbol PRESMinus = core::detail::function_symbol_PRESMinus()
 
static const atermpp::function_symbol PRESAnd = core::detail::function_symbol_PRESAnd()
 
static const atermpp::function_symbol PRESOr = core::detail::function_symbol_PRESOr()
 
static const atermpp::function_symbol PRESImp = core::detail::function_symbol_PRESImp()
 
static const atermpp::function_symbol PRESPlus = core::detail::function_symbol_PRESPlus()
 
static const atermpp::function_symbol PRESConstantMultiply = core::detail::function_symbol_PRESConstantMultiply()
 
static const atermpp::function_symbol PRESConstantMultiplyAlt = core::detail::function_symbol_PRESConstantMultiplyAlt()
 
static const atermpp::function_symbol PRESInfimum = core::detail::function_symbol_PRESInfimum()
 
static const atermpp::function_symbol PRESSupremum = core::detail::function_symbol_PRESSupremum()
 
static const atermpp::function_symbol PRESSum = core::detail::function_symbol_PRESSum()
 
static const atermpp::function_symbol PRESEqInf = core::detail::function_symbol_PRESEqInf()
 
static const atermpp::function_symbol PRESEqNInf = core::detail::function_symbol_PRESEqNInf()
 
static const atermpp::function_symbol PRESCondSm = core::detail::function_symbol_PRESCondSm()
 
static const atermpp::function_symbol PRESCondEq = core::detail::function_symbol_PRESCondEq()
 

Detailed Description

Definition at line 1382 of file function_symbols.h.

Member Data Documentation

◆ ActAnd

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

Definition at line 1494 of file function_symbols.h.

◆ ActAt

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

Definition at line 1499 of file function_symbols.h.

◆ ActExists

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

Definition at line 1498 of file function_symbols.h.

◆ ActFalse

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

Definition at line 1492 of file function_symbols.h.

◆ ActForall

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

Definition at line 1497 of file function_symbols.h.

◆ ActId

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

Definition at line 1424 of file function_symbols.h.

◆ ActImp

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

Definition at line 1496 of file function_symbols.h.

◆ Action

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

Definition at line 1423 of file function_symbols.h.

◆ ActionRenameRule

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

Definition at line 1502 of file function_symbols.h.

◆ ActionRenameRules

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

Definition at line 1501 of file function_symbols.h.

◆ ActionRenameSpec

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

Definition at line 1503 of file function_symbols.h.

◆ ActMultAct

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

Definition at line 1500 of file function_symbols.h.

◆ ActNot

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

Definition at line 1493 of file function_symbols.h.

◆ ActOr

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

Definition at line 1495 of file function_symbols.h.

◆ ActSpec

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

Definition at line 1451 of file function_symbols.h.

◆ ActTrue

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

Definition at line 1491 of file function_symbols.h.

◆ Allow

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

Definition at line 1434 of file function_symbols.h.

◆ AtTime

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

Definition at line 1436 of file function_symbols.h.

◆ BagComp

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

Definition at line 1408 of file function_symbols.h.

◆ Binder

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

Definition at line 1399 of file function_symbols.h.

◆ BInit

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

Definition at line 1440 of file function_symbols.h.

◆ Block

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

Definition at line 1430 of file function_symbols.h.

◆ Choice

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

Definition at line 1443 of file function_symbols.h.

◆ Comm

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

Definition at line 1433 of file function_symbols.h.

◆ CommExpr

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

Definition at line 1449 of file function_symbols.h.

◆ ConsSpec

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

Definition at line 1415 of file function_symbols.h.

◆ DataEqn

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

Definition at line 1419 of file function_symbols.h.

◆ DataEqnSpec

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

Definition at line 1417 of file function_symbols.h.

◆ DataSpec

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

Definition at line 1413 of file function_symbols.h.

◆ DataVarId

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

Definition at line 1402 of file function_symbols.h.

◆ DataVarIdInit

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

Definition at line 1411 of file function_symbols.h.

◆ Delta

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

Definition at line 1427 of file function_symbols.h.

◆ Distribution

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

Definition at line 1456 of file function_symbols.h.

◆ Exists

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

Definition at line 1406 of file function_symbols.h.

◆ Forall

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

Definition at line 1405 of file function_symbols.h.

◆ GlobVarSpec

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

Definition at line 1452 of file function_symbols.h.

◆ Hide

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

Definition at line 1431 of file function_symbols.h.

◆ IfThen

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

Definition at line 1438 of file function_symbols.h.

◆ IfThenElse

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

Definition at line 1439 of file function_symbols.h.

◆ Lambda

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

Definition at line 1409 of file function_symbols.h.

◆ LinearProcess

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

Definition at line 1458 of file function_symbols.h.

◆ LinearProcessInit

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

Definition at line 1460 of file function_symbols.h.

◆ LinearProcessSummand

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

Definition at line 1459 of file function_symbols.h.

◆ LinProcSpec

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

Definition at line 1457 of file function_symbols.h.

◆ LMerge

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

Definition at line 1442 of file function_symbols.h.

◆ MapSpec

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

Definition at line 1416 of file function_symbols.h.

◆ Merge

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

Definition at line 1441 of file function_symbols.h.

◆ Mu

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

Definition at line 1508 of file function_symbols.h.

◆ MultAct

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

Definition at line 1420 of file function_symbols.h.

◆ MultActName

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

Definition at line 1447 of file function_symbols.h.

◆ Nu

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

Definition at line 1509 of file function_symbols.h.

◆ OpId

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

Definition at line 1403 of file function_symbols.h.

◆ PBEqn

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

Definition at line 1507 of file function_symbols.h.

◆ PBEqnSpec

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

Definition at line 1505 of file function_symbols.h.

◆ PBES

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

Definition at line 1504 of file function_symbols.h.

◆ PBESAnd

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

Definition at line 1514 of file function_symbols.h.

◆ PBESExists

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

Definition at line 1518 of file function_symbols.h.

◆ PBESFalse

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

Definition at line 1512 of file function_symbols.h.

◆ PBESForall

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

Definition at line 1517 of file function_symbols.h.

◆ PBESImp

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

Definition at line 1516 of file function_symbols.h.

◆ PBESNot

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

Definition at line 1513 of file function_symbols.h.

◆ PBESOr

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

Definition at line 1515 of file function_symbols.h.

◆ PBESTrue

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

Definition at line 1511 of file function_symbols.h.

◆ PBInit

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

Definition at line 1506 of file function_symbols.h.

◆ PREqn

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

Definition at line 1523 of file function_symbols.h.

◆ PREqnSpec

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

Definition at line 1521 of file function_symbols.h.

◆ PRES

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

Definition at line 1520 of file function_symbols.h.

◆ PRESAnd

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

Definition at line 1527 of file function_symbols.h.

◆ PRESCondEq

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

Definition at line 1539 of file function_symbols.h.

◆ PRESCondSm

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

Definition at line 1538 of file function_symbols.h.

◆ PRESConstantMultiply

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

Definition at line 1531 of file function_symbols.h.

◆ PRESConstantMultiplyAlt

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

Definition at line 1532 of file function_symbols.h.

◆ PRESEqInf

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

Definition at line 1536 of file function_symbols.h.

◆ PRESEqNInf

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

Definition at line 1537 of file function_symbols.h.

◆ PRESFalse

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

Definition at line 1525 of file function_symbols.h.

◆ PRESImp

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

Definition at line 1529 of file function_symbols.h.

◆ PRESInfimum

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

Definition at line 1533 of file function_symbols.h.

◆ PRESMinus

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

Definition at line 1526 of file function_symbols.h.

◆ PRESOr

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

Definition at line 1528 of file function_symbols.h.

◆ PRESPlus

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

Definition at line 1530 of file function_symbols.h.

◆ PRESSum

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

Definition at line 1535 of file function_symbols.h.

◆ PRESSupremum

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

Definition at line 1534 of file function_symbols.h.

◆ PRESTrue

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

Definition at line 1524 of file function_symbols.h.

◆ PRInit

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

Definition at line 1522 of file function_symbols.h.

◆ ProcEqn

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

Definition at line 1454 of file function_symbols.h.

◆ ProcEqnSpec

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

Definition at line 1453 of file function_symbols.h.

◆ Process

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

Definition at line 1425 of file function_symbols.h.

◆ ProcessAssignment

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

Definition at line 1426 of file function_symbols.h.

◆ ProcessInit

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

Definition at line 1455 of file function_symbols.h.

◆ ProcSpec

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

Definition at line 1450 of file function_symbols.h.

◆ ProcVarId

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

Definition at line 1446 of file function_symbols.h.

◆ PropVarDecl

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

Definition at line 1510 of file function_symbols.h.

◆ PropVarInst

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

Definition at line 1519 of file function_symbols.h.

◆ RegAlt

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

Definition at line 1487 of file function_symbols.h.

◆ RegNil

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

Definition at line 1485 of file function_symbols.h.

◆ RegSeq

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

Definition at line 1486 of file function_symbols.h.

◆ RegTrans

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

Definition at line 1488 of file function_symbols.h.

◆ RegTransOrNil

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

Definition at line 1489 of file function_symbols.h.

◆ Rename

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

Definition at line 1432 of file function_symbols.h.

◆ RenameExpr

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

Definition at line 1448 of file function_symbols.h.

◆ Seq

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

Definition at line 1437 of file function_symbols.h.

◆ SetComp

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

Definition at line 1407 of file function_symbols.h.

◆ SortArrow

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

Definition at line 1387 of file function_symbols.h.

◆ SortBag

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

Definition at line 1394 of file function_symbols.h.

◆ SortCons

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

Definition at line 1385 of file function_symbols.h.

◆ SortFBag

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

Definition at line 1396 of file function_symbols.h.

◆ SortFSet

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

Definition at line 1395 of file function_symbols.h.

◆ SortId

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

Definition at line 1391 of file function_symbols.h.

◆ SortList

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

Definition at line 1392 of file function_symbols.h.

◆ SortRef

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

Definition at line 1418 of file function_symbols.h.

◆ SortSet

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

Definition at line 1393 of file function_symbols.h.

◆ SortSpec

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

Definition at line 1414 of file function_symbols.h.

◆ SortStruct

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

Definition at line 1386 of file function_symbols.h.

◆ StateAnd

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

Definition at line 1465 of file function_symbols.h.

◆ StateConstantMultiply

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

Definition at line 1469 of file function_symbols.h.

◆ StateConstantMultiplyAlt

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

Definition at line 1470 of file function_symbols.h.

◆ StateDelay

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

Definition at line 1480 of file function_symbols.h.

◆ StateDelayTimed

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

Definition at line 1481 of file function_symbols.h.

◆ StateExists

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

Definition at line 1472 of file function_symbols.h.

◆ StateFalse

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

Definition at line 1462 of file function_symbols.h.

◆ StateForall

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

Definition at line 1471 of file function_symbols.h.

◆ StateImp

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

Definition at line 1467 of file function_symbols.h.

◆ StateInfimum

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

Definition at line 1473 of file function_symbols.h.

◆ StateMay

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

Definition at line 1477 of file function_symbols.h.

◆ StateMinus

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

Definition at line 1464 of file function_symbols.h.

◆ StateMu

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

Definition at line 1484 of file function_symbols.h.

◆ StateMust

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

Definition at line 1476 of file function_symbols.h.

◆ StateNot

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

Definition at line 1463 of file function_symbols.h.

◆ StateNu

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

Definition at line 1483 of file function_symbols.h.

◆ StateOr

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

Definition at line 1466 of file function_symbols.h.

◆ StatePlus

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

Definition at line 1468 of file function_symbols.h.

◆ StateSum

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

Definition at line 1475 of file function_symbols.h.

◆ StateSupremum

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

Definition at line 1474 of file function_symbols.h.

◆ StateTrue

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

Definition at line 1461 of file function_symbols.h.

◆ StateVar

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

Definition at line 1482 of file function_symbols.h.

◆ StateYaled

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

Definition at line 1478 of file function_symbols.h.

◆ StateYaledTimed

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

Definition at line 1479 of file function_symbols.h.

◆ StochasticOperator

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

Definition at line 1444 of file function_symbols.h.

◆ StructCons

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

Definition at line 1397 of file function_symbols.h.

◆ StructProj

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

Definition at line 1398 of file function_symbols.h.

◆ Sum

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

Definition at line 1429 of file function_symbols.h.

◆ Sync

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

Definition at line 1435 of file function_symbols.h.

◆ Tau

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

Definition at line 1428 of file function_symbols.h.

◆ TimedMultAct

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

Definition at line 1421 of file function_symbols.h.

◆ UntypedDataParameter

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

Definition at line 1404 of file function_symbols.h.

◆ UntypedIdentifier

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

Definition at line 1401 of file function_symbols.h.

◆ UntypedIdentifierAssignment

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

Definition at line 1412 of file function_symbols.h.

◆ UntypedMultiAction

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

Definition at line 1422 of file function_symbols.h.

◆ UntypedProcessAssignment

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

Definition at line 1445 of file function_symbols.h.

◆ UntypedRegFrm

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

Definition at line 1490 of file function_symbols.h.

◆ UntypedSetBagComp

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

Definition at line 1410 of file function_symbols.h.

◆ UntypedSortsPossible

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

Definition at line 1389 of file function_symbols.h.

◆ UntypedSortUnknown

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

Definition at line 1388 of file function_symbols.h.

◆ UntypedSortVariable

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

Definition at line 1390 of file function_symbols.h.

◆ Whr

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

Definition at line 1400 of file function_symbols.h.

The documentation for this struct was generated from the following files: