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

#include <default_values.h>

Static Public Attributes

static const atermpp::aterm SortCons = core::detail::default_value_SortCons()
 
static const atermpp::aterm SortStruct = core::detail::default_value_SortStruct()
 
static const atermpp::aterm SortArrow = core::detail::default_value_SortArrow()
 
static const atermpp::aterm UntypedSortUnknown = core::detail::default_value_UntypedSortUnknown()
 
static const atermpp::aterm UntypedSortsPossible = core::detail::default_value_UntypedSortsPossible()
 
static const atermpp::aterm UntypedSortVariable = core::detail::default_value_UntypedSortVariable()
 
static const atermpp::aterm SortId = core::detail::default_value_SortId()
 
static const atermpp::aterm SortList = core::detail::default_value_SortList()
 
static const atermpp::aterm SortSet = core::detail::default_value_SortSet()
 
static const atermpp::aterm SortBag = core::detail::default_value_SortBag()
 
static const atermpp::aterm SortFSet = core::detail::default_value_SortFSet()
 
static const atermpp::aterm SortFBag = core::detail::default_value_SortFBag()
 
static const atermpp::aterm StructCons = core::detail::default_value_StructCons()
 
static const atermpp::aterm StructProj = core::detail::default_value_StructProj()
 
static const atermpp::aterm Binder = core::detail::default_value_Binder()
 
static const atermpp::aterm Whr = core::detail::default_value_Whr()
 
static const atermpp::aterm UntypedIdentifier = core::detail::default_value_UntypedIdentifier()
 
static const atermpp::aterm DataVarId = core::detail::default_value_DataVarId()
 
static const atermpp::aterm OpId = core::detail::default_value_OpId()
 
static const atermpp::aterm UntypedDataParameter = core::detail::default_value_UntypedDataParameter()
 
static const atermpp::aterm Forall = core::detail::default_value_Forall()
 
static const atermpp::aterm Exists = core::detail::default_value_Exists()
 
static const atermpp::aterm SetComp = core::detail::default_value_SetComp()
 
static const atermpp::aterm BagComp = core::detail::default_value_BagComp()
 
static const atermpp::aterm Lambda = core::detail::default_value_Lambda()
 
static const atermpp::aterm UntypedSetBagComp = core::detail::default_value_UntypedSetBagComp()
 
static const atermpp::aterm DataVarIdInit = core::detail::default_value_DataVarIdInit()
 
static const atermpp::aterm UntypedIdentifierAssignment = core::detail::default_value_UntypedIdentifierAssignment()
 
static const atermpp::aterm DataSpec = core::detail::default_value_DataSpec()
 
static const atermpp::aterm SortSpec = core::detail::default_value_SortSpec()
 
static const atermpp::aterm ConsSpec = core::detail::default_value_ConsSpec()
 
static const atermpp::aterm MapSpec = core::detail::default_value_MapSpec()
 
static const atermpp::aterm DataEqnSpec = core::detail::default_value_DataEqnSpec()
 
static const atermpp::aterm SortRef = core::detail::default_value_SortRef()
 
static const atermpp::aterm DataEqn = core::detail::default_value_DataEqn()
 
static const atermpp::aterm MultAct = core::detail::default_value_MultAct()
 
static const atermpp::aterm TimedMultAct = core::detail::default_value_TimedMultAct()
 
static const atermpp::aterm UntypedMultiAction = core::detail::default_value_UntypedMultiAction()
 
static const atermpp::aterm Action = core::detail::default_value_Action()
 
static const atermpp::aterm ActId = core::detail::default_value_ActId()
 
static const atermpp::aterm Process = core::detail::default_value_Process()
 
static const atermpp::aterm ProcessAssignment = core::detail::default_value_ProcessAssignment()
 
static const atermpp::aterm Delta = core::detail::default_value_Delta()
 
static const atermpp::aterm Tau = core::detail::default_value_Tau()
 
static const atermpp::aterm Sum = core::detail::default_value_Sum()
 
static const atermpp::aterm Block = core::detail::default_value_Block()
 
