add your file description here. More...

Classes
struct	mcrl2::core::detail::default_values

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::aterm_int &	mcrl2::core::detail::default_value_Number ()

const atermpp::aterm &	mcrl2::core::detail::default_value_String ()

const atermpp::aterm &	mcrl2::core::detail::default_value_StringOrEmpty ()

const atermpp::aterm_list &	mcrl2::core::detail::default_value_List ()

atermpp::aterm_list	mcrl2::core::detail::default_value_List (const atermpp::aterm &t)

const atermpp::aterm &	mcrl2::core::detail::default_value_SortCons ()

const atermpp::aterm &	mcrl2::core::detail::default_value_SortStruct ()

const atermpp::aterm &	mcrl2::core::detail::default_value_SortArrow ()

const atermpp::aterm &	mcrl2::core::detail::default_value_UntypedSortUnknown ()

const atermpp::aterm &	mcrl2::core::detail::default_value_UntypedSortsPossible ()

const atermpp::aterm &	mcrl2::core::detail::default_value_UntypedSortVariable ()

const atermpp::aterm &	mcrl2::core::detail::default_value_SortId ()

const atermpp::aterm &	mcrl2::core::detail::default_value_SortList ()

const atermpp::aterm &	mcrl2::core::detail::default_value_SortSet ()

const atermpp::aterm &	mcrl2::core::detail::default_value_SortBag ()

const atermpp::aterm &	mcrl2::core::detail::default_value_SortFSet ()

const atermpp::aterm &	mcrl2::core::detail::default_value_SortFBag ()

const atermpp::aterm &	mcrl2::core::detail::default_value_StructCons ()

const atermpp::aterm &	mcrl2::core::detail::default_value_StructProj ()

const atermpp::aterm &	mcrl2::core::detail::default_value_Binder ()

const atermpp::aterm &	mcrl2::core::detail::default_value_Whr ()

const atermpp::aterm &	mcrl2::core::detail::default_value_UntypedIdentifier ()

const atermpp::aterm &	mcrl2::core::detail::default_value_DataVarId ()

const atermpp::aterm &	mcrl2::core::detail::default_value_OpId ()

const atermpp::aterm &	mcrl2::core::detail::default_value_UntypedDataParameter ()

const atermpp::aterm &	mcrl2::core::detail::default_value_Forall ()

const atermpp::aterm &	mcrl2::core::detail::default_value_Exists ()

const atermpp::aterm &	mcrl2::core::detail::default_value_SetComp ()

const atermpp::aterm &	mcrl2::core::detail::default_value_BagComp ()

const atermpp::aterm &	mcrl2::core::detail::default_value_Lambda ()

const atermpp::aterm &	mcrl2::core::detail::default_value_UntypedSetBagComp ()

const atermpp::aterm &	mcrl2::core::detail::default_value_DataVarIdInit ()

const atermpp::aterm &	mcrl2::core::detail::default_value_UntypedIdentifierAssignment ()

const atermpp::aterm &	mcrl2::core::detail::default_value_DataSpec ()

const atermpp::aterm &	mcrl2::core::detail::default_value_SortSpec ()

const atermpp::aterm &	mcrl2::core::detail::default_value_ConsSpec ()

const atermpp::aterm &	mcrl2::core::detail::default_value_MapSpec ()

const atermpp::aterm &	mcrl2::core::detail::default_value_DataEqnSpec ()

const atermpp::aterm &	mcrl2::core::detail::default_value_SortRef ()

const atermpp::aterm &	mcrl2::core::detail::default_value_DataEqn ()

const atermpp::aterm &	mcrl2::core::detail::default_value_MultAct ()

const atermpp::aterm &	mcrl2::core::detail::default_value_TimedMultAct ()

const atermpp::aterm &	mcrl2::core::detail::default_value_UntypedMultiAction ()

const atermpp::aterm &	mcrl2::core::detail::default_value_Action ()