static const atermpp::aterm Hide = core::detail::default_value_Hide()
 
static const atermpp::aterm Rename = core::detail::default_value_Rename()
 
static const atermpp::aterm Comm = core::detail::default_value_Comm()
 
static const atermpp::aterm Allow = core::detail::default_value_Allow()
 
static const atermpp::aterm Sync = core::detail::default_value_Sync()
 
static const atermpp::aterm AtTime = core::detail::default_value_AtTime()
 
static const atermpp::aterm Seq = core::detail::default_value_Seq()
 
static const atermpp::aterm IfThen = core::detail::default_value_IfThen()
 
static const atermpp::aterm IfThenElse = core::detail::default_value_IfThenElse()
 
static const atermpp::aterm BInit = core::detail::default_value_BInit()
 
static const atermpp::aterm Merge = core::detail::default_value_Merge()
 
static const atermpp::aterm LMerge = core::detail::default_value_LMerge()
 
static const atermpp::aterm Choice = core::detail::default_value_Choice()
 
static const atermpp::aterm StochasticOperator = core::detail::default_value_StochasticOperator()
 
static const atermpp::aterm UntypedProcessAssignment = core::detail::default_value_UntypedProcessAssignment()
 
static const atermpp::aterm ProcVarId = core::detail::default_value_ProcVarId()
 
static const atermpp::aterm MultActName = core::detail::default_value_MultActName()
 
static const atermpp::aterm RenameExpr = core::detail::default_value_RenameExpr()
 
static const atermpp::aterm CommExpr = core::detail::default_value_CommExpr()
 
static const atermpp::aterm ProcSpec = core::detail::default_value_ProcSpec()
 
static const atermpp::aterm ActSpec = core::detail::default_value_ActSpec()
 
static const atermpp::aterm GlobVarSpec = core::detail::default_value_GlobVarSpec()
 
static const atermpp::aterm ProcEqnSpec = core::detail::default_value_ProcEqnSpec()
 
static const atermpp::aterm ProcEqn = core::detail::default_value_ProcEqn()
 
static const atermpp::aterm ProcessInit = core::detail::default_value_ProcessInit()
 
static const atermpp::aterm Distribution = core::detail::default_value_Distribution()
 
static const atermpp::aterm LinProcSpec = core::detail::default_value_LinProcSpec()
 
static const atermpp::aterm LinearProcess = core::detail::default_value_LinearProcess()
 
static const atermpp::aterm LinearProcessSummand = core::detail::default_value_LinearProcessSummand()
 
static const atermpp::aterm LinearProcessInit = core::detail::default_value_LinearProcessInit()
 
static const atermpp::aterm StateTrue = core::detail::default_value_StateTrue()
 
static const atermpp::aterm StateFalse = core::detail::default_value_StateFalse()
 
static const atermpp::aterm StateNot = core::detail::default_value_StateNot()
 
static const atermpp::aterm StateMinus = core::detail::default_value_StateMinus()
 
static const atermpp::aterm StateAnd = core::detail::default_value_StateAnd()
 
static const atermpp::aterm StateOr = core::detail::default_value_StateOr()
 
static const atermpp::aterm StateImp = core::detail::default_value_StateImp()
 
static const atermpp::aterm StatePlus = core::detail::default_value_StatePlus()
 
static const atermpp::aterm StateConstantMultiply = core::detail::default_value_StateConstantMultiply()
 
static const atermpp::aterm StateConstantMultiplyAlt = core::detail::default_value_StateConstantMultiplyAlt()
 
static const atermpp::aterm StateForall = core::detail::default_value_StateForall()
 
static const atermpp::aterm StateExists = core::detail::default_value_StateExists()
 
static const atermpp::aterm StateInfimum = core::detail::default_value_StateInfimum()
 
static const atermpp::aterm StateSupremum = core::detail::default_value_StateSupremum()
 
static const atermpp::aterm StateSum = core::detail::default_value_StateSum()
 
static const atermpp::aterm StateMust = core::detail::default_value_StateMust()
 
static const atermpp::aterm StateMay = core::detail::default_value_StateMay()
 
static const atermpp::aterm StateYaled = core::detail::default_value_StateYaled()
 
static const atermpp::aterm StateYaledTimed = core::detail::default_value_StateYaledTimed()
 
static const atermpp::aterm StateDelay = core::detail::default_value_StateDelay()
 
static const atermpp::aterm StateDelayTimed = core::detail::default_value_StateDelayTimed()
 
static const atermpp::aterm StateVar = core::detail::default_value_StateVar()
 
static const atermpp::aterm StateNu = core::detail::default_value_StateNu()
 
static const atermpp::aterm StateMu = core::detail::default_value_StateMu()
 
static const atermpp::aterm RegNil = core::detail::default_value_RegNil()
 
static const atermpp::aterm RegSeq = core::detail::default_value_RegSeq()
 
static const atermpp::aterm RegAlt = core::detail::default_value_RegAlt()
 
static const atermpp::aterm RegTrans = core::detail::default_value_RegTrans()
 
static const atermpp::aterm RegTransOrNil = core::detail::default_value_RegTransOrNil()
 
static const atermpp::aterm UntypedRegFrm = core::detail::default_value_UntypedRegFrm()
 
static const atermpp::aterm ActTrue = core::detail::default_value_ActTrue()
 
static const atermpp::aterm ActFalse = core::detail::default_value_ActFalse()
 
static const atermpp::aterm ActNot = core::detail::default_value_ActNot()
 
static const atermpp::aterm ActAnd = core::detail::default_value_ActAnd()
 
static const atermpp::aterm ActOr = core::detail::default_value_ActOr()
 
static const atermpp::aterm ActImp = core::detail::default_value_ActImp()
 
static const atermpp::aterm ActForall = core::detail::default_value_ActForall()
 
static const atermpp::aterm ActExists = core::detail::default_value_ActExists()
 
static const atermpp::aterm ActAt = core::detail::default_value_ActAt()
 
static const atermpp::aterm ActMultAct = core::detail::default_value_ActMultAct()
 
static const atermpp::aterm ActionRenameRules = core::detail::default_value_ActionRenameRules()
 
static const atermpp::aterm ActionRenameRule = core::detail::default_value_ActionRenameRule()
 
static const atermpp::aterm ActionRenameSpec = core::detail::default_value_ActionRenameSpec()
 
static const atermpp::aterm PBES = core::detail::default_value_PBES()
 
static const atermpp::aterm PBEqnSpec = core::detail::default_value_PBEqnSpec()
 
static const atermpp::aterm PBInit = core::detail::default_value_PBInit()
 
static const atermpp::aterm PBEqn = core::detail::default_value_PBEqn()
 
static const atermpp::aterm Mu = core::detail::default_value_Mu()
 
static const atermpp::aterm Nu = core::detail::default_value_Nu()
 
static const atermpp::aterm PropVarDecl = core::detail::default_value_PropVarDecl()
 
static const atermpp::aterm PBESTrue = core::detail::default_value_PBESTrue()
 
static const atermpp::aterm PBESFalse = core::detail::default_value_PBESFalse()
 
static const atermpp::aterm PBESNot = core::detail::default_value_PBESNot()
 
static const atermpp::aterm PBESAnd = core::detail::default_value_PBESAnd()
 
static const atermpp::aterm PBESOr = core::detail::default_value_PBESOr()
 
static const atermpp::aterm PBESImp = core::detail::default_value_PBESImp()
 
static const atermpp::aterm PBESForall = core::detail::default_value_PBESForall()
 
static const atermpp::aterm PBESExists = core::detail::default_value_PBESExists()
 
static const atermpp::aterm PropVarInst = core::detail::default_value_PropVarInst()
 
static const atermpp::aterm PRES = core::detail::default_value_PRES()
 
static const atermpp::aterm PREqnSpec = core::detail::default_value_PREqnSpec()
 
static const atermpp::aterm PRInit = core::detail::default_value_PRInit()
 