const atermpp::aterm &	mcrl2::core::detail::default_value_ActId ()

const atermpp::aterm &	mcrl2::core::detail::default_value_Process ()

const atermpp::aterm &	mcrl2::core::detail::default_value_ProcessAssignment ()

const atermpp::aterm &	mcrl2::core::detail::default_value_Delta ()

const atermpp::aterm &	mcrl2::core::detail::default_value_Tau ()

const atermpp::aterm &	mcrl2::core::detail::default_value_Sum ()

const atermpp::aterm &	mcrl2::core::detail::default_value_Block ()

const atermpp::aterm &	mcrl2::core::detail::default_value_Hide ()

const atermpp::aterm &	mcrl2::core::detail::default_value_Rename ()

const atermpp::aterm &	mcrl2::core::detail::default_value_Comm ()

const atermpp::aterm &	mcrl2::core::detail::default_value_Allow ()

const atermpp::aterm &	mcrl2::core::detail::default_value_Sync ()

const atermpp::aterm &	mcrl2::core::detail::default_value_AtTime ()

const atermpp::aterm &	mcrl2::core::detail::default_value_Seq ()

const atermpp::aterm &	mcrl2::core::detail::default_value_IfThen ()

const atermpp::aterm &	mcrl2::core::detail::default_value_IfThenElse ()

const atermpp::aterm &	mcrl2::core::detail::default_value_BInit ()

const atermpp::aterm &	mcrl2::core::detail::default_value_Merge ()

const atermpp::aterm &	mcrl2::core::detail::default_value_LMerge ()

const atermpp::aterm &	mcrl2::core::detail::default_value_Choice ()

const atermpp::aterm &	mcrl2::core::detail::default_value_StochasticOperator ()

const atermpp::aterm &	mcrl2::core::detail::default_value_UntypedProcessAssignment ()

const atermpp::aterm &	mcrl2::core::detail::default_value_ProcVarId ()

const atermpp::aterm &	mcrl2::core::detail::default_value_MultActName ()

const atermpp::aterm &	mcrl2::core::detail::default_value_RenameExpr ()

const atermpp::aterm &	mcrl2::core::detail::default_value_CommExpr ()

const atermpp::aterm &	mcrl2::core::detail::default_value_ProcSpec ()

const atermpp::aterm &	mcrl2::core::detail::default_value_ActSpec ()

const atermpp::aterm &	mcrl2::core::detail::default_value_GlobVarSpec ()

const atermpp::aterm &	mcrl2::core::detail::default_value_ProcEqnSpec ()

const atermpp::aterm &	mcrl2::core::detail::default_value_ProcEqn ()

const atermpp::aterm &	mcrl2::core::detail::default_value_ProcessInit ()

const atermpp::aterm &	mcrl2::core::detail::default_value_Distribution ()

const atermpp::aterm &	mcrl2::core::detail::default_value_LinProcSpec ()

const atermpp::aterm &	mcrl2::core::detail::default_value_LinearProcess ()

const atermpp::aterm &	mcrl2::core::detail::default_value_LinearProcessSummand ()

const atermpp::aterm &	mcrl2::core::detail::default_value_LinearProcessInit ()

const atermpp::aterm &	mcrl2::core::detail::default_value_StateTrue ()

const atermpp::aterm &	mcrl2::core::detail::default_value_StateFalse ()

const atermpp::aterm &	mcrl2::core::detail::default_value_StateNot ()

const atermpp::aterm &	mcrl2::core::detail::default_value_StateMinus ()

const atermpp::aterm &	mcrl2::core::detail::default_value_StateAnd ()

const atermpp::aterm &	mcrl2::core::detail::default_value_StateOr ()

const atermpp::aterm &	mcrl2::core::detail::default_value_StateImp ()

const atermpp::aterm &	mcrl2::core::detail::default_value_StatePlus ()

const atermpp::aterm &	mcrl2::core::detail::default_value_StateConstantMultiply ()