static const atermpp::aterm PREqn = core::detail::default_value_PREqn()
 
static const atermpp::aterm PRESTrue = core::detail::default_value_PRESTrue()
 
static const atermpp::aterm PRESFalse = core::detail::default_value_PRESFalse()
 
static const atermpp::aterm PRESMinus = core::detail::default_value_PRESMinus()
 
static const atermpp::aterm PRESAnd = core::detail::default_value_PRESAnd()
 
static const atermpp::aterm PRESOr = core::detail::default_value_PRESOr()
 
static const atermpp::aterm PRESImp = core::detail::default_value_PRESImp()
 
static const atermpp::aterm PRESPlus = core::detail::default_value_PRESPlus()
 
static const atermpp::aterm PRESConstantMultiply = core::detail::default_value_PRESConstantMultiply()
 
static const atermpp::aterm PRESConstantMultiplyAlt = core::detail::default_value_PRESConstantMultiplyAlt()
 
static const atermpp::aterm PRESInfimum = core::detail::default_value_PRESInfimum()
 
static const atermpp::aterm PRESSupremum = core::detail::default_value_PRESSupremum()
 
static const atermpp::aterm PRESSum = core::detail::default_value_PRESSum()
 
static const atermpp::aterm PRESEqInf = core::detail::default_value_PRESEqInf()
 
static const atermpp::aterm PRESEqNInf = core::detail::default_value_PRESEqNInf()
 
static const atermpp::aterm PRESCondSm = core::detail::default_value_PRESCondSm()
 
static const atermpp::aterm PRESCondEq = core::detail::default_value_PRESCondEq()
 
static const atermpp::aterm SortExpr = core::detail::default_value_SortExpr()
 
static const atermpp::aterm SortConsType = core::detail::default_value_SortConsType()
 
static const atermpp::aterm DataExpr = core::detail::default_value_DataExpr()
 
static const atermpp::aterm BindingOperator = core::detail::default_value_BindingOperator()
 
static const atermpp::aterm WhrDecl = core::detail::default_value_WhrDecl()
 
static const atermpp::aterm SortDecl = core::detail::default_value_SortDecl()
 
static const atermpp::aterm ProcExpr = core::detail::default_value_ProcExpr()
 
static const atermpp::aterm MultActOrDelta = core::detail::default_value_MultActOrDelta()
 
static const atermpp::aterm ProcInit = core::detail::default_value_ProcInit()
 
static const atermpp::aterm StateFrm = core::detail::default_value_StateFrm()
 
static const atermpp::aterm RegFrm = core::detail::default_value_RegFrm()
 
static const atermpp::aterm ActFrm = core::detail::default_value_ActFrm()
 
static const atermpp::aterm ParamIdOrAction = core::detail::default_value_ParamIdOrAction()
 
static const atermpp::aterm ActionRenameRuleRHS = core::detail::default_value_ActionRenameRuleRHS()
 
static const atermpp::aterm FixPoint = core::detail::default_value_FixPoint()
 
static const atermpp::aterm PBExpr = core::detail::default_value_PBExpr()
 
static const atermpp::aterm PRExpr = core::detail::default_value_PRExpr()
 

Detailed Description

Definition at line 1602 of file default_values.h.

Member Data Documentation

◆ ActAnd

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

Definition at line 1714 of file default_values.h.

◆ ActAt

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

Definition at line 1719 of file default_values.h.

◆ ActExists

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

Definition at line 1718 of file default_values.h.

◆ ActFalse

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

Definition at line 1712 of file default_values.h.

◆ ActForall

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

Definition at line 1717 of file default_values.h.

◆ ActFrm

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

Definition at line 1771 of file default_values.h.

◆ ActId

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

Definition at line 1644 of file default_values.h.

◆ ActImp

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

Definition at line 1716 of file default_values.h.

◆ Action

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

Definition at line 1643 of file default_values.h.

◆ ActionRenameRule

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

Definition at line 1722 of file default_values.h.

◆ ActionRenameRuleRHS

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

Definition at line 1773 of file default_values.h.

◆ ActionRenameRules

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

Definition at line 1721 of file default_values.h.

◆ ActionRenameSpec

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

Definition at line 1723 of file default_values.h.

◆ ActMultAct

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

Definition at line 1720 of file default_values.h.

◆ ActNot

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

Definition at line 1713 of file default_values.h.

◆ ActOr

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

Definition at line 1715 of file default_values.h.

◆ ActSpec

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

Definition at line 1671 of file default_values.h.

◆ ActTrue

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

Definition at line 1711 of file default_values.h.

◆ Allow

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

Definition at line 1654 of file default_values.h.

◆ AtTime

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

Definition at line 1656 of file default_values.h.

◆ BagComp

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

Definition at line 1628 of file default_values.h.

◆ Binder

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

Definition at line 1619 of file default_values.h.

◆ BindingOperator

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

Definition at line 1763 of file default_values.h.

◆ BInit

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

Definition at line 1660 of file default_values.h.

◆ Block

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

Definition at line 1650 of file default_values.h.

◆ Choice

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

Definition at line 1663 of file default_values.h.

◆ Comm

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

Definition at line 1653 of file default_values.h.

◆ CommExpr

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

Definition at line 1669 of file default_values.h.

◆ ConsSpec

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

Definition at line 1635 of file default_values.h.

◆ DataEqn

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

Definition at line 1639 of file default_values.h.

◆ DataEqnSpec

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

Definition at line 1637 of file default_values.h.

◆ DataExpr

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

Definition at line 1762 of file default_values.h.

◆ DataSpec

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

Definition at line 1633 of file default_values.h.

◆ DataVarId

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

Definition at line 1622 of file default_values.h.

◆ DataVarIdInit

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

Definition at line 1631 of file default_values.h.

◆ Delta

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

Definition at line 1647 of file default_values.h.

◆ Distribution

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

Definition at line 1676 of file default_values.h.

◆ Exists

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

Definition at line 1626 of file default_values.h.

◆ FixPoint

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

Definition at line 1774 of file default_values.h.

◆ Forall

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

Definition at line 1625 of file default_values.h.

◆ GlobVarSpec

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

Definition at line 1672 of file default_values.h.

◆ Hide

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

Definition at line 1651 of file default_values.h.

◆ IfThen

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

Definition at line 1658 of file default_values.h.

◆ IfThenElse

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

Definition at line 1659 of file default_values.h.

◆ Lambda

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

Definition at line 1629 of file default_values.h.

◆ LinearProcess

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

Definition at line 1678 of file default_values.h.

◆ LinearProcessInit

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

Definition at line 1680 of file default_values.h.

◆ LinearProcessSummand

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

Definition at line 1679 of file default_values.h.

◆ LinProcSpec

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

Definition at line 1677 of file default_values.h.

◆ LMerge

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

Definition at line 1662 of file default_values.h.

◆ MapSpec

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

Definition at line 1636 of file default_values.h.

◆ Merge

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

Definition at line 1661 of file default_values.h.

◆ Mu

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

Definition at line 1728 of file default_values.h.

◆ MultAct

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

Definition at line 1640 of file default_values.h.

◆ MultActName

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

Definition at line 1667 of file default_values.h.

◆ MultActOrDelta

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

Definition at line 1767 of file default_values.h.

◆ Nu

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

Definition at line 1729 of file default_values.h.

◆ OpId

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

Definition at line 1623 of file default_values.h.

◆ ParamIdOrAction

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

Definition at line 1772 of file default_values.h.

◆ PBEqn

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

Definition at line 1727 of file default_values.h.

◆ PBEqnSpec

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

Definition at line 1725 of file default_values.h.

◆ PBES

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

Definition at line 1724 of file default_values.h.

◆ PBESAnd

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

Definition at line 1734 of file default_values.h.

◆ PBESExists

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

Definition at line 1738 of file default_values.h.

◆ PBESFalse

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

Definition at line 1732 of file default_values.h.