const atermpp::aterm &	mcrl2::core::detail::default_value_StateConstantMultiplyAlt ()

const atermpp::aterm &	mcrl2::core::detail::default_value_StateForall ()

const atermpp::aterm &	mcrl2::core::detail::default_value_StateExists ()

const atermpp::aterm &	mcrl2::core::detail::default_value_StateInfimum ()

const atermpp::aterm &	mcrl2::core::detail::default_value_StateSupremum ()

const atermpp::aterm &	mcrl2::core::detail::default_value_StateSum ()

const atermpp::aterm &	mcrl2::core::detail::default_value_StateMust ()

const atermpp::aterm &	mcrl2::core::detail::default_value_StateMay ()

const atermpp::aterm &	mcrl2::core::detail::default_value_StateYaled ()

const atermpp::aterm &	mcrl2::core::detail::default_value_StateYaledTimed ()

const atermpp::aterm &	mcrl2::core::detail::default_value_StateDelay ()

const atermpp::aterm &	mcrl2::core::detail::default_value_StateDelayTimed ()

const atermpp::aterm &	mcrl2::core::detail::default_value_StateVar ()

const atermpp::aterm &	mcrl2::core::detail::default_value_StateNu ()

const atermpp::aterm &	mcrl2::core::detail::default_value_StateMu ()

const atermpp::aterm &	mcrl2::core::detail::default_value_RegNil ()

const atermpp::aterm &	mcrl2::core::detail::default_value_RegSeq ()

const atermpp::aterm &	mcrl2::core::detail::default_value_RegAlt ()

const atermpp::aterm &	mcrl2::core::detail::default_value_RegTrans ()

const atermpp::aterm &	mcrl2::core::detail::default_value_RegTransOrNil ()

const atermpp::aterm &	mcrl2::core::detail::default_value_UntypedRegFrm ()

const atermpp::aterm &	mcrl2::core::detail::default_value_ActTrue ()

const atermpp::aterm &	mcrl2::core::detail::default_value_ActFalse ()

const atermpp::aterm &	mcrl2::core::detail::default_value_ActNot ()

const atermpp::aterm &	mcrl2::core::detail::default_value_ActAnd ()

const atermpp::aterm &	mcrl2::core::detail::default_value_ActOr ()

const atermpp::aterm &	mcrl2::core::detail::default_value_ActImp ()

const atermpp::aterm &	mcrl2::core::detail::default_value_ActForall ()

const atermpp::aterm &	mcrl2::core::detail::default_value_ActExists ()

const atermpp::aterm &	mcrl2::core::detail::default_value_ActAt ()

const atermpp::aterm &	mcrl2::core::detail::default_value_ActMultAct ()

const atermpp::aterm &	mcrl2::core::detail::default_value_ActionRenameRules ()

const atermpp::aterm &	mcrl2::core::detail::default_value_ActionRenameRule ()

const atermpp::aterm &	mcrl2::core::detail::default_value_ActionRenameSpec ()

const atermpp::aterm &	mcrl2::core::detail::default_value_PBES ()

const atermpp::aterm &	mcrl2::core::detail::default_value_PBEqnSpec ()

const atermpp::aterm &	mcrl2::core::detail::default_value_PBInit ()

const atermpp::aterm &	mcrl2::core::detail::default_value_PBEqn ()

const atermpp::aterm &	mcrl2::core::detail::default_value_Mu ()

const atermpp::aterm &	mcrl2::core::detail::default_value_Nu ()

const atermpp::aterm &	mcrl2::core::detail::default_value_PropVarDecl ()

const atermpp::aterm &	mcrl2::core::detail::default_value_PBESTrue ()

const atermpp::aterm &	mcrl2::core::detail::default_value_PBESFalse ()

const atermpp::aterm &	mcrl2::core::detail::default_value_PBESNot ()