◆ PBESForall

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

Definition at line 1737 of file default_values.h.

◆ PBESImp

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

Definition at line 1736 of file default_values.h.

◆ PBESNot

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

Definition at line 1733 of file default_values.h.

◆ PBESOr

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

Definition at line 1735 of file default_values.h.

◆ PBESTrue

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

Definition at line 1731 of file default_values.h.

◆ PBExpr

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

Definition at line 1775 of file default_values.h.

◆ PBInit

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

Definition at line 1726 of file default_values.h.

◆ PREqn

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

Definition at line 1743 of file default_values.h.

◆ PREqnSpec

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

Definition at line 1741 of file default_values.h.

◆ PRES

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

Definition at line 1740 of file default_values.h.

◆ PRESAnd

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

Definition at line 1747 of file default_values.h.

◆ PRESCondEq

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

Definition at line 1759 of file default_values.h.

◆ PRESCondSm

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

Definition at line 1758 of file default_values.h.

◆ PRESConstantMultiply

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

Definition at line 1751 of file default_values.h.

◆ PRESConstantMultiplyAlt

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

Definition at line 1752 of file default_values.h.

◆ PRESEqInf

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

Definition at line 1756 of file default_values.h.

◆ PRESEqNInf

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

Definition at line 1757 of file default_values.h.

◆ PRESFalse

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

Definition at line 1745 of file default_values.h.

◆ PRESImp

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

Definition at line 1749 of file default_values.h.

◆ PRESInfimum

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

Definition at line 1753 of file default_values.h.

◆ PRESMinus

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

Definition at line 1746 of file default_values.h.

◆ PRESOr

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

Definition at line 1748 of file default_values.h.

◆ PRESPlus

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

Definition at line 1750 of file default_values.h.

◆ PRESSum

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

Definition at line 1755 of file default_values.h.

◆ PRESSupremum

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

Definition at line 1754 of file default_values.h.

◆ PRESTrue

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

Definition at line 1744 of file default_values.h.

◆ PRExpr

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

Definition at line 1776 of file default_values.h.

◆ PRInit

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

Definition at line 1742 of file default_values.h.

◆ ProcEqn

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

Definition at line 1674 of file default_values.h.

◆ ProcEqnSpec

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

Definition at line 1673 of file default_values.h.

◆ Process

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

Definition at line 1645 of file default_values.h.

◆ ProcessAssignment

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

Definition at line 1646 of file default_values.h.

◆ ProcessInit

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

Definition at line 1675 of file default_values.h.

◆ ProcExpr

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

Definition at line 1766 of file default_values.h.

◆ ProcInit

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

Definition at line 1768 of file default_values.h.

◆ ProcSpec

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

Definition at line 1670 of file default_values.h.

◆ ProcVarId

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

Definition at line 1666 of file default_values.h.

◆ PropVarDecl

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

Definition at line 1730 of file default_values.h.

◆ PropVarInst

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

Definition at line 1739 of file default_values.h.

◆ RegAlt

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

Definition at line 1707 of file default_values.h.

◆ RegFrm

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

Definition at line 1770 of file default_values.h.

◆ RegNil

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

Definition at line 1705 of file default_values.h.

◆ RegSeq

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

Definition at line 1706 of file default_values.h.

◆ RegTrans

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

Definition at line 1708 of file default_values.h.

◆ RegTransOrNil

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

Definition at line 1709 of file default_values.h.

◆ Rename

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

Definition at line 1652 of file default_values.h.

◆ RenameExpr

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

Definition at line 1668 of file default_values.h.

◆ Seq

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

Definition at line 1657 of file default_values.h.

◆ SetComp

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

Definition at line 1627 of file default_values.h.

◆ SortArrow

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

Definition at line 1607 of file default_values.h.

◆ SortBag

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

Definition at line 1614 of file default_values.h.

◆ SortCons

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

Definition at line 1605 of file default_values.h.

◆ SortConsType

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

Definition at line 1761 of file default_values.h.

◆ SortDecl

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

Definition at line 1765 of file default_values.h.

◆ SortExpr

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

Definition at line 1760 of file default_values.h.

◆ SortFBag

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

Definition at line 1616 of file default_values.h.

◆ SortFSet

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

Definition at line 1615 of file default_values.h.

◆ SortId

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

Definition at line 1611 of file default_values.h.

◆ SortList

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

Definition at line 1612 of file default_values.h.

◆ SortRef

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

Definition at line 1638 of file default_values.h.

◆ SortSet

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

Definition at line 1613 of file default_values.h.

◆ SortSpec

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

Definition at line 1634 of file default_values.h.

◆ SortStruct

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

Definition at line 1606 of file default_values.h.

◆ StateAnd

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

Definition at line 1685 of file default_values.h.

◆ StateConstantMultiply

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

Definition at line 1689 of file default_values.h.

◆ StateConstantMultiplyAlt

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

Definition at line 1690 of file default_values.h.

◆ StateDelay

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

Definition at line 1700 of file default_values.h.

◆ StateDelayTimed

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

Definition at line 1701 of file default_values.h.

◆ StateExists

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

Definition at line 1692 of file default_values.h.

◆ StateFalse

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

Definition at line 1682 of file default_values.h.

◆ StateForall

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

Definition at line 1691 of file default_values.h.

◆ StateFrm

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

Definition at line 1769 of file default_values.h.

◆ StateImp

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

Definition at line 1687 of file default_values.h.

◆ StateInfimum

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

Definition at line 1693 of file default_values.h.

◆ StateMay

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

Definition at line 1697 of file default_values.h.

◆ StateMinus

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

Definition at line 1684 of file default_values.h.

◆ StateMu

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

Definition at line 1704 of file default_values.h.

◆ StateMust

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

Definition at line 1696 of file default_values.h.

◆ StateNot

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

Definition at line 1683 of file default_values.h.

◆ StateNu

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

Definition at line 1703 of file default_values.h.

◆ StateOr

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

Definition at line 1686 of file default_values.h.

◆ StatePlus

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

Definition at line 1688 of file default_values.h.

◆ StateSum

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

Definition at line 1695 of file default_values.h.

◆ StateSupremum

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

Definition at line 1694 of file default_values.h.

◆ StateTrue

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

Definition at line 1681 of file default_values.h.

◆ StateVar

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

Definition at line 1702 of file default_values.h.

◆ StateYaled

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

Definition at line 1698 of file default_values.h.

◆ StateYaledTimed

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

Definition at line 1699 of file default_values.h.

◆ StochasticOperator

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

Definition at line 1664 of file default_values.h.

◆ StructCons

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

Definition at line 1617 of file default_values.h.

◆ StructProj

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

Definition at line 1618 of file default_values.h.

◆ Sum

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

Definition at line 1649 of file default_values.h.

◆ Sync

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

Definition at line 1655 of file default_values.h.

◆ Tau

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

Definition at line 1648 of file default_values.h.

◆ TimedMultAct

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

Definition at line 1641 of file default_values.h.

◆ UntypedDataParameter

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

Definition at line 1624 of file default_values.h.

◆ UntypedIdentifier

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

Definition at line 1621 of file default_values.h.

◆ UntypedIdentifierAssignment

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

Definition at line 1632 of file default_values.h.

◆ UntypedMultiAction

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

Definition at line 1642 of file default_values.h.

◆ UntypedProcessAssignment

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

Definition at line 1665 of file default_values.h.

◆ UntypedRegFrm

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

Definition at line 1710 of file default_values.h.

◆ UntypedSetBagComp

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

Definition at line 1630 of file default_values.h.

◆ UntypedSortsPossible

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

Definition at line 1609 of file default_values.h.

◆ UntypedSortUnknown

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

Definition at line 1608 of file default_values.h.

◆ UntypedSortVariable

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

Definition at line 1610 of file default_values.h.

◆ Whr

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

Definition at line 1620 of file default_values.h.

◆ WhrDecl

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

Definition at line 1764 of file default_values.h.

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