const atermpp::aterm &	mcrl2::core::detail::default_value_PBESAnd ()

const atermpp::aterm &	mcrl2::core::detail::default_value_PBESOr ()

const atermpp::aterm &	mcrl2::core::detail::default_value_PBESImp ()

const atermpp::aterm &	mcrl2::core::detail::default_value_PBESForall ()

const atermpp::aterm &	mcrl2::core::detail::default_value_PBESExists ()

const atermpp::aterm &	mcrl2::core::detail::default_value_PropVarInst ()

const atermpp::aterm &	mcrl2::core::detail::default_value_PRES ()

const atermpp::aterm &	mcrl2::core::detail::default_value_PREqnSpec ()

const atermpp::aterm &	mcrl2::core::detail::default_value_PRInit ()

const atermpp::aterm &	mcrl2::core::detail::default_value_PREqn ()

const atermpp::aterm &	mcrl2::core::detail::default_value_PRESTrue ()

const atermpp::aterm &	mcrl2::core::detail::default_value_PRESFalse ()

const atermpp::aterm &	mcrl2::core::detail::default_value_PRESMinus ()

const atermpp::aterm &	mcrl2::core::detail::default_value_PRESAnd ()

const atermpp::aterm &	mcrl2::core::detail::default_value_PRESOr ()

const atermpp::aterm &	mcrl2::core::detail::default_value_PRESImp ()

const atermpp::aterm &	mcrl2::core::detail::default_value_PRESPlus ()

const atermpp::aterm &	mcrl2::core::detail::default_value_PRESConstantMultiply ()

const atermpp::aterm &	mcrl2::core::detail::default_value_PRESConstantMultiplyAlt ()

const atermpp::aterm &	mcrl2::core::detail::default_value_PRESInfimum ()

const atermpp::aterm &	mcrl2::core::detail::default_value_PRESSupremum ()

const atermpp::aterm &	mcrl2::core::detail::default_value_PRESSum ()

const atermpp::aterm &	mcrl2::core::detail::default_value_PRESEqInf ()

const atermpp::aterm &	mcrl2::core::detail::default_value_PRESEqNInf ()

const atermpp::aterm &	mcrl2::core::detail::default_value_PRESCondSm ()

const atermpp::aterm &	mcrl2::core::detail::default_value_PRESCondEq ()

const atermpp::aterm &	mcrl2::core::detail::default_value_SortExpr ()

const atermpp::aterm &	mcrl2::core::detail::default_value_SortConsType ()

const atermpp::aterm &	mcrl2::core::detail::default_value_DataExpr ()

const atermpp::aterm &	mcrl2::core::detail::default_value_BindingOperator ()

const atermpp::aterm &	mcrl2::core::detail::default_value_WhrDecl ()

const atermpp::aterm &	mcrl2::core::detail::default_value_SortDecl ()

const atermpp::aterm &	mcrl2::core::detail::default_value_ProcExpr ()

const atermpp::aterm &	mcrl2::core::detail::default_value_MultActOrDelta ()

const atermpp::aterm &	mcrl2::core::detail::default_value_ProcInit ()

const atermpp::aterm &	mcrl2::core::detail::default_value_StateFrm ()

const atermpp::aterm &	mcrl2::core::detail::default_value_RegFrm ()

const atermpp::aterm &	mcrl2::core::detail::default_value_ActFrm ()

const atermpp::aterm &	mcrl2::core::detail::default_value_ParamIdOrAction ()

const atermpp::aterm &	mcrl2::core::detail::default_value_ActionRenameRuleRHS ()

const atermpp::aterm &	mcrl2::core::detail::default_value_FixPoint ()

const atermpp::aterm &	mcrl2::core::detail::default_value_PBExpr ()

const atermpp::aterm &	mcrl2::core::detail::default_value_PRExpr ()

Detailed Description

add your file description here.

Definition in file default_values.h.

Classes

Namespaces

Functions

Detailed Description