mCRL2
Loading...
Searching...
No Matches
mcrl2::core::detail Namespace Reference

Classes

struct  default_values
 
struct  dparser_error_message_count
 
struct  find_and_or
 
struct  find_left_merge_merge
 
struct  function_symbols
 
struct  is_and_node
 Checks if a node is the binary operation '&&'. More...
 
struct  is_and_or_node
 Checks if a node is of type 'x && (y || z)'. More...
 
struct  is_binary_operator_node
 Checks if a node is the binary operation op. More...
 
struct  is_left_merge_merge
 Checks if a node is of type 'x ||_ (y || z)'. More...
 
struct  is_left_merge_node
 Checks if a node is the left merge operation '||_'. More...
 
struct  is_merge_node
 Checks if a node is the merge operation '||'. More...
 
struct  is_or_node
 Checks if a node is the binary operation '||'. More...
 
class  singleton_expression
 
struct  singleton_identifier
 

Functions

const atermpp::aterm_intdefault_value_Number ()
 
const atermpp::atermdefault_value_String ()
 
const atermpp::atermdefault_value_StringOrEmpty ()
 
const atermpp::aterm_listdefault_value_List ()
 
atermpp::aterm_list default_value_List (const atermpp::aterm &t)
 
const atermpp::atermdefault_value_SortCons ()
 
const atermpp::atermdefault_value_SortStruct ()
 
const atermpp::atermdefault_value_SortArrow ()
 
const atermpp::atermdefault_value_UntypedSortUnknown ()
 
const atermpp::atermdefault_value_UntypedSortsPossible ()
 
const atermpp::atermdefault_value_UntypedSortVariable ()
 
const atermpp::atermdefault_value_SortId ()
 
const atermpp::atermdefault_value_SortList ()
 
const atermpp::atermdefault_value_SortSet ()
 
const atermpp::atermdefault_value_SortBag ()
 
const atermpp::atermdefault_value_SortFSet ()
 
const atermpp::atermdefault_value_SortFBag ()
 
const atermpp::atermdefault_value_StructCons ()
 
const atermpp::atermdefault_value_StructProj ()
 
const atermpp::atermdefault_value_Binder ()
 
const atermpp::atermdefault_value_Whr ()
 
const atermpp::atermdefault_value_UntypedIdentifier ()
 
const atermpp::atermdefault_value_DataVarId ()
 
const atermpp::atermdefault_value_OpId ()
 
const atermpp::atermdefault_value_UntypedDataParameter ()
 
const atermpp::atermdefault_value_Forall ()
 
const atermpp::atermdefault_value_Exists ()
 
const atermpp::atermdefault_value_SetComp ()
 
const atermpp::atermdefault_value_BagComp ()
 
const atermpp::atermdefault_value_Lambda ()
 
const atermpp::atermdefault_value_UntypedSetBagComp ()
 
const atermpp::atermdefault_value_DataVarIdInit ()
 
const atermpp::atermdefault_value_UntypedIdentifierAssignment ()
 
const atermpp::atermdefault_value_DataSpec ()
 
const atermpp::atermdefault_value_SortSpec ()
 
const atermpp::atermdefault_value_ConsSpec ()
 
const atermpp::atermdefault_value_MapSpec ()
 
const atermpp::atermdefault_value_DataEqnSpec ()
 
const atermpp::atermdefault_value_SortRef ()
 
const atermpp::atermdefault_value_DataEqn ()
 
const atermpp::atermdefault_value_MultAct ()
 
const atermpp::atermdefault_value_TimedMultAct ()
 
const atermpp::atermdefault_value_UntypedMultiAction ()
 
const atermpp::atermdefault_value_Action ()
 
const atermpp::atermdefault_value_ActId ()
 
const atermpp::atermdefault_value_Process ()
 
const atermpp::atermdefault_value_ProcessAssignment ()
 
const atermpp::atermdefault_value_Delta ()
 
const atermpp::atermdefault_value_Tau ()
 
const atermpp::atermdefault_value_Sum ()
 
const atermpp::atermdefault_value_Block ()
 
const atermpp::atermdefault_value_Hide ()
 
const atermpp::atermdefault_value_Rename ()
 
const atermpp::atermdefault_value_Comm ()
 
const atermpp::atermdefault_value_Allow ()
 
const atermpp::atermdefault_value_Sync ()
 
const atermpp::atermdefault_value_AtTime ()
 
const atermpp::atermdefault_value_Seq ()
 
const atermpp::atermdefault_value_IfThen ()
 
const atermpp::atermdefault_value_IfThenElse ()
 
const atermpp::atermdefault_value_BInit ()
 
const atermpp::atermdefault_value_Merge ()
 
const atermpp::atermdefault_value_LMerge ()
 
const atermpp::atermdefault_value_Choice ()
 
const atermpp::atermdefault_value_StochasticOperator ()
 
const atermpp::atermdefault_value_UntypedProcessAssignment ()
 
const atermpp::atermdefault_value_ProcVarId ()
 
const atermpp::atermdefault_value_MultActName ()
 
const atermpp::atermdefault_value_RenameExpr ()
 
const atermpp::atermdefault_value_CommExpr ()
 
const atermpp::atermdefault_value_ProcSpec ()
 
const atermpp::atermdefault_value_ActSpec ()
 
const atermpp::atermdefault_value_GlobVarSpec ()
 
const atermpp::atermdefault_value_ProcEqnSpec ()
 
const atermpp::atermdefault_value_ProcEqn ()
 
const atermpp::atermdefault_value_ProcessInit ()
 
const atermpp::atermdefault_value_Distribution ()
 
const atermpp::atermdefault_value_LinProcSpec ()
 
const atermpp::atermdefault_value_LinearProcess ()
 
const atermpp::atermdefault_value_LinearProcessSummand ()
 
const atermpp::atermdefault_value_LinearProcessInit ()
 
const atermpp::atermdefault_value_StateTrue ()
 
const atermpp::atermdefault_value_StateFalse ()
 
const atermpp::atermdefault_value_StateNot ()
 
const atermpp::atermdefault_value_StateMinus ()
 
const atermpp::atermdefault_value_StateAnd ()
 
const atermpp::atermdefault_value_StateOr ()
 
const atermpp::atermdefault_value_StateImp ()
 
const atermpp::atermdefault_value_StatePlus ()
 
const atermpp::atermdefault_value_StateConstantMultiply ()
 
const atermpp::atermdefault_value_StateConstantMultiplyAlt ()
 
const atermpp::atermdefault_value_StateForall ()
 
const atermpp::atermdefault_value_StateExists ()
 
const atermpp::atermdefault_value_StateInfimum ()
 
const atermpp::atermdefault_value_StateSupremum ()
 
const atermpp::atermdefault_value_StateSum ()
 
const atermpp::atermdefault_value_StateMust ()
 
const atermpp::atermdefault_value_StateMay ()
 
const atermpp::atermdefault_value_StateYaled ()
 
const atermpp::atermdefault_value_StateYaledTimed ()
 
const atermpp::atermdefault_value_StateDelay ()
 
const atermpp::atermdefault_value_StateDelayTimed ()
 
const atermpp::atermdefault_value_StateVar ()
 
const atermpp::atermdefault_value_StateNu ()
 
const atermpp::atermdefault_value_StateMu ()
 
const atermpp::atermdefault_value_RegNil ()
 
const atermpp::atermdefault_value_RegSeq ()
 
const atermpp::atermdefault_value_RegAlt ()
 
const atermpp::atermdefault_value_RegTrans ()
 
const atermpp::atermdefault_value_RegTransOrNil ()
 
const atermpp::atermdefault_value_UntypedRegFrm ()
 
const atermpp::atermdefault_value_ActTrue ()
 
const atermpp::atermdefault_value_ActFalse ()
 
const atermpp::atermdefault_value_ActNot ()
 
const atermpp::atermdefault_value_ActAnd ()
 
const atermpp::atermdefault_value_ActOr ()
 
const atermpp::atermdefault_value_ActImp ()
 
const atermpp::atermdefault_value_ActForall ()
 
const atermpp::atermdefault_value_ActExists ()
 
const atermpp::atermdefault_value_ActAt ()
 
const atermpp::atermdefault_value_ActMultAct ()
 
const atermpp::atermdefault_value_ActionRenameRules ()
 
const atermpp::atermdefault_value_ActionRenameRule ()
 
const atermpp::atermdefault_value_ActionRenameSpec ()
 
const atermpp::atermdefault_value_PBES ()
 
const atermpp::atermdefault_value_PBEqnSpec ()
 
const atermpp::atermdefault_value_PBInit ()
 
const atermpp::atermdefault_value_PBEqn ()
 
const atermpp::atermdefault_value_Mu ()
 
const atermpp::atermdefault_value_Nu ()
 
const atermpp::atermdefault_value_PropVarDecl ()
 
const atermpp::atermdefault_value_PBESTrue ()
 
const atermpp::atermdefault_value_PBESFalse ()
 
const atermpp::atermdefault_value_PBESNot ()
 
const atermpp::atermdefault_value_PBESAnd ()
 
const atermpp::atermdefault_value_PBESOr ()
 
const atermpp::atermdefault_value_PBESImp ()
 
const atermpp::atermdefault_value_PBESForall ()
 
const atermpp::atermdefault_value_PBESExists ()
 
const atermpp::atermdefault_value_PropVarInst ()
 
const atermpp::atermdefault_value_PRES ()
 
const atermpp::atermdefault_value_PREqnSpec ()
 
const atermpp::atermdefault_value_PRInit ()
 
const atermpp::atermdefault_value_PREqn ()
 
const atermpp::atermdefault_value_PRESTrue ()
 
const atermpp::atermdefault_value_PRESFalse ()
 
const atermpp::atermdefault_value_PRESMinus ()
 
const atermpp::atermdefault_value_PRESAnd ()
 
const atermpp::atermdefault_value_PRESOr ()
 
const atermpp::atermdefault_value_PRESImp ()
 
const atermpp::atermdefault_value_PRESPlus ()
 
const atermpp::atermdefault_value_PRESConstantMultiply ()
 
const atermpp::atermdefault_value_PRESConstantMultiplyAlt ()
 
const atermpp::atermdefault_value_PRESInfimum ()
 
const atermpp::atermdefault_value_PRESSupremum ()
 
const atermpp::atermdefault_value_PRESSum ()
 
const atermpp::atermdefault_value_PRESEqInf ()
 
const atermpp::atermdefault_value_PRESEqNInf ()
 
const atermpp::atermdefault_value_PRESCondSm ()
 
const atermpp::atermdefault_value_PRESCondEq ()
 
const atermpp::atermdefault_value_SortExpr ()
 
const atermpp::atermdefault_value_SortConsType ()
 
const atermpp::atermdefault_value_DataExpr ()
 
const atermpp::atermdefault_value_BindingOperator ()
 
const atermpp::atermdefault_value_WhrDecl ()
 
const atermpp::atermdefault_value_SortDecl ()
 
const atermpp::atermdefault_value_ProcExpr ()
 
const atermpp::atermdefault_value_MultActOrDelta ()
 
const atermpp::atermdefault_value_ProcInit ()
 
const atermpp::atermdefault_value_StateFrm ()
 
const atermpp::atermdefault_value_RegFrm ()
 
const atermpp::atermdefault_value_ActFrm ()
 
const atermpp::atermdefault_value_ParamIdOrAction ()
 
const atermpp::atermdefault_value_ActionRenameRuleRHS ()
 
const atermpp::atermdefault_value_FixPoint ()
 
const atermpp::atermdefault_value_PBExpr ()
 
const atermpp::atermdefault_value_PRExpr ()
 
struct D_ParseNode * ambiguity_fn (struct D_Parser *, int, struct D_ParseNode **)
 Function for resolving ambiguities in the '_ -> _ <> _' operator for process expressions.
 
void syntax_error_fn (struct D_Parser *ap)
 Custom syntax error function that prints both the line number and the column.
 
const atermpp::function_symbolfunction_symbol_DataAppl_helper (std::size_t i)
 
const atermpp::function_symbolfunction_symbol_DataAppl (std::size_t i)
 
bool gsIsDataAppl (const atermpp::aterm &Term)
 
bool gsIsDataAppl_no_check (const atermpp::aterm &Term)
 
const atermpp::function_symbolfunction_symbol_DataVarIdNoIndex ()
 
const atermpp::function_symbolfunction_symbol_OpIdNoIndex ()
 
const atermpp::function_symbolfunction_symbol_ProcVarIdNoIndex ()
 
const atermpp::function_symbolfunction_symbol_BooleanVariableNoIndex ()
 
const atermpp::function_symbolfunction_symbol_PropVarInstNoIndex ()
 
const atermpp::function_symbolfunction_symbol_ActAnd ()
 
const atermpp::function_symbolfunction_symbol_ActAt ()
 
const atermpp::function_symbolfunction_symbol_ActExists ()
 
const atermpp::function_symbolfunction_symbol_ActFalse ()
 
const atermpp::function_symbolfunction_symbol_ActForall ()
 
const atermpp::function_symbolfunction_symbol_ActId ()
 
const atermpp::function_symbolfunction_symbol_ActImp ()
 
const atermpp::function_symbolfunction_symbol_ActMultAct ()
 
const atermpp::function_symbolfunction_symbol_ActNot ()
 
const atermpp::function_symbolfunction_symbol_ActOr ()
 
const atermpp::function_symbolfunction_symbol_ActSpec ()
 
const atermpp::function_symbolfunction_symbol_ActTrue ()
 
const atermpp::function_symbolfunction_symbol_Action ()
 
const atermpp::function_symbolfunction_symbol_ActionRenameRule ()
 
const atermpp::function_symbolfunction_symbol_ActionRenameRules ()
 
const atermpp::function_symbolfunction_symbol_ActionRenameSpec ()
 
const atermpp::function_symbolfunction_symbol_Allow ()
 
const atermpp::function_symbolfunction_symbol_AtTime ()
 
const atermpp::function_symbolfunction_symbol_BInit ()
 
const atermpp::function_symbolfunction_symbol_BagComp ()
 
const atermpp::function_symbolfunction_symbol_Binder ()
 
const atermpp::function_symbolfunction_symbol_Block ()
 
const atermpp::function_symbolfunction_symbol_Choice ()
 
const atermpp::function_symbolfunction_symbol_Comm ()
 
const atermpp::function_symbolfunction_symbol_CommExpr ()
 
const atermpp::function_symbolfunction_symbol_ConsSpec ()
 
const atermpp::function_symbolfunction_symbol_DataEqn ()
 
const atermpp::function_symbolfunction_symbol_DataEqnSpec ()
 
const atermpp::function_symbolfunction_symbol_DataSpec ()
 
const atermpp::function_symbolfunction_symbol_DataVarId ()
 
const atermpp::function_symbolfunction_symbol_DataVarIdInit ()
 
const atermpp::function_symbolfunction_symbol_Delta ()
 
const atermpp::function_symbolfunction_symbol_Distribution ()
 
const atermpp::function_symbolfunction_symbol_Exists ()
 
const atermpp::function_symbolfunction_symbol_Forall ()
 
const atermpp::function_symbolfunction_symbol_GlobVarSpec ()
 
const atermpp::function_symbolfunction_symbol_Hide ()
 
const atermpp::function_symbolfunction_symbol_IfThen ()
 
const atermpp::function_symbolfunction_symbol_IfThenElse ()
 
const atermpp::function_symbolfunction_symbol_LMerge ()
 
const atermpp::function_symbolfunction_symbol_Lambda ()
 
const atermpp::function_symbolfunction_symbol_LinProcSpec ()
 
const atermpp::function_symbolfunction_symbol_LinearProcess ()
 
const atermpp::function_symbolfunction_symbol_LinearProcessInit ()
 
const atermpp::function_symbolfunction_symbol_LinearProcessSummand ()
 
const atermpp::function_symbolfunction_symbol_MapSpec ()
 
const atermpp::function_symbolfunction_symbol_Merge ()
 
const atermpp::function_symbolfunction_symbol_Mu ()
 
const atermpp::function_symbolfunction_symbol_MultAct ()
 
const atermpp::function_symbolfunction_symbol_MultActName ()
 
const atermpp::function_symbolfunction_symbol_Nu ()
 
const atermpp::function_symbolfunction_symbol_OpId ()
 
const atermpp::function_symbolfunction_symbol_PBES ()
 
const atermpp::function_symbolfunction_symbol_PBESAnd ()
 
const atermpp::function_symbolfunction_symbol_PBESExists ()
 
const atermpp::function_symbolfunction_symbol_PBESFalse ()
 
const atermpp::function_symbolfunction_symbol_PBESForall ()
 
const atermpp::function_symbolfunction_symbol_PBESImp ()
 
const atermpp::function_symbolfunction_symbol_PBESNot ()
 
const atermpp::function_symbolfunction_symbol_PBESOr ()
 
const atermpp::function_symbolfunction_symbol_PBESTrue ()
 
const atermpp::function_symbolfunction_symbol_PBEqn ()
 
const atermpp::function_symbolfunction_symbol_PBEqnSpec ()
 
const atermpp::function_symbolfunction_symbol_PBInit ()
 
const atermpp::function_symbolfunction_symbol_PRES ()
 
const atermpp::function_symbolfunction_symbol_PRESAnd ()
 
const atermpp::function_symbolfunction_symbol_PRESCondEq ()
 
const atermpp::function_symbolfunction_symbol_PRESCondSm ()
 
const atermpp::function_symbolfunction_symbol_PRESConstantMultiply ()
 
const atermpp::function_symbolfunction_symbol_PRESConstantMultiplyAlt ()
 
const atermpp::function_symbolfunction_symbol_PRESEqInf ()
 
const atermpp::function_symbolfunction_symbol_PRESEqNInf ()
 
const atermpp::function_symbolfunction_symbol_PRESFalse ()
 
const atermpp::function_symbolfunction_symbol_PRESImp ()
 
const atermpp::function_symbolfunction_symbol_PRESInfimum ()
 
const atermpp::function_symbolfunction_symbol_PRESMinus ()
 
const atermpp::function_symbolfunction_symbol_PRESOr ()
 
const atermpp::function_symbolfunction_symbol_PRESPlus ()
 
const atermpp::function_symbolfunction_symbol_PRESSum ()
 
const atermpp::function_symbolfunction_symbol_PRESSupremum ()
 
const atermpp::function_symbolfunction_symbol_PRESTrue ()
 
const atermpp::function_symbolfunction_symbol_PREqn ()
 
const atermpp::function_symbolfunction_symbol_PREqnSpec ()
 
const atermpp::function_symbolfunction_symbol_PRInit ()
 
const atermpp::function_symbolfunction_symbol_ProcEqn ()
 
const atermpp::function_symbolfunction_symbol_ProcEqnSpec ()
 
const atermpp::function_symbolfunction_symbol_ProcSpec ()
 
const atermpp::function_symbolfunction_symbol_ProcVarId ()
 
const atermpp::function_symbolfunction_symbol_Process ()
 
const atermpp::function_symbolfunction_symbol_ProcessAssignment ()
 
const atermpp::function_symbolfunction_symbol_ProcessInit ()
 
const atermpp::function_symbolfunction_symbol_PropVarDecl ()
 
const atermpp::function_symbolfunction_symbol_PropVarInst ()
 
const atermpp::function_symbolfunction_symbol_RegAlt ()
 
const atermpp::function_symbolfunction_symbol_RegNil ()
 
const atermpp::function_symbolfunction_symbol_RegSeq ()
 
const atermpp::function_symbolfunction_symbol_RegTrans ()
 
const atermpp::function_symbolfunction_symbol_RegTransOrNil ()
 
const atermpp::function_symbolfunction_symbol_Rename ()
 
const atermpp::function_symbolfunction_symbol_RenameExpr ()
 
const atermpp::function_symbolfunction_symbol_Seq ()
 
const atermpp::function_symbolfunction_symbol_SetComp ()
 
const atermpp::function_symbolfunction_symbol_SortArrow ()
 
const atermpp::function_symbolfunction_symbol_SortBag ()
 
const atermpp::function_symbolfunction_symbol_SortCons ()
 
const atermpp::function_symbolfunction_symbol_SortFBag ()
 
const atermpp::function_symbolfunction_symbol_SortFSet ()
 
const atermpp::function_symbolfunction_symbol_SortId ()
 
const atermpp::function_symbolfunction_symbol_SortList ()
 
const atermpp::function_symbolfunction_symbol_SortRef ()
 
const atermpp::function_symbolfunction_symbol_SortSet ()
 
const atermpp::function_symbolfunction_symbol_SortSpec ()
 
const atermpp::function_symbolfunction_symbol_SortStruct ()
 
const atermpp::function_symbolfunction_symbol_StateAnd ()
 
const atermpp::function_symbolfunction_symbol_StateConstantMultiply ()
 
const atermpp::function_symbolfunction_symbol_StateConstantMultiplyAlt ()
 
const atermpp::function_symbolfunction_symbol_StateDelay ()
 
const atermpp::function_symbolfunction_symbol_StateDelayTimed ()
 
const atermpp::function_symbolfunction_symbol_StateExists ()
 
const atermpp::function_symbolfunction_symbol_StateFalse ()
 
const atermpp::function_symbolfunction_symbol_StateForall ()
 
const atermpp::function_symbolfunction_symbol_StateImp ()
 
const atermpp::function_symbolfunction_symbol_StateInfimum ()
 
const atermpp::function_symbolfunction_symbol_StateMay ()
 
const atermpp::function_symbolfunction_symbol_StateMinus ()
 
const atermpp::function_symbolfunction_symbol_StateMu ()
 
const atermpp::function_symbolfunction_symbol_StateMust ()
 
const atermpp::function_symbolfunction_symbol_StateNot ()
 
const atermpp::function_symbolfunction_symbol_StateNu ()
 
const atermpp::function_symbolfunction_symbol_StateOr ()
 
const atermpp::function_symbolfunction_symbol_StatePlus ()
 
const atermpp::function_symbolfunction_symbol_StateSum ()
 
const atermpp::function_symbolfunction_symbol_StateSupremum ()
 
const atermpp::function_symbolfunction_symbol_StateTrue ()
 
const atermpp::function_symbolfunction_symbol_StateVar ()
 
const atermpp::function_symbolfunction_symbol_StateYaled ()
 
const atermpp::function_symbolfunction_symbol_StateYaledTimed ()
 
const atermpp::function_symbolfunction_symbol_StochasticOperator ()
 
const atermpp::function_symbolfunction_symbol_StructCons ()
 
const atermpp::function_symbolfunction_symbol_StructProj ()
 
const atermpp::function_symbolfunction_symbol_Sum ()
 
const atermpp::function_symbolfunction_symbol_Sync ()
 
const atermpp::function_symbolfunction_symbol_Tau ()
 
const atermpp::function_symbolfunction_symbol_TimedMultAct ()
 
const atermpp::function_symbolfunction_symbol_UntypedDataParameter ()
 
const atermpp::function_symbolfunction_symbol_UntypedIdentifier ()
 
const atermpp::function_symbolfunction_symbol_UntypedIdentifierAssignment ()
 
const atermpp::function_symbolfunction_symbol_UntypedMultiAction ()
 
const atermpp::function_symbolfunction_symbol_UntypedProcessAssignment ()
 
const atermpp::function_symbolfunction_symbol_UntypedRegFrm ()
 
const atermpp::function_symbolfunction_symbol_UntypedSetBagComp ()
 
const atermpp::function_symbolfunction_symbol_UntypedSortUnknown ()
 
const atermpp::function_symbolfunction_symbol_UntypedSortVariable ()
 
const atermpp::function_symbolfunction_symbol_UntypedSortsPossible ()
 
const atermpp::function_symbolfunction_symbol_Whr ()
 
template<typename Container >
std::string print_container (const Container &v, const std::string &begin_marker="(", const std::string &end_marker=")", const std::string &message="", bool print_index=false, bool boundary_spaces=true)
 Creates a string representation of a container using the pp pretty print function.
 
template<typename Container >
std::string print_list (const Container &v, const std::string &message="", bool print_index=false, bool boundary_spaces=true)
 Creates a string representation of a container.
 
template<typename Container >
std::string print_set (const Container &v, const std::string &message="", bool print_index=false, bool boundary_spaces=true)
 Creates a string representation of a container.
 
template<typename MapContainer >
std::string print_map (const MapContainer &v, const std::string &message="")
 Creates a string representation of a map.
 
template<typename Container >
std::string print_arguments (const Container &v)
 Prints a comma separated list of the elements of v. If v is empty, the empty string is returned.
 
template<typename Term , typename CheckFunction >
bool check_term_argument (const Term &t, CheckFunction f)
 
template<typename Term , typename CheckFunction >
bool check_list_argument (const Term &t, CheckFunction f, unsigned int minimum_size)
 
template<typename Term >
bool check_rule_String (const Term &t)
 
template<typename Term >
bool check_rule_StringOrEmpty (const Term &t)
 
template<typename Term >
bool check_rule_Number (const Term &t)
 
template<typename Term >
bool check_rule_DataExpr (const Term &t)
 
template<typename Term >
bool check_term_DataAppl (const Term &t)
 
template<typename Term >
bool check_rule_SortExpr (const Term &t)
 
template<typename Term >
bool check_rule_SortId (const Term &t)
 
template<typename Term >
bool check_rule_SortConsType (const Term &t)
 
template<typename Term >
bool check_rule_StructCons (const Term &t)
 
template<typename Term >
bool check_rule_StructProj (const Term &t)
 
template<typename Term >
bool check_rule_DataVarId (const Term &t)
 
template<typename Term >
bool check_rule_OpId (const Term &t)
 
template<typename Term >
bool check_rule_UntypedDataParameter (const Term &t)
 
template<typename Term >
bool check_rule_BindingOperator (const Term &t)
 
template<typename Term >
bool check_rule_WhrDecl (const Term &t)
 
template<typename Term >
bool check_rule_DataVarIdInit (const Term &t)
 
template<typename Term >
bool check_rule_UntypedIdentifierAssignment (const Term &t)
 
template<typename Term >
bool check_rule_DataSpec (const Term &t)
 
template<typename Term >
bool check_rule_SortSpec (const Term &t)
 
template<typename Term >
bool check_rule_ConsSpec (const Term &t)
 
template<typename Term >
bool check_rule_MapSpec (const Term &t)
 
template<typename Term >
bool check_rule_DataEqnSpec (const Term &t)
 
template<typename Term >
bool check_rule_SortDecl (const Term &t)
 
template<typename Term >
bool check_rule_DataEqn (const Term &t)
 
template<typename Term >
bool check_rule_MultAct (const Term &t)
 
template<typename Term >
bool check_rule_TimedMultAct (const Term &t)
 
template<typename Term >
bool check_rule_UntypedMultiAction (const Term &t)
 
template<typename Term >
bool check_rule_Action (const Term &t)
 
template<typename Term >
bool check_rule_ActId (const Term &t)
 
template<typename Term >
bool check_rule_ProcExpr (const Term &t)
 
template<typename Term >
bool check_rule_ProcVarId (const Term &t)
 
template<typename Term >
bool check_rule_MultActName (const Term &t)
 
template<typename Term >
bool check_rule_RenameExpr (const Term &t)
 
template<typename Term >
bool check_rule_CommExpr (const Term &t)
 
template<typename Term >
bool check_rule_ProcSpec (const Term &t)
 
template<typename Term >
bool check_rule_ActSpec (const Term &t)
 
template<typename Term >
bool check_rule_GlobVarSpec (const Term &t)
 
template<typename Term >
bool check_rule_ProcEqnSpec (const Term &t)
 
template<typename Term >
bool check_rule_ProcEqn (const Term &t)
 
template<typename Term >
bool check_rule_MultActOrDelta (const Term &t)
 
template<typename Term >
bool check_rule_ProcInit (const Term &t)
 
template<typename Term >
bool check_rule_Distribution (const Term &t)
 
template<typename Term >
bool check_rule_LinProcSpec (const Term &t)
 
template<typename Term >
bool check_rule_LinearProcess (const Term &t)
 
template<typename Term >
bool check_rule_LinearProcessSummand (const Term &t)
 
template<typename Term >
bool check_rule_LinearProcessInit (const Term &t)
 
template<typename Term >
bool check_rule_StateFrm (const Term &t)
 
template<typename Term >
bool check_rule_RegFrm (const Term &t)
 
template<typename Term >
bool check_rule_ActFrm (const Term &t)
 
template<typename Term >
bool check_rule_ParamIdOrAction (const Term &t)
 
template<typename Term >
bool check_rule_ActionRenameRules (const Term &t)
 
template<typename Term >
bool check_rule_ActionRenameRule (const Term &t)
 
template<typename Term >
bool check_rule_ActionRenameRuleRHS (const Term &t)
 
template<typename Term >
bool check_rule_ActionRenameSpec (const Term &t)
 
template<typename Term >
bool check_rule_PBES (const Term &t)
 
template<typename Term >
bool check_rule_PBEqnSpec (const Term &t)
 
template<typename Term >
bool check_rule_PBInit (const Term &t)
 
template<typename Term >
bool check_rule_PBEqn (const Term &t)
 
template<typename Term >
bool check_rule_FixPoint (const Term &t)
 
template<typename Term >
bool check_rule_PropVarDecl (const Term &t)
 
template<typename Term >
bool check_rule_PBExpr (const Term &t)
 
template<typename Term >
bool check_rule_PropVarInst (const Term &t)
 
template<typename Term >
bool check_rule_PRES (const Term &t)
 
template<typename Term >
bool check_rule_PREqnSpec (const Term &t)
 
template<typename Term >
bool check_rule_PRInit (const Term &t)
 
template<typename Term >
bool check_rule_PREqn (const Term &t)
 
template<typename Term >
bool check_rule_PRExpr (const Term &t)
 
template<typename Term >
bool check_term_SortCons (const Term &t)
 
template<typename Term >
bool check_term_SortStruct (const Term &t)
 
template<typename Term >
bool check_term_SortArrow (const Term &t)
 
template<typename Term >
bool check_term_UntypedSortUnknown (const Term &t)
 
template<typename Term >
bool check_term_UntypedSortsPossible (const Term &t)
 
template<typename Term >
bool check_term_UntypedSortVariable (const Term &t)
 
template<typename Term >
bool check_term_SortId (const Term &t)
 
template<typename Term >
bool check_term_SortList (const Term &t)
 
template<typename Term >
bool check_term_SortSet (const Term &t)
 
template<typename Term >
bool check_term_SortBag (const Term &t)
 
template<typename Term >
bool check_term_SortFSet (const Term &t)
 
template<typename Term >
bool check_term_SortFBag (const Term &t)
 
template<typename Term >
bool check_term_StructCons (const Term &t)
 
template<typename Term >
bool check_term_StructProj (const Term &t)
 
template<typename Term >
bool check_term_Binder (const Term &t)
 
template<typename Term >
bool check_term_Whr (const Term &t)
 
template<typename Term >
bool check_term_UntypedIdentifier (const Term &t)
 
template<typename Term >
bool check_term_DataVarId (const Term &t)
 
template<typename Term >
bool check_term_OpId (const Term &t)
 
template<typename Term >
bool check_term_UntypedDataParameter (const Term &t)
 
template<typename Term >
bool check_term_Forall (const Term &t)
 
template<typename Term >
bool check_term_Exists (const Term &t)
 
template<typename Term >
bool check_term_SetComp (const Term &t)
 
template<typename Term >
bool check_term_BagComp (const Term &t)
 
template<typename Term >
bool check_term_Lambda (const Term &t)
 
template<typename Term >
bool check_term_UntypedSetBagComp (const Term &t)
 
template<typename Term >
bool check_term_DataVarIdInit (const Term &t)
 
template<typename Term >
bool check_term_UntypedIdentifierAssignment (const Term &t)
 
template<typename Term >
bool check_term_DataSpec (const Term &t)
 
template<typename Term >
bool check_term_SortSpec (const Term &t)
 
template<typename Term >
bool check_term_ConsSpec (const Term &t)
 
template<typename Term >
bool check_term_MapSpec (const Term &t)
 
template<typename Term >
bool check_term_DataEqnSpec (const Term &t)
 
template<typename Term >
bool check_term_SortRef (const Term &t)
 
template<typename Term >
bool check_term_DataEqn (const Term &t)
 
template<typename Term >
bool check_term_MultAct (const Term &t)
 
template<typename Term >
bool check_term_TimedMultAct (const Term &t)
 
template<typename Term >
bool check_term_UntypedMultiAction (const Term &t)
 
template<typename Term >
bool check_term_Action (const Term &t)
 
template<typename Term >
bool check_term_ActId (const Term &t)
 
template<typename Term >
bool check_term_Process (const Term &t)
 
template<typename Term >
bool check_term_ProcessAssignment (const Term &t)
 
template<typename Term >
bool check_term_Delta (const Term &t)
 
template<typename Term >
bool check_term_Tau (const Term &t)
 
template<typename Term >
bool check_term_Sum (const Term &t)
 
template<typename Term >
bool check_term_Block (const Term &t)
 
template<typename Term >
bool check_term_Hide (const Term &t)
 
template<typename Term >
bool check_term_Rename (const Term &t)
 
template<typename Term >
bool check_term_Comm (const Term &t)
 
template<typename Term >
bool check_term_Allow (const Term &t)
 
template<typename Term >
bool check_term_Sync (const Term &t)
 
template<typename Term >
bool check_term_AtTime (const Term &t)
 
template<typename Term >
bool check_term_Seq (const Term &t)
 
template<typename Term >
bool check_term_IfThen (const Term &t)
 
template<typename Term >
bool check_term_IfThenElse (const Term &t)
 
template<typename Term >
bool check_term_BInit (const Term &t)
 
template<typename Term >
bool check_term_Merge (const Term &t)
 
template<typename Term >
bool check_term_LMerge (const Term &t)
 
template<typename Term >
bool check_term_Choice (const Term &t)
 
template<typename Term >
bool check_term_StochasticOperator (const Term &t)
 
template<typename Term >
bool check_term_UntypedProcessAssignment (const Term &t)
 
template<typename Term >
bool check_term_ProcVarId (const Term &t)
 
template<typename Term >
bool check_term_MultActName (const Term &t)
 
template<typename Term >
bool check_term_RenameExpr (const Term &t)
 
template<typename Term >
bool check_term_CommExpr (const Term &t)
 
template<typename Term >
bool check_term_ProcSpec (const Term &t)
 
template<typename Term >
bool check_term_ActSpec (const Term &t)
 
template<typename Term >
bool check_term_GlobVarSpec (const Term &t)
 
template<typename Term >
bool check_term_ProcEqnSpec (const Term &t)
 
template<typename Term >
bool check_term_ProcEqn (const Term &t)
 
template<typename Term >
bool check_term_ProcessInit (const Term &t)
 
template<typename Term >
bool check_term_Distribution (const Term &t)
 
template<typename Term >
bool check_term_LinProcSpec (const Term &t)
 
template<typename Term >
bool check_term_LinearProcess (const Term &t)
 
template<typename Term >
bool check_term_LinearProcessSummand (const Term &t)
 
template<typename Term >
bool check_term_LinearProcessInit (const Term &t)
 
template<typename Term >
bool check_term_StateTrue (const Term &t)
 
template<typename Term >
bool check_term_StateFalse (const Term &t)
 
template<typename Term >
bool check_term_StateNot (const Term &t)
 
template<typename Term >
bool check_term_StateMinus (const Term &t)
 
template<typename Term >
bool check_term_StateAnd (const Term &t)
 
template<typename Term >
bool check_term_StateOr (const Term &t)
 
template<typename Term >
bool check_term_StateImp (const Term &t)
 
template<typename Term >
bool check_term_StatePlus (const Term &t)
 
template<typename Term >
bool check_term_StateConstantMultiply (const Term &t)
 
template<typename Term >
bool check_term_StateConstantMultiplyAlt (const Term &t)
 
template<typename Term >
bool check_term_StateForall (const Term &t)
 
template<typename Term >
bool check_term_StateExists (const Term &t)
 
template<typename Term >
bool check_term_StateInfimum (const Term &t)
 
template<typename Term >
bool check_term_StateSupremum (const Term &t)
 
template<typename Term >
bool check_term_StateSum (const Term &t)
 
template<typename Term >
bool check_term_StateMust (const Term &t)
 
template<typename Term >
bool check_term_StateMay (const Term &t)
 
template<typename Term >
bool check_term_StateYaled (const Term &t)
 
template<typename Term >
bool check_term_StateYaledTimed (const Term &t)
 
template<typename Term >
bool check_term_StateDelay (const Term &t)
 
template<typename Term >
bool check_term_StateDelayTimed (const Term &t)
 
template<typename Term >
bool check_term_StateVar (const Term &t)
 
template<typename Term >
bool check_term_StateNu (const Term &t)
 
template<typename Term >
bool check_term_StateMu (const Term &t)
 
template<typename Term >
bool check_term_RegNil (const Term &t)
 
template<typename Term >
bool check_term_RegSeq (const Term &t)
 
template<typename Term >
bool check_term_RegAlt (const Term &t)
 
template<typename Term >
bool check_term_RegTrans (const Term &t)
 
template<typename Term >
bool check_term_RegTransOrNil (const Term &t)
 
template<typename Term >
bool check_term_UntypedRegFrm (const Term &t)
 
template<typename Term >
bool check_term_ActTrue (const Term &t)
 
template<typename Term >
bool check_term_ActFalse (const Term &t)
 
template<typename Term >
bool check_term_ActNot (const Term &t)
 
template<typename Term >
bool check_term_ActAnd (const Term &t)
 
template<typename Term >
bool check_term_ActOr (const Term &t)
 
template<typename Term >
bool check_term_ActImp (const Term &t)
 
template<typename Term >
bool check_term_ActForall (const Term &t)
 
template<typename Term >
bool check_term_ActExists (const Term &t)
 
template<typename Term >
bool check_term_ActAt (const Term &t)
 
template<typename Term >
bool check_term_ActMultAct (const Term &t)
 
template<typename Term >
bool check_term_ActionRenameRules (const Term &t)
 
template<typename Term >
bool check_term_ActionRenameRule (const Term &t)
 
template<typename Term >
bool check_term_ActionRenameSpec (const Term &t)
 
template<typename Term >
bool check_term_PBES (const Term &t)
 
template<typename Term >
bool check_term_PBEqnSpec (const Term &t)
 
template<typename Term >
bool check_term_PBInit (const Term &t)
 
template<typename Term >
bool check_term_PBEqn (const Term &t)
 
template<typename Term >
bool check_term_Mu (const Term &t)
 
template<typename Term >
bool check_term_Nu (const Term &t)
 
template<typename Term >
bool check_term_PropVarDecl (const Term &t)
 
template<typename Term >
bool check_term_PBESTrue (const Term &t)
 
template<typename Term >
bool check_term_PBESFalse (const Term &t)
 
template<typename Term >
bool check_term_PBESNot (const Term &t)
 
template<typename Term >
bool check_term_PBESAnd (const Term &t)
 
template<typename Term >
bool check_term_PBESOr (const Term &t)
 
template<typename Term >
bool check_term_PBESImp (const Term &t)
 
template<typename Term >
bool check_term_PBESForall (const Term &t)
 
template<typename Term >
bool check_term_PBESExists (const Term &t)
 
template<typename Term >
bool check_term_PropVarInst (const Term &t)
 
template<typename Term >
bool check_term_PRES (const Term &t)
 
template<typename Term >
bool check_term_PREqnSpec (const Term &t)
 
template<typename Term >
bool check_term_PRInit (const Term &t)
 
template<typename Term >
bool check_term_PREqn (const Term &t)
 
template<typename Term >
bool check_term_PRESTrue (const Term &t)
 
template<typename Term >
bool check_term_PRESFalse (const Term &t)
 
template<typename Term >
bool check_term_PRESMinus (const Term &t)
 
template<typename Term >
bool check_term_PRESAnd (const Term &t)
 
template<typename Term >
bool check_term_PRESOr (const Term &t)
 
template<typename Term >
bool check_term_PRESImp (const Term &t)
 
template<typename Term >
bool check_term_PRESPlus (const Term &t)
 
template<typename Term >
bool check_term_PRESConstantMultiply (const Term &t)
 
template<typename Term >
bool check_term_PRESConstantMultiplyAlt (const Term &t)
 
template<typename Term >
bool check_term_PRESInfimum (const Term &t)
 
template<typename Term >
bool check_term_PRESSupremum (const Term &t)
 
template<typename Term >
bool check_term_PRESSum (const Term &t)
 
template<typename Term >
bool check_term_PRESEqInf (const Term &t)
 
template<typename Term >
bool check_term_PRESEqNInf (const Term &t)
 
template<typename Term >
bool check_term_PRESCondSm (const Term &t)
 
template<typename Term >
bool check_term_PRESCondEq (const Term &t)
 
std::string add_context (const d_loc_t *loc, const std::string &message)
 
void reset_dparser_error_message_count ()
 
void increment_dparser_error_message_count ()
 
std::size_t get_dparser_error_message_count ()
 
std::size_t get_dparser_max_error_message_count ()
 
void set_dparser_max_error_message_count (std::size_t n)
 
std::string file_source (const std::string &filename)
 
template<typename Function >
void foreach_parse_node (const parse_node &x, Function f)
 Calls the function f on each node in the parse tree with x as root.
 
bool is_all_of_type (D_ParseNode *nodes[], int n, const char *type, const core::parser_table &table)
 
void print_ambiguous_nodes (D_ParseNode *nodes[], int n, const char *type, const core::parser_table &table)
 
void print_chosen_node (D_ParseNode *node, const core::parser_table &table)
 
static void log_location (struct D_Parser *ap)
 

Variables

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

Function Documentation

◆ add_context()

std::string mcrl2::core::detail::add_context ( const d_loc_t *  loc,
const std::string &  message 
)

Definition at line 277 of file dparser.cpp.

◆ ambiguity_fn()

D_ParseNode * mcrl2::core::detail::ambiguity_fn ( struct D_Parser *  ,
int  n,
struct D_ParseNode **  v 
)

Function for resolving ambiguities in the '_ -> _ <> _' operator for process expressions.

Function for resolving parser ambiguities.

Definition at line 332 of file dparser.cpp.

◆ check_list_argument()

template<typename Term , typename CheckFunction >
bool mcrl2::core::detail::check_list_argument ( const Term &  t,
CheckFunction  f,
unsigned int  minimum_size 
)

Definition at line 43 of file soundness_checks.h.

◆ check_rule_ActFrm()

template<typename Term >
bool mcrl2::core::detail::check_rule_ActFrm ( const Term &  t)

Definition at line 920 of file soundness_checks.h.

◆ check_rule_ActId()

template<typename Term >
bool mcrl2::core::detail::check_rule_ActId ( const Term &  t)

Definition at line 646 of file soundness_checks.h.

◆ check_rule_Action()

template<typename Term >
bool mcrl2::core::detail::check_rule_Action ( const Term &  t)

Definition at line 635 of file soundness_checks.h.

◆ check_rule_ActionRenameRule()

template<typename Term >
bool mcrl2::core::detail::check_rule_ActionRenameRule ( const Term &  t)

Definition at line 966 of file soundness_checks.h.

◆ check_rule_ActionRenameRuleRHS()

template<typename Term >
bool mcrl2::core::detail::check_rule_ActionRenameRuleRHS ( const Term &  t)

Definition at line 977 of file soundness_checks.h.

◆ check_rule_ActionRenameRules()

template<typename Term >
bool mcrl2::core::detail::check_rule_ActionRenameRules ( const Term &  t)

Definition at line 955 of file soundness_checks.h.

◆ check_rule_ActionRenameSpec()

template<typename Term >
bool mcrl2::core::detail::check_rule_ActionRenameSpec ( const Term &  t)

Definition at line 991 of file soundness_checks.h.

◆ check_rule_ActSpec()

template<typename Term >
bool mcrl2::core::detail::check_rule_ActSpec ( const Term &  t)

Definition at line 745 of file soundness_checks.h.

◆ check_rule_BindingOperator()

template<typename Term >
bool mcrl2::core::detail::check_rule_BindingOperator ( const Term &  t)

Definition at line 474 of file soundness_checks.h.

◆ check_rule_CommExpr()

template<typename Term >
bool mcrl2::core::detail::check_rule_CommExpr ( const Term &  t)

Definition at line 723 of file soundness_checks.h.

◆ check_rule_ConsSpec()

template<typename Term >
bool mcrl2::core::detail::check_rule_ConsSpec ( const Term &  t)

Definition at line 546 of file soundness_checks.h.

◆ check_rule_DataEqn()

template<typename Term >
bool mcrl2::core::detail::check_rule_DataEqn ( const Term &  t)

Definition at line 591 of file soundness_checks.h.

◆ check_rule_DataEqnSpec()

template<typename Term >
bool mcrl2::core::detail::check_rule_DataEqnSpec ( const Term &  t)

Definition at line 568 of file soundness_checks.h.

◆ check_rule_DataExpr()

template<typename Term >
bool mcrl2::core::detail::check_rule_DataExpr ( const Term &  t)

Definition at line 425 of file soundness_checks.h.

◆ check_rule_DataSpec()

template<typename Term >
bool mcrl2::core::detail::check_rule_DataSpec ( const Term &  t)

Definition at line 524 of file soundness_checks.h.

◆ check_rule_DataVarId()

template<typename Term >
bool mcrl2::core::detail::check_rule_DataVarId ( const Term &  t)

Definition at line 441 of file soundness_checks.h.

◆ check_rule_DataVarIdInit()

template<typename Term >
bool mcrl2::core::detail::check_rule_DataVarIdInit ( const Term &  t)

Definition at line 502 of file soundness_checks.h.

◆ check_rule_Distribution()

template<typename Term >
bool mcrl2::core::detail::check_rule_Distribution ( const Term &  t)

Definition at line 812 of file soundness_checks.h.

◆ check_rule_FixPoint()

template<typename Term >
bool mcrl2::core::detail::check_rule_FixPoint ( const Term &  t)

Definition at line 1046 of file soundness_checks.h.

◆ check_rule_GlobVarSpec()

template<typename Term >
bool mcrl2::core::detail::check_rule_GlobVarSpec ( const Term &  t)

Definition at line 756 of file soundness_checks.h.

◆ check_rule_LinearProcess()

template<typename Term >
bool mcrl2::core::detail::check_rule_LinearProcess ( const Term &  t)

Definition at line 834 of file soundness_checks.h.

◆ check_rule_LinearProcessInit()

template<typename Term >
bool mcrl2::core::detail::check_rule_LinearProcessInit ( const Term &  t)

Definition at line 856 of file soundness_checks.h.

◆ check_rule_LinearProcessSummand()

template<typename Term >
bool mcrl2::core::detail::check_rule_LinearProcessSummand ( const Term &  t)

Definition at line 845 of file soundness_checks.h.

◆ check_rule_LinProcSpec()

template<typename Term >
bool mcrl2::core::detail::check_rule_LinProcSpec ( const Term &  t)

Definition at line 823 of file soundness_checks.h.

◆ check_rule_MapSpec()

template<typename Term >
bool mcrl2::core::detail::check_rule_MapSpec ( const Term &  t)

Definition at line 557 of file soundness_checks.h.

◆ check_rule_MultAct()

template<typename Term >
bool mcrl2::core::detail::check_rule_MultAct ( const Term &  t)

Definition at line 602 of file soundness_checks.h.

◆ check_rule_MultActName()

template<typename Term >
bool mcrl2::core::detail::check_rule_MultActName ( const Term &  t)

Definition at line 701 of file soundness_checks.h.

◆ check_rule_MultActOrDelta()

template<typename Term >
bool mcrl2::core::detail::check_rule_MultActOrDelta ( const Term &  t)

Definition at line 789 of file soundness_checks.h.

◆ check_rule_Number()

template<typename Term >
bool mcrl2::core::detail::check_rule_Number ( const Term &  t)

Definition at line 96 of file soundness_checks.h.

◆ check_rule_OpId()

template<typename Term >
bool mcrl2::core::detail::check_rule_OpId ( const Term &  t)

Definition at line 452 of file soundness_checks.h.

◆ check_rule_ParamIdOrAction()

template<typename Term >
bool mcrl2::core::detail::check_rule_ParamIdOrAction ( const Term &  t)

Definition at line 943 of file soundness_checks.h.

◆ check_rule_PBEqn()

template<typename Term >
bool mcrl2::core::detail::check_rule_PBEqn ( const Term &  t)

Definition at line 1035 of file soundness_checks.h.

◆ check_rule_PBEqnSpec()

template<typename Term >
bool mcrl2::core::detail::check_rule_PBEqnSpec ( const Term &  t)

Definition at line 1013 of file soundness_checks.h.

◆ check_rule_PBES()

template<typename Term >
bool mcrl2::core::detail::check_rule_PBES ( const Term &  t)

Definition at line 1002 of file soundness_checks.h.

◆ check_rule_PBExpr()

template<typename Term >
bool mcrl2::core::detail::check_rule_PBExpr ( const Term &  t)

Definition at line 1069 of file soundness_checks.h.

◆ check_rule_PBInit()

template<typename Term >
bool mcrl2::core::detail::check_rule_PBInit ( const Term &  t)

Definition at line 1024 of file soundness_checks.h.

◆ check_rule_PREqn()

template<typename Term >
bool mcrl2::core::detail::check_rule_PREqn ( const Term &  t)

Definition at line 1134 of file soundness_checks.h.

◆ check_rule_PREqnSpec()

template<typename Term >
bool mcrl2::core::detail::check_rule_PREqnSpec ( const Term &  t)

Definition at line 1112 of file soundness_checks.h.

◆ check_rule_PRES()

template<typename Term >
bool mcrl2::core::detail::check_rule_PRES ( const Term &  t)

Definition at line 1101 of file soundness_checks.h.

◆ check_rule_PRExpr()

template<typename Term >
bool mcrl2::core::detail::check_rule_PRExpr ( const Term &  t)

Definition at line 1145 of file soundness_checks.h.

◆ check_rule_PRInit()

template<typename Term >
bool mcrl2::core::detail::check_rule_PRInit ( const Term &  t)

Definition at line 1123 of file soundness_checks.h.

◆ check_rule_ProcEqn()

template<typename Term >
bool mcrl2::core::detail::check_rule_ProcEqn ( const Term &  t)

Definition at line 778 of file soundness_checks.h.

◆ check_rule_ProcEqnSpec()

template<typename Term >
bool mcrl2::core::detail::check_rule_ProcEqnSpec ( const Term &  t)

Definition at line 767 of file soundness_checks.h.

◆ check_rule_ProcExpr()

template<typename Term >
bool mcrl2::core::detail::check_rule_ProcExpr ( const Term &  t)

Definition at line 657 of file soundness_checks.h.

◆ check_rule_ProcInit()

template<typename Term >
bool mcrl2::core::detail::check_rule_ProcInit ( const Term &  t)

Definition at line 801 of file soundness_checks.h.

◆ check_rule_ProcSpec()

template<typename Term >
bool mcrl2::core::detail::check_rule_ProcSpec ( const Term &  t)

Definition at line 734 of file soundness_checks.h.

◆ check_rule_ProcVarId()

template<typename Term >
bool mcrl2::core::detail::check_rule_ProcVarId ( const Term &  t)

Definition at line 690 of file soundness_checks.h.

◆ check_rule_PropVarDecl()

template<typename Term >
bool mcrl2::core::detail::check_rule_PropVarDecl ( const Term &  t)

Definition at line 1058 of file soundness_checks.h.

◆ check_rule_PropVarInst()

template<typename Term >
bool mcrl2::core::detail::check_rule_PropVarInst ( const Term &  t)

Definition at line 1090 of file soundness_checks.h.

◆ check_rule_RegFrm()

template<typename Term >
bool mcrl2::core::detail::check_rule_RegFrm ( const Term &  t)

Definition at line 903 of file soundness_checks.h.

◆ check_rule_RenameExpr()

template<typename Term >
bool mcrl2::core::detail::check_rule_RenameExpr ( const Term &  t)

Definition at line 712 of file soundness_checks.h.

◆ check_rule_SortConsType()

template<typename Term >
bool mcrl2::core::detail::check_rule_SortConsType ( const Term &  t)

Definition at line 388 of file soundness_checks.h.

◆ check_rule_SortDecl()

template<typename Term >
bool mcrl2::core::detail::check_rule_SortDecl ( const Term &  t)

Definition at line 579 of file soundness_checks.h.

◆ check_rule_SortExpr()

template<typename Term >
bool mcrl2::core::detail::check_rule_SortExpr ( const Term &  t)

Definition at line 360 of file soundness_checks.h.

◆ check_rule_SortId()

template<typename Term >
bool mcrl2::core::detail::check_rule_SortId ( const Term &  t)

Definition at line 377 of file soundness_checks.h.

◆ check_rule_SortSpec()

template<typename Term >
bool mcrl2::core::detail::check_rule_SortSpec ( const Term &  t)

Definition at line 535 of file soundness_checks.h.

◆ check_rule_StateFrm()

template<typename Term >
bool mcrl2::core::detail::check_rule_StateFrm ( const Term &  t)

Definition at line 867 of file soundness_checks.h.

◆ check_rule_String()

template<typename Term >
bool mcrl2::core::detail::check_rule_String ( const Term &  t)

Definition at line 66 of file soundness_checks.h.

◆ check_rule_StringOrEmpty()

template<typename Term >
bool mcrl2::core::detail::check_rule_StringOrEmpty ( const Term &  t)

Definition at line 85 of file soundness_checks.h.

◆ check_rule_StructCons()

template<typename Term >
bool mcrl2::core::detail::check_rule_StructCons ( const Term &  t)

Definition at line 403 of file soundness_checks.h.

◆ check_rule_StructProj()

template<typename Term >
bool mcrl2::core::detail::check_rule_StructProj ( const Term &  t)

Definition at line 414 of file soundness_checks.h.

◆ check_rule_TimedMultAct()

template<typename Term >
bool mcrl2::core::detail::check_rule_TimedMultAct ( const Term &  t)

Definition at line 613 of file soundness_checks.h.

◆ check_rule_UntypedDataParameter()

template<typename Term >
bool mcrl2::core::detail::check_rule_UntypedDataParameter ( const Term &  t)

Definition at line 463 of file soundness_checks.h.

◆ check_rule_UntypedIdentifierAssignment()

template<typename Term >
bool mcrl2::core::detail::check_rule_UntypedIdentifierAssignment ( const Term &  t)

Definition at line 513 of file soundness_checks.h.

◆ check_rule_UntypedMultiAction()

template<typename Term >
bool mcrl2::core::detail::check_rule_UntypedMultiAction ( const Term &  t)

Definition at line 624 of file soundness_checks.h.

◆ check_rule_WhrDecl()

template<typename Term >
bool mcrl2::core::detail::check_rule_WhrDecl ( const Term &  t)

Definition at line 490 of file soundness_checks.h.

◆ check_term_ActAnd()

template<typename Term >
bool mcrl2::core::detail::check_term_ActAnd ( const Term &  t)

Definition at line 5174 of file soundness_checks.h.

◆ check_term_ActAt()

template<typename Term >
bool mcrl2::core::detail::check_term_ActAt ( const Term &  t)

Definition at line 5369 of file soundness_checks.h.

◆ check_term_ActExists()

template<typename Term >
bool mcrl2::core::detail::check_term_ActExists ( const Term &  t)

Definition at line 5330 of file soundness_checks.h.

◆ check_term_ActFalse()

template<typename Term >
bool mcrl2::core::detail::check_term_ActFalse ( const Term &  t)

Definition at line 5113 of file soundness_checks.h.

◆ check_term_ActForall()

template<typename Term >
bool mcrl2::core::detail::check_term_ActForall ( const Term &  t)

Definition at line 5291 of file soundness_checks.h.

◆ check_term_ActId()

template<typename Term >
bool mcrl2::core::detail::check_term_ActId ( const Term &  t)

Definition at line 2532 of file soundness_checks.h.

◆ check_term_ActImp()

template<typename Term >
bool mcrl2::core::detail::check_term_ActImp ( const Term &  t)

Definition at line 5252 of file soundness_checks.h.

◆ check_term_Action()

template<typename Term >
bool mcrl2::core::detail::check_term_Action ( const Term &  t)

Definition at line 2493 of file soundness_checks.h.

◆ check_term_ActionRenameRule()

template<typename Term >
bool mcrl2::core::detail::check_term_ActionRenameRule ( const Term &  t)

Definition at line 5476 of file soundness_checks.h.

◆ check_term_ActionRenameRules()

template<typename Term >
bool mcrl2::core::detail::check_term_ActionRenameRules ( const Term &  t)

Definition at line 5442 of file soundness_checks.h.

◆ check_term_ActionRenameSpec()

template<typename Term >
bool mcrl2::core::detail::check_term_ActionRenameSpec ( const Term &  t)

Definition at line 5525 of file soundness_checks.h.

◆ check_term_ActMultAct()

template<typename Term >
bool mcrl2::core::detail::check_term_ActMultAct ( const Term &  t)

Definition at line 5408 of file soundness_checks.h.

◆ check_term_ActNot()

template<typename Term >
bool mcrl2::core::detail::check_term_ActNot ( const Term &  t)

Definition at line 5140 of file soundness_checks.h.

◆ check_term_ActOr()

template<typename Term >
bool mcrl2::core::detail::check_term_ActOr ( const Term &  t)

Definition at line 5213 of file soundness_checks.h.

◆ check_term_ActSpec()

template<typename Term >
bool mcrl2::core::detail::check_term_ActSpec ( const Term &  t)

Definition at line 3581 of file soundness_checks.h.

◆ check_term_ActTrue()

template<typename Term >
bool mcrl2::core::detail::check_term_ActTrue ( const Term &  t)

Definition at line 5086 of file soundness_checks.h.

◆ check_term_Allow()

template<typename Term >
bool mcrl2::core::detail::check_term_Allow ( const Term &  t)

Definition at line 2898 of file soundness_checks.h.

◆ check_term_argument()

template<typename Term , typename CheckFunction >
bool mcrl2::core::detail::check_term_argument ( const Term &  t,
CheckFunction  f 
)

Definition at line 33 of file soundness_checks.h.

◆ check_term_AtTime()

template<typename Term >
bool mcrl2::core::detail::check_term_AtTime ( const Term &  t)

Definition at line 2976 of file soundness_checks.h.

◆ check_term_BagComp()

template<typename Term >
bool mcrl2::core::detail::check_term_BagComp ( const Term &  t)

Definition at line 1954 of file soundness_checks.h.

◆ check_term_Binder()

template<typename Term >
bool mcrl2::core::detail::check_term_Binder ( const Term &  t)

Definition at line 1634 of file soundness_checks.h.

◆ check_term_BInit()

template<typename Term >
bool mcrl2::core::detail::check_term_BInit ( const Term &  t)

Definition at line 3137 of file soundness_checks.h.

◆ check_term_Block()

template<typename Term >
bool mcrl2::core::detail::check_term_Block ( const Term &  t)

Definition at line 2742 of file soundness_checks.h.

◆ check_term_Choice()

template<typename Term >
bool mcrl2::core::detail::check_term_Choice ( const Term &  t)

Definition at line 3254 of file soundness_checks.h.

◆ check_term_Comm()

template<typename Term >
bool mcrl2::core::detail::check_term_Comm ( const Term &  t)

Definition at line 2859 of file soundness_checks.h.

◆ check_term_CommExpr()

template<typename Term >
bool mcrl2::core::detail::check_term_CommExpr ( const Term &  t)

Definition at line 3488 of file soundness_checks.h.

◆ check_term_ConsSpec()

template<typename Term >
bool mcrl2::core::detail::check_term_ConsSpec ( const Term &  t)

Definition at line 2196 of file soundness_checks.h.

◆ check_term_DataAppl()

template<typename Term >
bool mcrl2::core::detail::check_term_DataAppl ( const Term &  t)

Definition at line 106 of file soundness_checks.h.

◆ check_term_DataEqn()

template<typename Term >
bool mcrl2::core::detail::check_term_DataEqn ( const Term &  t)

Definition at line 2337 of file soundness_checks.h.

◆ check_term_DataEqnSpec()

template<typename Term >
bool mcrl2::core::detail::check_term_DataEqnSpec ( const Term &  t)

Definition at line 2264 of file soundness_checks.h.

◆ check_term_DataSpec()

template<typename Term >
bool mcrl2::core::detail::check_term_DataSpec ( const Term &  t)

Definition at line 2113 of file soundness_checks.h.

◆ check_term_DataVarId()

template<typename Term >
bool mcrl2::core::detail::check_term_DataVarId ( const Term &  t)

Definition at line 1751 of file soundness_checks.h.

◆ check_term_DataVarIdInit()

template<typename Term >
bool mcrl2::core::detail::check_term_DataVarIdInit ( const Term &  t)

Definition at line 2035 of file soundness_checks.h.

◆ check_term_Delta()

template<typename Term >
bool mcrl2::core::detail::check_term_Delta ( const Term &  t)

Definition at line 2649 of file soundness_checks.h.

◆ check_term_Distribution()

template<typename Term >
bool mcrl2::core::detail::check_term_Distribution ( const Term &  t)

Definition at line 3761 of file soundness_checks.h.

◆ check_term_Exists()

template<typename Term >
bool mcrl2::core::detail::check_term_Exists ( const Term &  t)

Definition at line 1900 of file soundness_checks.h.

◆ check_term_Forall()

template<typename Term >
bool mcrl2::core::detail::check_term_Forall ( const Term &  t)

Definition at line 1873 of file soundness_checks.h.

◆ check_term_GlobVarSpec()

template<typename Term >
bool mcrl2::core::detail::check_term_GlobVarSpec ( const Term &  t)

Definition at line 3615 of file soundness_checks.h.

◆ check_term_Hide()

template<typename Term >
bool mcrl2::core::detail::check_term_Hide ( const Term &  t)

Definition at line 2781 of file soundness_checks.h.

◆ check_term_IfThen()

template<typename Term >
bool mcrl2::core::detail::check_term_IfThen ( const Term &  t)

Definition at line 3054 of file soundness_checks.h.

◆ check_term_IfThenElse()

template<typename Term >
bool mcrl2::core::detail::check_term_IfThenElse ( const Term &  t)

Definition at line 3093 of file soundness_checks.h.

◆ check_term_Lambda()

template<typename Term >
bool mcrl2::core::detail::check_term_Lambda ( const Term &  t)

Definition at line 1981 of file soundness_checks.h.

◆ check_term_LinearProcess()

template<typename Term >
bool mcrl2::core::detail::check_term_LinearProcess ( const Term &  t)

Definition at line 3854 of file soundness_checks.h.

◆ check_term_LinearProcessInit()

template<typename Term >
bool mcrl2::core::detail::check_term_LinearProcessInit ( const Term &  t)

Definition at line 3952 of file soundness_checks.h.

◆ check_term_LinearProcessSummand()

template<typename Term >
bool mcrl2::core::detail::check_term_LinearProcessSummand ( const Term &  t)

Definition at line 3893 of file soundness_checks.h.

◆ check_term_LinProcSpec()

template<typename Term >
bool mcrl2::core::detail::check_term_LinProcSpec ( const Term &  t)

Definition at line 3800 of file soundness_checks.h.

◆ check_term_LMerge()

template<typename Term >
bool mcrl2::core::detail::check_term_LMerge ( const Term &  t)

Definition at line 3215 of file soundness_checks.h.

◆ check_term_MapSpec()

template<typename Term >
bool mcrl2::core::detail::check_term_MapSpec ( const Term &  t)

Definition at line 2230 of file soundness_checks.h.

◆ check_term_Merge()

template<typename Term >
bool mcrl2::core::detail::check_term_Merge ( const Term &  t)

Definition at line 3176 of file soundness_checks.h.

◆ check_term_Mu()

template<typename Term >
bool mcrl2::core::detail::check_term_Mu ( const Term &  t)

Definition at line 5730 of file soundness_checks.h.

◆ check_term_MultAct()

template<typename Term >
bool mcrl2::core::detail::check_term_MultAct ( const Term &  t)

Definition at line 2386 of file soundness_checks.h.

◆ check_term_MultActName()

template<typename Term >
bool mcrl2::core::detail::check_term_MultActName ( const Term &  t)

Definition at line 3415 of file soundness_checks.h.

◆ check_term_Nu()

template<typename Term >
bool mcrl2::core::detail::check_term_Nu ( const Term &  t)

Definition at line 5757 of file soundness_checks.h.

◆ check_term_OpId()

template<typename Term >
bool mcrl2::core::detail::check_term_OpId ( const Term &  t)

Definition at line 1790 of file soundness_checks.h.

◆ check_term_PBEqn()

template<typename Term >
bool mcrl2::core::detail::check_term_PBEqn ( const Term &  t)

Definition at line 5686 of file soundness_checks.h.

◆ check_term_PBEqnSpec()

template<typename Term >
bool mcrl2::core::detail::check_term_PBEqnSpec ( const Term &  t)

Definition at line 5618 of file soundness_checks.h.

◆ check_term_PBES()

template<typename Term >
bool mcrl2::core::detail::check_term_PBES ( const Term &  t)

Definition at line 5569 of file soundness_checks.h.

◆ check_term_PBESAnd()

template<typename Term >
bool mcrl2::core::detail::check_term_PBESAnd ( const Term &  t)

Definition at line 5911 of file soundness_checks.h.

◆ check_term_PBESExists()

template<typename Term >
bool mcrl2::core::detail::check_term_PBESExists ( const Term &  t)

Definition at line 6067 of file soundness_checks.h.

◆ check_term_PBESFalse()

template<typename Term >
bool mcrl2::core::detail::check_term_PBESFalse ( const Term &  t)

Definition at line 5850 of file soundness_checks.h.

◆ check_term_PBESForall()

template<typename Term >
bool mcrl2::core::detail::check_term_PBESForall ( const Term &  t)

Definition at line 6028 of file soundness_checks.h.

◆ check_term_PBESImp()

template<typename Term >
bool mcrl2::core::detail::check_term_PBESImp ( const Term &  t)

Definition at line 5989 of file soundness_checks.h.

◆ check_term_PBESNot()

template<typename Term >
bool mcrl2::core::detail::check_term_PBESNot ( const Term &  t)

Definition at line 5877 of file soundness_checks.h.

◆ check_term_PBESOr()

template<typename Term >
bool mcrl2::core::detail::check_term_PBESOr ( const Term &  t)

Definition at line 5950 of file soundness_checks.h.

◆ check_term_PBESTrue()

template<typename Term >
bool mcrl2::core::detail::check_term_PBESTrue ( const Term &  t)

Definition at line 5823 of file soundness_checks.h.

◆ check_term_PBInit()

template<typename Term >
bool mcrl2::core::detail::check_term_PBInit ( const Term &  t)

Definition at line 5652 of file soundness_checks.h.

◆ check_term_PREqn()

template<typename Term >
bool mcrl2::core::detail::check_term_PREqn ( const Term &  t)

Definition at line 6262 of file soundness_checks.h.

◆ check_term_PREqnSpec()

template<typename Term >
bool mcrl2::core::detail::check_term_PREqnSpec ( const Term &  t)

Definition at line 6194 of file soundness_checks.h.

◆ check_term_PRES()

template<typename Term >
bool mcrl2::core::detail::check_term_PRES ( const Term &  t)

Definition at line 6145 of file soundness_checks.h.

◆ check_term_PRESAnd()

template<typename Term >
bool mcrl2::core::detail::check_term_PRESAnd ( const Term &  t)

Definition at line 6394 of file soundness_checks.h.

◆ check_term_PRESCondEq()

template<typename Term >
bool mcrl2::core::detail::check_term_PRESCondEq ( const Term &  t)

Definition at line 6857 of file soundness_checks.h.

◆ check_term_PRESCondSm()

template<typename Term >
bool mcrl2::core::detail::check_term_PRESCondSm ( const Term &  t)

Definition at line 6813 of file soundness_checks.h.

◆ check_term_PRESConstantMultiply()

template<typename Term >
bool mcrl2::core::detail::check_term_PRESConstantMultiply ( const Term &  t)

Definition at line 6550 of file soundness_checks.h.

◆ check_term_PRESConstantMultiplyAlt()

template<typename Term >
bool mcrl2::core::detail::check_term_PRESConstantMultiplyAlt ( const Term &  t)

Definition at line 6589 of file soundness_checks.h.

◆ check_term_PRESEqInf()

template<typename Term >
bool mcrl2::core::detail::check_term_PRESEqInf ( const Term &  t)

Definition at line 6745 of file soundness_checks.h.

◆ check_term_PRESEqNInf()

template<typename Term >
bool mcrl2::core::detail::check_term_PRESEqNInf ( const Term &  t)

Definition at line 6779 of file soundness_checks.h.

◆ check_term_PRESFalse()

template<typename Term >
bool mcrl2::core::detail::check_term_PRESFalse ( const Term &  t)

Definition at line 6333 of file soundness_checks.h.

◆ check_term_PRESImp()

template<typename Term >
bool mcrl2::core::detail::check_term_PRESImp ( const Term &  t)

Definition at line 6472 of file soundness_checks.h.

◆ check_term_PRESInfimum()

template<typename Term >
bool mcrl2::core::detail::check_term_PRESInfimum ( const Term &  t)

Definition at line 6628 of file soundness_checks.h.

◆ check_term_PRESMinus()

template<typename Term >
bool mcrl2::core::detail::check_term_PRESMinus ( const Term &  t)

Definition at line 6360 of file soundness_checks.h.

◆ check_term_PRESOr()

template<typename Term >
bool mcrl2::core::detail::check_term_PRESOr ( const Term &  t)

Definition at line 6433 of file soundness_checks.h.

◆ check_term_PRESPlus()

template<typename Term >
bool mcrl2::core::detail::check_term_PRESPlus ( const Term &  t)

Definition at line 6511 of file soundness_checks.h.

◆ check_term_PRESSum()

template<typename Term >
bool mcrl2::core::detail::check_term_PRESSum ( const Term &  t)

Definition at line 6706 of file soundness_checks.h.

◆ check_term_PRESSupremum()

template<typename Term >
bool mcrl2::core::detail::check_term_PRESSupremum ( const Term &  t)

Definition at line 6667 of file soundness_checks.h.

◆ check_term_PRESTrue()

template<typename Term >
bool mcrl2::core::detail::check_term_PRESTrue ( const Term &  t)

Definition at line 6306 of file soundness_checks.h.

◆ check_term_PRInit()

template<typename Term >
bool mcrl2::core::detail::check_term_PRInit ( const Term &  t)

Definition at line 6228 of file soundness_checks.h.

◆ check_term_ProcEqn()

template<typename Term >
bool mcrl2::core::detail::check_term_ProcEqn ( const Term &  t)

Definition at line 3683 of file soundness_checks.h.

◆ check_term_ProcEqnSpec()

template<typename Term >
bool mcrl2::core::detail::check_term_ProcEqnSpec ( const Term &  t)

Definition at line 3649 of file soundness_checks.h.

◆ check_term_Process()

template<typename Term >
bool mcrl2::core::detail::check_term_Process ( const Term &  t)

Definition at line 2571 of file soundness_checks.h.

◆ check_term_ProcessAssignment()

template<typename Term >
bool mcrl2::core::detail::check_term_ProcessAssignment ( const Term &  t)

Definition at line 2610 of file soundness_checks.h.

◆ check_term_ProcessInit()

template<typename Term >
bool mcrl2::core::detail::check_term_ProcessInit ( const Term &  t)

Definition at line 3727 of file soundness_checks.h.

◆ check_term_ProcSpec()

template<typename Term >
bool mcrl2::core::detail::check_term_ProcSpec ( const Term &  t)

Definition at line 3527 of file soundness_checks.h.

◆ check_term_ProcVarId()

template<typename Term >
bool mcrl2::core::detail::check_term_ProcVarId ( const Term &  t)

Definition at line 3376 of file soundness_checks.h.

◆ check_term_PropVarDecl()

template<typename Term >
bool mcrl2::core::detail::check_term_PropVarDecl ( const Term &  t)

Definition at line 5784 of file soundness_checks.h.

◆ check_term_PropVarInst()

template<typename Term >
bool mcrl2::core::detail::check_term_PropVarInst ( const Term &  t)

Definition at line 6106 of file soundness_checks.h.

◆ check_term_RegAlt()

template<typename Term >
bool mcrl2::core::detail::check_term_RegAlt ( const Term &  t)

Definition at line 4935 of file soundness_checks.h.

◆ check_term_RegNil()

template<typename Term >
bool mcrl2::core::detail::check_term_RegNil ( const Term &  t)

Definition at line 4869 of file soundness_checks.h.

◆ check_term_RegSeq()

template<typename Term >
bool mcrl2::core::detail::check_term_RegSeq ( const Term &  t)

Definition at line 4896 of file soundness_checks.h.

◆ check_term_RegTrans()

template<typename Term >
bool mcrl2::core::detail::check_term_RegTrans ( const Term &  t)

Definition at line 4974 of file soundness_checks.h.

◆ check_term_RegTransOrNil()

template<typename Term >
bool mcrl2::core::detail::check_term_RegTransOrNil ( const Term &  t)

Definition at line 5008 of file soundness_checks.h.

◆ check_term_Rename()

template<typename Term >
bool mcrl2::core::detail::check_term_Rename ( const Term &  t)

Definition at line 2820 of file soundness_checks.h.

◆ check_term_RenameExpr()

template<typename Term >
bool mcrl2::core::detail::check_term_RenameExpr ( const Term &  t)

Definition at line 3449 of file soundness_checks.h.

◆ check_term_Seq()

template<typename Term >
bool mcrl2::core::detail::check_term_Seq ( const Term &  t)

Definition at line 3015 of file soundness_checks.h.

◆ check_term_SetComp()

template<typename Term >
bool mcrl2::core::detail::check_term_SetComp ( const Term &  t)

Definition at line 1927 of file soundness_checks.h.

◆ check_term_SortArrow()

template<typename Term >
bool mcrl2::core::detail::check_term_SortArrow ( const Term &  t)

Definition at line 1248 of file soundness_checks.h.

◆ check_term_SortBag()

template<typename Term >
bool mcrl2::core::detail::check_term_SortBag ( const Term &  t)

Definition at line 1470 of file soundness_checks.h.

◆ check_term_SortCons()

template<typename Term >
bool mcrl2::core::detail::check_term_SortCons ( const Term &  t)

Definition at line 1175 of file soundness_checks.h.

◆ check_term_SortFBag()

template<typename Term >
bool mcrl2::core::detail::check_term_SortFBag ( const Term &  t)

Definition at line 1524 of file soundness_checks.h.

◆ check_term_SortFSet()

template<typename Term >
bool mcrl2::core::detail::check_term_SortFSet ( const Term &  t)

Definition at line 1497 of file soundness_checks.h.

◆ check_term_SortId()

template<typename Term >
bool mcrl2::core::detail::check_term_SortId ( const Term &  t)

Definition at line 1382 of file soundness_checks.h.

◆ check_term_SortList()

template<typename Term >
bool mcrl2::core::detail::check_term_SortList ( const Term &  t)

Definition at line 1416 of file soundness_checks.h.

◆ check_term_SortRef()

template<typename Term >
bool mcrl2::core::detail::check_term_SortRef ( const Term &  t)

Definition at line 2298 of file soundness_checks.h.

◆ check_term_SortSet()

template<typename Term >
bool mcrl2::core::detail::check_term_SortSet ( const Term &  t)

Definition at line 1443 of file soundness_checks.h.

◆ check_term_SortSpec()

template<typename Term >
bool mcrl2::core::detail::check_term_SortSpec ( const Term &  t)

Definition at line 2162 of file soundness_checks.h.

◆ check_term_SortStruct()

template<typename Term >
bool mcrl2::core::detail::check_term_SortStruct ( const Term &  t)

Definition at line 1214 of file soundness_checks.h.

◆ check_term_StateAnd()

template<typename Term >
bool mcrl2::core::detail::check_term_StateAnd ( const Term &  t)

Definition at line 4113 of file soundness_checks.h.

◆ check_term_StateConstantMultiply()

template<typename Term >
bool mcrl2::core::detail::check_term_StateConstantMultiply ( const Term &  t)

Definition at line 4269 of file soundness_checks.h.

◆ check_term_StateConstantMultiplyAlt()

template<typename Term >
bool mcrl2::core::detail::check_term_StateConstantMultiplyAlt ( const Term &  t)

Definition at line 4308 of file soundness_checks.h.

◆ check_term_StateDelay()

template<typename Term >
bool mcrl2::core::detail::check_term_StateDelay ( const Term &  t)

Definition at line 4681 of file soundness_checks.h.

◆ check_term_StateDelayTimed()

template<typename Term >
bool mcrl2::core::detail::check_term_StateDelayTimed ( const Term &  t)

Definition at line 4708 of file soundness_checks.h.

◆ check_term_StateExists()

template<typename Term >
bool mcrl2::core::detail::check_term_StateExists ( const Term &  t)

Definition at line 4386 of file soundness_checks.h.

◆ check_term_StateFalse()

template<typename Term >
bool mcrl2::core::detail::check_term_StateFalse ( const Term &  t)

Definition at line 4018 of file soundness_checks.h.

◆ check_term_StateForall()

template<typename Term >
bool mcrl2::core::detail::check_term_StateForall ( const Term &  t)

Definition at line 4347 of file soundness_checks.h.

◆ check_term_StateImp()

template<typename Term >
bool mcrl2::core::detail::check_term_StateImp ( const Term &  t)

Definition at line 4191 of file soundness_checks.h.

◆ check_term_StateInfimum()

template<typename Term >
bool mcrl2::core::detail::check_term_StateInfimum ( const Term &  t)

Definition at line 4425 of file soundness_checks.h.

◆ check_term_StateMay()

template<typename Term >
bool mcrl2::core::detail::check_term_StateMay ( const Term &  t)

Definition at line 4581 of file soundness_checks.h.

◆ check_term_StateMinus()

template<typename Term >
bool mcrl2::core::detail::check_term_StateMinus ( const Term &  t)

Definition at line 4079 of file soundness_checks.h.

◆ check_term_StateMu()

template<typename Term >
bool mcrl2::core::detail::check_term_StateMu ( const Term &  t)

Definition at line 4825 of file soundness_checks.h.

◆ check_term_StateMust()

template<typename Term >
bool mcrl2::core::detail::check_term_StateMust ( const Term &  t)

Definition at line 4542 of file soundness_checks.h.

◆ check_term_StateNot()

template<typename Term >
bool mcrl2::core::detail::check_term_StateNot ( const Term &  t)

Definition at line 4045 of file soundness_checks.h.

◆ check_term_StateNu()

template<typename Term >
bool mcrl2::core::detail::check_term_StateNu ( const Term &  t)

Definition at line 4781 of file soundness_checks.h.

◆ check_term_StateOr()

template<typename Term >
bool mcrl2::core::detail::check_term_StateOr ( const Term &  t)

Definition at line 4152 of file soundness_checks.h.

◆ check_term_StatePlus()

template<typename Term >
bool mcrl2::core::detail::check_term_StatePlus ( const Term &  t)

Definition at line 4230 of file soundness_checks.h.

◆ check_term_StateSum()

template<typename Term >
bool mcrl2::core::detail::check_term_StateSum ( const Term &  t)

Definition at line 4503 of file soundness_checks.h.

◆ check_term_StateSupremum()

template<typename Term >
bool mcrl2::core::detail::check_term_StateSupremum ( const Term &  t)

Definition at line 4464 of file soundness_checks.h.

◆ check_term_StateTrue()

template<typename Term >
bool mcrl2::core::detail::check_term_StateTrue ( const Term &  t)

Definition at line 3991 of file soundness_checks.h.

◆ check_term_StateVar()

template<typename Term >
bool mcrl2::core::detail::check_term_StateVar ( const Term &  t)

Definition at line 4742 of file soundness_checks.h.

◆ check_term_StateYaled()

template<typename Term >
bool mcrl2::core::detail::check_term_StateYaled ( const Term &  t)

Definition at line 4620 of file soundness_checks.h.

◆ check_term_StateYaledTimed()

template<typename Term >
bool mcrl2::core::detail::check_term_StateYaledTimed ( const Term &  t)

Definition at line 4647 of file soundness_checks.h.

◆ check_term_StochasticOperator()

template<typename Term >
bool mcrl2::core::detail::check_term_StochasticOperator ( const Term &  t)

Definition at line 3293 of file soundness_checks.h.

◆ check_term_StructCons()

template<typename Term >
bool mcrl2::core::detail::check_term_StructCons ( const Term &  t)

Definition at line 1551 of file soundness_checks.h.

◆ check_term_StructProj()

template<typename Term >
bool mcrl2::core::detail::check_term_StructProj ( const Term &  t)

Definition at line 1595 of file soundness_checks.h.

◆ check_term_Sum()

template<typename Term >
bool mcrl2::core::detail::check_term_Sum ( const Term &  t)

Definition at line 2703 of file soundness_checks.h.

◆ check_term_Sync()

template<typename Term >
bool mcrl2::core::detail::check_term_Sync ( const Term &  t)

Definition at line 2937 of file soundness_checks.h.

◆ check_term_Tau()

template<typename Term >
bool mcrl2::core::detail::check_term_Tau ( const Term &  t)

Definition at line 2676 of file soundness_checks.h.

◆ check_term_TimedMultAct()

template<typename Term >
bool mcrl2::core::detail::check_term_TimedMultAct ( const Term &  t)

Definition at line 2420 of file soundness_checks.h.

◆ check_term_UntypedDataParameter()

template<typename Term >
bool mcrl2::core::detail::check_term_UntypedDataParameter ( const Term &  t)

Definition at line 1834 of file soundness_checks.h.

◆ check_term_UntypedIdentifier()

template<typename Term >
bool mcrl2::core::detail::check_term_UntypedIdentifier ( const Term &  t)

Definition at line 1717 of file soundness_checks.h.

◆ check_term_UntypedIdentifierAssignment()

template<typename Term >
bool mcrl2::core::detail::check_term_UntypedIdentifierAssignment ( const Term &  t)

Definition at line 2074 of file soundness_checks.h.

◆ check_term_UntypedMultiAction()

template<typename Term >
bool mcrl2::core::detail::check_term_UntypedMultiAction ( const Term &  t)

Definition at line 2459 of file soundness_checks.h.

◆ check_term_UntypedProcessAssignment()

template<typename Term >
bool mcrl2::core::detail::check_term_UntypedProcessAssignment ( const Term &  t)

Definition at line 3337 of file soundness_checks.h.

◆ check_term_UntypedRegFrm()

template<typename Term >
bool mcrl2::core::detail::check_term_UntypedRegFrm ( const Term &  t)

Definition at line 5042 of file soundness_checks.h.

◆ check_term_UntypedSetBagComp()

template<typename Term >
bool mcrl2::core::detail::check_term_UntypedSetBagComp ( const Term &  t)

Definition at line 2008 of file soundness_checks.h.

◆ check_term_UntypedSortsPossible()

template<typename Term >
bool mcrl2::core::detail::check_term_UntypedSortsPossible ( const Term &  t)

Definition at line 1314 of file soundness_checks.h.

◆ check_term_UntypedSortUnknown()

template<typename Term >
bool mcrl2::core::detail::check_term_UntypedSortUnknown ( const Term &  t)

Definition at line 1287 of file soundness_checks.h.

◆ check_term_UntypedSortVariable()

template<typename Term >
bool mcrl2::core::detail::check_term_UntypedSortVariable ( const Term &  t)

Definition at line 1348 of file soundness_checks.h.

◆ check_term_Whr()

template<typename Term >
bool mcrl2::core::detail::check_term_Whr ( const Term &  t)

Definition at line 1678 of file soundness_checks.h.

◆ default_value_ActAnd()

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

Definition at line 1112 of file default_values.h.

◆ default_value_ActAt()

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

Definition at line 1152 of file default_values.h.

◆ default_value_ActExists()

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

Definition at line 1144 of file default_values.h.

◆ default_value_ActFalse()

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

Definition at line 1096 of file default_values.h.

◆ default_value_ActForall()

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

Definition at line 1136 of file default_values.h.

◆ default_value_ActFrm()

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

Definition at line 1557 of file default_values.h.

◆ default_value_ActId()

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

Definition at line 552 of file default_values.h.

◆ default_value_ActImp()

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

Definition at line 1128 of file default_values.h.

◆ default_value_Action()

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

Definition at line 544 of file default_values.h.

◆ default_value_ActionRenameRule()

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

Definition at line 1176 of file default_values.h.

◆ default_value_ActionRenameRuleRHS()

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

Definition at line 1571 of file default_values.h.

◆ default_value_ActionRenameRules()

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

Definition at line 1168 of file default_values.h.

◆ default_value_ActionRenameSpec()

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

Definition at line 1184 of file default_values.h.

◆ default_value_ActMultAct()

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

Definition at line 1160 of file default_values.h.

◆ default_value_ActNot()

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

Definition at line 1104 of file default_values.h.

◆ default_value_ActOr()

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

Definition at line 1120 of file default_values.h.

◆ default_value_ActSpec()

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

Definition at line 768 of file default_values.h.

◆ default_value_ActTrue()

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

Definition at line 1088 of file default_values.h.

◆ default_value_Allow()

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

Definition at line 632 of file default_values.h.

◆ default_value_AtTime()

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

Definition at line 648 of file default_values.h.

◆ default_value_BagComp()

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

Definition at line 424 of file default_values.h.

◆ default_value_Binder()

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

Definition at line 352 of file default_values.h.

◆ default_value_BindingOperator()

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

Definition at line 1501 of file default_values.h.

◆ default_value_BInit()

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

Definition at line 680 of file default_values.h.

◆ default_value_Block()

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

Definition at line 600 of file default_values.h.

◆ default_value_Choice()

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

Definition at line 704 of file default_values.h.

◆ default_value_Comm()

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

Definition at line 624 of file default_values.h.

◆ default_value_CommExpr()

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

Definition at line 752 of file default_values.h.

◆ default_value_ConsSpec()

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

Definition at line 480 of file default_values.h.

◆ default_value_DataEqn()

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

Definition at line 512 of file default_values.h.

◆ default_value_DataEqnSpec()

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

Definition at line 496 of file default_values.h.

◆ default_value_DataExpr()

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

Definition at line 1494 of file default_values.h.

◆ default_value_DataSpec()

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

Definition at line 464 of file default_values.h.

◆ default_value_DataVarId()

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

Definition at line 376 of file default_values.h.

◆ default_value_DataVarIdInit()

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

Definition at line 448 of file default_values.h.

◆ default_value_Delta()

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

Definition at line 576 of file default_values.h.

◆ default_value_Distribution()

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

Definition at line 808 of file default_values.h.

◆ default_value_Exists()

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

Definition at line 408 of file default_values.h.

◆ default_value_FixPoint()

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

Definition at line 1578 of file default_values.h.

◆ default_value_Forall()

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

Definition at line 400 of file default_values.h.

◆ default_value_GlobVarSpec()

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

Definition at line 776 of file default_values.h.

◆ default_value_Hide()

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

Definition at line 608 of file default_values.h.

◆ default_value_IfThen()

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

Definition at line 664 of file default_values.h.

◆ default_value_IfThenElse()

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

Definition at line 672 of file default_values.h.

◆ default_value_Lambda()

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

Definition at line 432 of file default_values.h.

◆ default_value_LinearProcess()

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

Definition at line 824 of file default_values.h.

◆ default_value_LinearProcessInit()

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

Definition at line 840 of file default_values.h.

◆ default_value_LinearProcessSummand()

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

Definition at line 832 of file default_values.h.

◆ default_value_LinProcSpec()

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

Definition at line 816 of file default_values.h.

◆ default_value_List() [1/2]

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

Definition at line 49 of file default_values.h.

◆ default_value_List() [2/2]

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

Definition at line 57 of file default_values.h.

◆ default_value_LMerge()

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

Definition at line 696 of file default_values.h.

◆ default_value_MapSpec()

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

Definition at line 488 of file default_values.h.

◆ default_value_Merge()

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

Definition at line 688 of file default_values.h.

◆ default_value_Mu()

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

Definition at line 1224 of file default_values.h.

◆ default_value_MultAct()

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

Definition at line 520 of file default_values.h.

◆ default_value_MultActName()

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

Definition at line 736 of file default_values.h.

◆ default_value_MultActOrDelta()

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

Definition at line 1529 of file default_values.h.

◆ default_value_Nu()

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

Definition at line 1232 of file default_values.h.

◆ default_value_Number()

const atermpp::aterm_int & mcrl2::core::detail::default_value_Number ( )
inline

Definition at line 28 of file default_values.h.

◆ default_value_OpId()

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

Definition at line 384 of file default_values.h.

◆ default_value_ParamIdOrAction()

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

Definition at line 1564 of file default_values.h.

◆ default_value_PBEqn()

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

Definition at line 1216 of file default_values.h.

◆ default_value_PBEqnSpec()

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

Definition at line 1200 of file default_values.h.

◆ default_value_PBES()

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

Definition at line 1192 of file default_values.h.

◆ default_value_PBESAnd()

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

Definition at line 1272 of file default_values.h.

◆ default_value_PBESExists()

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

Definition at line 1304 of file default_values.h.

◆ default_value_PBESFalse()

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

Definition at line 1256 of file default_values.h.

◆ default_value_PBESForall()

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

Definition at line 1296 of file default_values.h.

◆ default_value_PBESImp()

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

Definition at line 1288 of file default_values.h.

◆ default_value_PBESNot()

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

Definition at line 1264 of file default_values.h.

◆ default_value_PBESOr()

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

Definition at line 1280 of file default_values.h.

◆ default_value_PBESTrue()

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

Definition at line 1248 of file default_values.h.

◆ default_value_PBExpr()

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

Definition at line 1585 of file default_values.h.

◆ default_value_PBInit()

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

Definition at line 1208 of file default_values.h.

◆ default_value_PREqn()

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

Definition at line 1344 of file default_values.h.

◆ default_value_PREqnSpec()

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

Definition at line 1328 of file default_values.h.

◆ default_value_PRES()

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

Definition at line 1320 of file default_values.h.

◆ default_value_PRESAnd()

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

Definition at line 1376 of file default_values.h.

◆ default_value_PRESCondEq()

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

Definition at line 1472 of file default_values.h.

◆ default_value_PRESCondSm()

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

Definition at line 1464 of file default_values.h.

◆ default_value_PRESConstantMultiply()

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

Definition at line 1408 of file default_values.h.

◆ default_value_PRESConstantMultiplyAlt()

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

Definition at line 1416 of file default_values.h.

◆ default_value_PRESEqInf()

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

Definition at line 1448 of file default_values.h.

◆ default_value_PRESEqNInf()

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

Definition at line 1456 of file default_values.h.

◆ default_value_PRESFalse()

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

Definition at line 1360 of file default_values.h.

◆ default_value_PRESImp()

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

Definition at line 1392 of file default_values.h.

◆ default_value_PRESInfimum()

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

Definition at line 1424 of file default_values.h.

◆ default_value_PRESMinus()

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

Definition at line 1368 of file default_values.h.

◆ default_value_PRESOr()

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

Definition at line 1384 of file default_values.h.

◆ default_value_PRESPlus()

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

Definition at line 1400 of file default_values.h.

◆ default_value_PRESSum()

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

Definition at line 1440 of file default_values.h.

◆ default_value_PRESSupremum()

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

Definition at line 1432 of file default_values.h.

◆ default_value_PRESTrue()

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

Definition at line 1352 of file default_values.h.

◆ default_value_PRExpr()

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

Definition at line 1592 of file default_values.h.

◆ default_value_PRInit()

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

Definition at line 1336 of file default_values.h.

◆ default_value_ProcEqn()

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

Definition at line 792 of file default_values.h.

◆ default_value_ProcEqnSpec()

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

Definition at line 784 of file default_values.h.

◆ default_value_Process()

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

Definition at line 560 of file default_values.h.

◆ default_value_ProcessAssignment()

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

Definition at line 568 of file default_values.h.

◆ default_value_ProcessInit()

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

Definition at line 800 of file default_values.h.

◆ default_value_ProcExpr()

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

Definition at line 1522 of file default_values.h.

◆ default_value_ProcInit()

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

Definition at line 1536 of file default_values.h.

◆ default_value_ProcSpec()

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

Definition at line 760 of file default_values.h.

◆ default_value_ProcVarId()

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

Definition at line 728 of file default_values.h.

◆ default_value_PropVarDecl()

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

Definition at line 1240 of file default_values.h.

◆ default_value_PropVarInst()

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

Definition at line 1312 of file default_values.h.

◆ default_value_RegAlt()

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

Definition at line 1056 of file default_values.h.

◆ default_value_RegFrm()

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

Definition at line 1550 of file default_values.h.

◆ default_value_RegNil()

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

Definition at line 1040 of file default_values.h.

◆ default_value_RegSeq()

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

Definition at line 1048 of file default_values.h.

◆ default_value_RegTrans()

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

Definition at line 1064 of file default_values.h.

◆ default_value_RegTransOrNil()

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

Definition at line 1072 of file default_values.h.

◆ default_value_Rename()

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

Definition at line 616 of file default_values.h.

◆ default_value_RenameExpr()

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

Definition at line 744 of file default_values.h.

◆ default_value_Seq()

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

Definition at line 656 of file default_values.h.

◆ default_value_SetComp()

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

Definition at line 416 of file default_values.h.

◆ default_value_SortArrow()

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

Definition at line 256 of file default_values.h.

◆ default_value_SortBag()

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

Definition at line 312 of file default_values.h.

◆ default_value_SortCons()

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

Definition at line 240 of file default_values.h.

◆ default_value_SortConsType()

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

Definition at line 1487 of file default_values.h.

◆ default_value_SortDecl()

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

Definition at line 1515 of file default_values.h.

◆ default_value_SortExpr()

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

Definition at line 1480 of file default_values.h.

◆ default_value_SortFBag()

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

Definition at line 328 of file default_values.h.

◆ default_value_SortFSet()

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

Definition at line 320 of file default_values.h.

◆ default_value_SortId()

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

Definition at line 288 of file default_values.h.

◆ default_value_SortList()

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

Definition at line 296 of file default_values.h.

◆ default_value_SortRef()

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

Definition at line 504 of file default_values.h.

◆ default_value_SortSet()

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

Definition at line 304 of file default_values.h.

◆ default_value_SortSpec()

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

Definition at line 472 of file default_values.h.

◆ default_value_SortStruct()

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

Definition at line 248 of file default_values.h.

◆ default_value_StateAnd()

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

Definition at line 880 of file default_values.h.

◆ default_value_StateConstantMultiply()

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

Definition at line 912 of file default_values.h.

◆ default_value_StateConstantMultiplyAlt()

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

Definition at line 920 of file default_values.h.

◆ default_value_StateDelay()

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

Definition at line 1000 of file default_values.h.

◆ default_value_StateDelayTimed()

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

Definition at line 1008 of file default_values.h.

◆ default_value_StateExists()

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

Definition at line 936 of file default_values.h.

◆ default_value_StateFalse()

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

Definition at line 856 of file default_values.h.

◆ default_value_StateForall()

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

Definition at line 928 of file default_values.h.

◆ default_value_StateFrm()

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

Definition at line 1543 of file default_values.h.

◆ default_value_StateImp()

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

Definition at line 896 of file default_values.h.

◆ default_value_StateInfimum()

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

Definition at line 944 of file default_values.h.

◆ default_value_StateMay()

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

Definition at line 976 of file default_values.h.

◆ default_value_StateMinus()

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

Definition at line 872 of file default_values.h.

◆ default_value_StateMu()

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

Definition at line 1032 of file default_values.h.

◆ default_value_StateMust()

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

Definition at line 968 of file default_values.h.

◆ default_value_StateNot()

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

Definition at line 864 of file default_values.h.

◆ default_value_StateNu()

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

Definition at line 1024 of file default_values.h.

◆ default_value_StateOr()

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

Definition at line 888 of file default_values.h.

◆ default_value_StatePlus()

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

Definition at line 904 of file default_values.h.

◆ default_value_StateSum()

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

Definition at line 960 of file default_values.h.

◆ default_value_StateSupremum()

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

Definition at line 952 of file default_values.h.

◆ default_value_StateTrue()

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

Definition at line 848 of file default_values.h.

◆ default_value_StateVar()

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

Definition at line 1016 of file default_values.h.

◆ default_value_StateYaled()

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

Definition at line 984 of file default_values.h.

◆ default_value_StateYaledTimed()

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

Definition at line 992 of file default_values.h.

◆ default_value_StochasticOperator()

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

Definition at line 712 of file default_values.h.

◆ default_value_String()

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

Definition at line 35 of file default_values.h.

◆ default_value_StringOrEmpty()

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

Definition at line 42 of file default_values.h.

◆ default_value_StructCons()

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

Definition at line 336 of file default_values.h.

◆ default_value_StructProj()

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

Definition at line 344 of file default_values.h.

◆ default_value_Sum()

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

Definition at line 592 of file default_values.h.

◆ default_value_Sync()

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

Definition at line 640 of file default_values.h.

◆ default_value_Tau()

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

Definition at line 584 of file default_values.h.

◆ default_value_TimedMultAct()

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

Definition at line 528 of file default_values.h.

◆ default_value_UntypedDataParameter()

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

Definition at line 392 of file default_values.h.

◆ default_value_UntypedIdentifier()

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

Definition at line 368 of file default_values.h.

◆ default_value_UntypedIdentifierAssignment()

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

Definition at line 456 of file default_values.h.

◆ default_value_UntypedMultiAction()

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

Definition at line 536 of file default_values.h.

◆ default_value_UntypedProcessAssignment()

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

Definition at line 720 of file default_values.h.

◆ default_value_UntypedRegFrm()

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

Definition at line 1080 of file default_values.h.

◆ default_value_UntypedSetBagComp()

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

Definition at line 440 of file default_values.h.

◆ default_value_UntypedSortsPossible()

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

Definition at line 272 of file default_values.h.

◆ default_value_UntypedSortUnknown()

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

Definition at line 264 of file default_values.h.

◆ default_value_UntypedSortVariable()

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

Definition at line 280 of file default_values.h.

◆ default_value_Whr()

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

Definition at line 360 of file default_values.h.

◆ default_value_WhrDecl()

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

Definition at line 1508 of file default_values.h.

◆ file_source()

std::string mcrl2::core::detail::file_source ( const std::string &  filename)
inline

Definition at line 25 of file load_aterm.h.

◆ foreach_parse_node()

template<typename Function >
void mcrl2::core::detail::foreach_parse_node ( const parse_node x,
Function  f 
)

Calls the function f on each node in the parse tree with x as root.

Definition at line 25 of file parser_utility.h.

◆ function_symbol_ActAnd()

const atermpp::function_symbol & mcrl2::core::detail::function_symbol_ActAnd ( )
inline

Definition at line 139 of file function_symbols.h.

◆ function_symbol_ActAt()

const atermpp::function_symbol & mcrl2::core::detail::function_symbol_ActAt ( )
inline

Definition at line 147 of file function_symbols.h.

◆ function_symbol_ActExists()

const atermpp::function_symbol & mcrl2::core::detail::function_symbol_ActExists ( )
inline

Definition at line 155 of file function_symbols.h.

◆ function_symbol_ActFalse()

const atermpp::function_symbol & mcrl2::core::detail::function_symbol_ActFalse ( )
inline

Definition at line 163 of file function_symbols.h.

◆ function_symbol_ActForall()

const atermpp::function_symbol & mcrl2::core::detail::function_symbol_ActForall ( )
inline

Definition at line 171 of file function_symbols.h.

◆ function_symbol_ActId()

const atermpp::function_symbol & mcrl2::core::detail::function_symbol_ActId ( )
inline

Definition at line 179 of file function_symbols.h.

◆ function_symbol_ActImp()

const atermpp::function_symbol & mcrl2::core::detail::function_symbol_ActImp ( )
inline

Definition at line 187 of file function_symbols.h.

◆ function_symbol_Action()

const atermpp::function_symbol & mcrl2::core::detail::function_symbol_Action ( )
inline

Definition at line 235 of file function_symbols.h.

◆ function_symbol_ActionRenameRule()

const atermpp::function_symbol & mcrl2::core::detail::function_symbol_ActionRenameRule ( )
inline

Definition at line 243 of file function_symbols.h.

◆ function_symbol_ActionRenameRules()

const atermpp::function_symbol & mcrl2::core::detail::function_symbol_ActionRenameRules ( )
inline

Definition at line 251 of file function_symbols.h.

◆ function_symbol_ActionRenameSpec()

const atermpp::function_symbol & mcrl2::core::detail::function_symbol_ActionRenameSpec ( )
inline

Definition at line 259 of file function_symbols.h.

◆ function_symbol_ActMultAct()

const atermpp::function_symbol & mcrl2::core::detail::function_symbol_ActMultAct ( )
inline

Definition at line 195 of file function_symbols.h.

◆ function_symbol_ActNot()

const atermpp::function_symbol & mcrl2::core::detail::function_symbol_ActNot ( )
inline

Definition at line 203 of file function_symbols.h.

◆ function_symbol_ActOr()

const atermpp::function_symbol & mcrl2::core::detail::function_symbol_ActOr ( )
inline

Definition at line 211 of file function_symbols.h.

◆ function_symbol_ActSpec()

const atermpp::function_symbol & mcrl2::core::detail::function_symbol_ActSpec ( )
inline

Definition at line 219 of file function_symbols.h.

◆ function_symbol_ActTrue()

const atermpp::function_symbol & mcrl2::core::detail::function_symbol_ActTrue ( )
inline

Definition at line 227 of file function_symbols.h.

◆ function_symbol_Allow()

const atermpp::function_symbol & mcrl2::core::detail::function_symbol_Allow ( )
inline

Definition at line 267 of file function_symbols.h.

◆ function_symbol_AtTime()

const atermpp::function_symbol & mcrl2::core::detail::function_symbol_AtTime ( )
inline

Definition at line 275 of file function_symbols.h.

◆ function_symbol_BagComp()

const atermpp::function_symbol & mcrl2::core::detail::function_symbol_BagComp ( )
inline

Definition at line 291 of file function_symbols.h.

◆ function_symbol_Binder()

const atermpp::function_symbol & mcrl2::core::detail::function_symbol_Binder ( )
inline

Definition at line 299 of file function_symbols.h.

◆ function_symbol_BInit()

const atermpp::function_symbol & mcrl2::core::detail::function_symbol_BInit ( )
inline

Definition at line 283 of file function_symbols.h.

◆ function_symbol_Block()

const atermpp::function_symbol & mcrl2::core::detail::function_symbol_Block ( )
inline

Definition at line 307 of file function_symbols.h.

◆ function_symbol_BooleanVariableNoIndex()

const atermpp::function_symbol & mcrl2::core::detail::function_symbol_BooleanVariableNoIndex ( )
inline

Definition at line 122 of file function_symbols.h.

◆ function_symbol_Choice()

const atermpp::function_symbol & mcrl2::core::detail::function_symbol_Choice ( )
inline

Definition at line 315 of file function_symbols.h.

◆ function_symbol_Comm()

const atermpp::function_symbol & mcrl2::core::detail::function_symbol_Comm ( )
inline

Definition at line 323 of file function_symbols.h.

◆ function_symbol_CommExpr()

const atermpp::function_symbol & mcrl2::core::detail::function_symbol_CommExpr ( )
inline

Definition at line 331 of file function_symbols.h.

◆ function_symbol_ConsSpec()

const atermpp::function_symbol & mcrl2::core::detail::function_symbol_ConsSpec ( )
inline

Definition at line 339 of file function_symbols.h.

◆ function_symbol_DataAppl()

const atermpp::function_symbol & mcrl2::core::detail::function_symbol_DataAppl ( std::size_t  i)
inline

Definition at line 60 of file function_symbols.h.

◆ function_symbol_DataAppl_helper()

const atermpp::function_symbol & mcrl2::core::detail::function_symbol_DataAppl_helper ( std::size_t  i)
inline

Definition at line 40 of file function_symbols.h.

◆ function_symbol_DataEqn()

const atermpp::function_symbol & mcrl2::core::detail::function_symbol_DataEqn ( )
inline

Definition at line 347 of file function_symbols.h.

◆ function_symbol_DataEqnSpec()

const atermpp::function_symbol & mcrl2::core::detail::function_symbol_DataEqnSpec ( )
inline

Definition at line 355 of file function_symbols.h.

◆ function_symbol_DataSpec()

const atermpp::function_symbol & mcrl2::core::detail::function_symbol_DataSpec ( )
inline

Definition at line 363 of file function_symbols.h.

◆ function_symbol_DataVarId()

const atermpp::function_symbol & mcrl2::core::detail::function_symbol_DataVarId ( )
inline

Definition at line 371 of file function_symbols.h.

◆ function_symbol_DataVarIdInit()

const atermpp::function_symbol & mcrl2::core::detail::function_symbol_DataVarIdInit ( )
inline

Definition at line 379 of file function_symbols.h.

◆ function_symbol_DataVarIdNoIndex()

const atermpp::function_symbol & mcrl2::core::detail::function_symbol_DataVarIdNoIndex ( )
inline

Definition at line 98 of file function_symbols.h.

◆ function_symbol_Delta()

const atermpp::function_symbol & mcrl2::core::detail::function_symbol_Delta ( )
inline

Definition at line 387 of file function_symbols.h.

◆ function_symbol_Distribution()

const atermpp::function_symbol & mcrl2::core::detail::function_symbol_Distribution ( )
inline

Definition at line 395 of file function_symbols.h.

◆ function_symbol_Exists()

const atermpp::function_symbol & mcrl2::core::detail::function_symbol_Exists ( )
inline

Definition at line 403 of file function_symbols.h.

◆ function_symbol_Forall()

const atermpp::function_symbol & mcrl2::core::detail::function_symbol_Forall ( )
inline

Definition at line 411 of file function_symbols.h.

◆ function_symbol_GlobVarSpec()

const atermpp::function_symbol & mcrl2::core::detail::function_symbol_GlobVarSpec ( )
inline

Definition at line 419 of file function_symbols.h.

◆ function_symbol_Hide()

const atermpp::function_symbol & mcrl2::core::detail::function_symbol_Hide ( )
inline

Definition at line 427 of file function_symbols.h.

◆ function_symbol_IfThen()

const atermpp::function_symbol & mcrl2::core::detail::function_symbol_IfThen ( )
inline

Definition at line 435 of file function_symbols.h.

◆ function_symbol_IfThenElse()

const atermpp::function_symbol & mcrl2::core::detail::function_symbol_IfThenElse ( )
inline

Definition at line 443 of file function_symbols.h.

◆ function_symbol_Lambda()

const atermpp::function_symbol & mcrl2::core::detail::function_symbol_Lambda ( )
inline

Definition at line 459 of file function_symbols.h.

◆ function_symbol_LinearProcess()

const atermpp::function_symbol & mcrl2::core::detail::function_symbol_LinearProcess ( )
inline

Definition at line 475 of file function_symbols.h.

◆ function_symbol_LinearProcessInit()

const atermpp::function_symbol & mcrl2::core::detail::function_symbol_LinearProcessInit ( )
inline

Definition at line 483 of file function_symbols.h.

◆ function_symbol_LinearProcessSummand()

const atermpp::function_symbol & mcrl2::core::detail::function_symbol_LinearProcessSummand ( )
inline

Definition at line 491 of file function_symbols.h.

◆ function_symbol_LinProcSpec()

const atermpp::function_symbol & mcrl2::core::detail::function_symbol_LinProcSpec ( )
inline

Definition at line 467 of file function_symbols.h.

◆ function_symbol_LMerge()

const atermpp::function_symbol & mcrl2::core::detail::function_symbol_LMerge ( )
inline

Definition at line 451 of file function_symbols.h.

◆ function_symbol_MapSpec()

const atermpp::function_symbol & mcrl2::core::detail::function_symbol_MapSpec ( )
inline

Definition at line 499 of file function_symbols.h.

◆ function_symbol_Merge()

const atermpp::function_symbol & mcrl2::core::detail::function_symbol_Merge ( )
inline

Definition at line 507 of file function_symbols.h.

◆ function_symbol_Mu()

const atermpp::function_symbol & mcrl2::core::detail::function_symbol_Mu ( )
inline

Definition at line 515 of file function_symbols.h.

◆ function_symbol_MultAct()

const atermpp::function_symbol & mcrl2::core::detail::function_symbol_MultAct ( )
inline

Definition at line 523 of file function_symbols.h.

◆ function_symbol_MultActName()

const atermpp::function_symbol & mcrl2::core::detail::function_symbol_MultActName ( )
inline

Definition at line 531 of file function_symbols.h.

◆ function_symbol_Nu()

const atermpp::function_symbol & mcrl2::core::detail::function_symbol_Nu ( )
inline

Definition at line 539 of file function_symbols.h.

◆ function_symbol_OpId()

const atermpp::function_symbol & mcrl2::core::detail::function_symbol_OpId ( )
inline

Definition at line 547 of file function_symbols.h.

◆ function_symbol_OpIdNoIndex()

const atermpp::function_symbol & mcrl2::core::detail::function_symbol_OpIdNoIndex ( )
inline

Definition at line 106 of file function_symbols.h.

◆ function_symbol_PBEqn()

const atermpp::function_symbol & mcrl2::core::detail::function_symbol_PBEqn ( )
inline

Definition at line 627 of file function_symbols.h.

◆ function_symbol_PBEqnSpec()

const atermpp::function_symbol & mcrl2::core::detail::function_symbol_PBEqnSpec ( )
inline

Definition at line 635 of file function_symbols.h.

◆ function_symbol_PBES()

const atermpp::function_symbol & mcrl2::core::detail::function_symbol_PBES ( )
inline

Definition at line 555 of file function_symbols.h.

◆ function_symbol_PBESAnd()

const atermpp::function_symbol & mcrl2::core::detail::function_symbol_PBESAnd ( )
inline

Definition at line 563 of file function_symbols.h.

◆ function_symbol_PBESExists()

const atermpp::function_symbol & mcrl2::core::detail::function_symbol_PBESExists ( )
inline

Definition at line 571 of file function_symbols.h.

◆ function_symbol_PBESFalse()

const atermpp::function_symbol & mcrl2::core::detail::function_symbol_PBESFalse ( )
inline

Definition at line 579 of file function_symbols.h.

◆ function_symbol_PBESForall()

const atermpp::function_symbol & mcrl2::core::detail::function_symbol_PBESForall ( )
inline

Definition at line 587 of file function_symbols.h.

◆ function_symbol_PBESImp()

const atermpp::function_symbol & mcrl2::core::detail::function_symbol_PBESImp ( )
inline

Definition at line 595 of file function_symbols.h.

◆ function_symbol_PBESNot()

const atermpp::function_symbol & mcrl2::core::detail::function_symbol_PBESNot ( )
inline

Definition at line 603 of file function_symbols.h.

◆ function_symbol_PBESOr()

const atermpp::function_symbol & mcrl2::core::detail::function_symbol_PBESOr ( )
inline

Definition at line 611 of file function_symbols.h.

◆ function_symbol_PBESTrue()

const atermpp::function_symbol & mcrl2::core::detail::function_symbol_PBESTrue ( )
inline

Definition at line 619 of file function_symbols.h.

◆ function_symbol_PBInit()

const atermpp::function_symbol & mcrl2::core::detail::function_symbol_PBInit ( )
inline

Definition at line 643 of file function_symbols.h.

◆ function_symbol_PREqn()

const atermpp::function_symbol & mcrl2::core::detail::function_symbol_PREqn ( )
inline

Definition at line 787 of file function_symbols.h.

◆ function_symbol_PREqnSpec()

const atermpp::function_symbol & mcrl2::core::detail::function_symbol_PREqnSpec ( )
inline

Definition at line 795 of file function_symbols.h.

◆ function_symbol_PRES()

const atermpp::function_symbol & mcrl2::core::detail::function_symbol_PRES ( )
inline

Definition at line 651 of file function_symbols.h.

◆ function_symbol_PRESAnd()

const atermpp::function_symbol & mcrl2::core::detail::function_symbol_PRESAnd ( )
inline

Definition at line 659 of file function_symbols.h.

◆ function_symbol_PRESCondEq()

const atermpp::function_symbol & mcrl2::core::detail::function_symbol_PRESCondEq ( )
inline

Definition at line 667 of file function_symbols.h.

◆ function_symbol_PRESCondSm()

const atermpp::function_symbol & mcrl2::core::detail::function_symbol_PRESCondSm ( )
inline

Definition at line 675 of file function_symbols.h.

◆ function_symbol_PRESConstantMultiply()

const atermpp::function_symbol & mcrl2::core::detail::function_symbol_PRESConstantMultiply ( )
inline

Definition at line 683 of file function_symbols.h.

◆ function_symbol_PRESConstantMultiplyAlt()

const atermpp::function_symbol & mcrl2::core::detail::function_symbol_PRESConstantMultiplyAlt ( )
inline

Definition at line 691 of file function_symbols.h.

◆ function_symbol_PRESEqInf()

const atermpp::function_symbol & mcrl2::core::detail::function_symbol_PRESEqInf ( )
inline

Definition at line 699 of file function_symbols.h.

◆ function_symbol_PRESEqNInf()

const atermpp::function_symbol & mcrl2::core::detail::function_symbol_PRESEqNInf ( )
inline

Definition at line 707 of file function_symbols.h.

◆ function_symbol_PRESFalse()

const atermpp::function_symbol & mcrl2::core::detail::function_symbol_PRESFalse ( )
inline

Definition at line 715 of file function_symbols.h.

◆ function_symbol_PRESImp()

const atermpp::function_symbol & mcrl2::core::detail::function_symbol_PRESImp ( )
inline

Definition at line 723 of file function_symbols.h.

◆ function_symbol_PRESInfimum()

const atermpp::function_symbol & mcrl2::core::detail::function_symbol_PRESInfimum ( )
inline

Definition at line 731 of file function_symbols.h.

◆ function_symbol_PRESMinus()

const atermpp::function_symbol & mcrl2::core::detail::function_symbol_PRESMinus ( )
inline

Definition at line 739 of file function_symbols.h.

◆ function_symbol_PRESOr()

const atermpp::function_symbol & mcrl2::core::detail::function_symbol_PRESOr ( )
inline

Definition at line 747 of file function_symbols.h.

◆ function_symbol_PRESPlus()

const atermpp::function_symbol & mcrl2::core::detail::function_symbol_PRESPlus ( )
inline

Definition at line 755 of file function_symbols.h.

◆ function_symbol_PRESSum()

const atermpp::function_symbol & mcrl2::core::detail::function_symbol_PRESSum ( )
inline

Definition at line 763 of file function_symbols.h.

◆ function_symbol_PRESSupremum()

const atermpp::function_symbol & mcrl2::core::detail::function_symbol_PRESSupremum ( )
inline

Definition at line 771 of file function_symbols.h.

◆ function_symbol_PRESTrue()

const atermpp::function_symbol & mcrl2::core::detail::function_symbol_PRESTrue ( )
inline

Definition at line 779 of file function_symbols.h.

◆ function_symbol_PRInit()

const atermpp::function_symbol & mcrl2::core::detail::function_symbol_PRInit ( )
inline

Definition at line 803 of file function_symbols.h.

◆ function_symbol_ProcEqn()

const atermpp::function_symbol & mcrl2::core::detail::function_symbol_ProcEqn ( )
inline

Definition at line 811 of file function_symbols.h.

◆ function_symbol_ProcEqnSpec()

const atermpp::function_symbol & mcrl2::core::detail::function_symbol_ProcEqnSpec ( )
inline

Definition at line 819 of file function_symbols.h.

◆ function_symbol_Process()

const atermpp::function_symbol & mcrl2::core::detail::function_symbol_Process ( )
inline

Definition at line 843 of file function_symbols.h.

◆ function_symbol_ProcessAssignment()

const atermpp::function_symbol & mcrl2::core::detail::function_symbol_ProcessAssignment ( )
inline

Definition at line 851 of file function_symbols.h.

◆ function_symbol_ProcessInit()

const atermpp::function_symbol & mcrl2::core::detail::function_symbol_ProcessInit ( )
inline

Definition at line 859 of file function_symbols.h.

◆ function_symbol_ProcSpec()

const atermpp::function_symbol & mcrl2::core::detail::function_symbol_ProcSpec ( )
inline

Definition at line 827 of file function_symbols.h.

◆ function_symbol_ProcVarId()

const atermpp::function_symbol & mcrl2::core::detail::function_symbol_ProcVarId ( )
inline

Definition at line 835 of file function_symbols.h.

◆ function_symbol_ProcVarIdNoIndex()

const atermpp::function_symbol & mcrl2::core::detail::function_symbol_ProcVarIdNoIndex ( )
inline

Definition at line 114 of file function_symbols.h.

◆ function_symbol_PropVarDecl()

const atermpp::function_symbol & mcrl2::core::detail::function_symbol_PropVarDecl ( )
inline

Definition at line 867 of file function_symbols.h.

◆ function_symbol_PropVarInst()

const atermpp::function_symbol & mcrl2::core::detail::function_symbol_PropVarInst ( )
inline

Definition at line 875 of file function_symbols.h.

◆ function_symbol_PropVarInstNoIndex()

const atermpp::function_symbol & mcrl2::core::detail::function_symbol_PropVarInstNoIndex ( )
inline

Definition at line 130 of file function_symbols.h.

◆ function_symbol_RegAlt()

const atermpp::function_symbol & mcrl2::core::detail::function_symbol_RegAlt ( )
inline

Definition at line 883 of file function_symbols.h.

◆ function_symbol_RegNil()

const atermpp::function_symbol & mcrl2::core::detail::function_symbol_RegNil ( )
inline

Definition at line 891 of file function_symbols.h.

◆ function_symbol_RegSeq()

const atermpp::function_symbol & mcrl2::core::detail::function_symbol_RegSeq ( )
inline

Definition at line 899 of file function_symbols.h.

◆ function_symbol_RegTrans()

const atermpp::function_symbol & mcrl2::core::detail::function_symbol_RegTrans ( )
inline

Definition at line 907 of file function_symbols.h.

◆ function_symbol_RegTransOrNil()

const atermpp::function_symbol & mcrl2::core::detail::function_symbol_RegTransOrNil ( )
inline

Definition at line 915 of file function_symbols.h.

◆ function_symbol_Rename()

const atermpp::function_symbol & mcrl2::core::detail::function_symbol_Rename ( )
inline

Definition at line 923 of file function_symbols.h.

◆ function_symbol_RenameExpr()

const atermpp::function_symbol & mcrl2::core::detail::function_symbol_RenameExpr ( )
inline

Definition at line 931 of file function_symbols.h.

◆ function_symbol_Seq()

const atermpp::function_symbol & mcrl2::core::detail::function_symbol_Seq ( )
inline

Definition at line 939 of file function_symbols.h.

◆ function_symbol_SetComp()

const atermpp::function_symbol & mcrl2::core::detail::function_symbol_SetComp ( )
inline

Definition at line 947 of file function_symbols.h.

◆ function_symbol_SortArrow()

const atermpp::function_symbol & mcrl2::core::detail::function_symbol_SortArrow ( )
inline

Definition at line 955 of file function_symbols.h.

◆ function_symbol_SortBag()

const atermpp::function_symbol & mcrl2::core::detail::function_symbol_SortBag ( )
inline

Definition at line 963 of file function_symbols.h.

◆ function_symbol_SortCons()

const atermpp::function_symbol & mcrl2::core::detail::function_symbol_SortCons ( )
inline

Definition at line 971 of file function_symbols.h.

◆ function_symbol_SortFBag()

const atermpp::function_symbol & mcrl2::core::detail::function_symbol_SortFBag ( )
inline

Definition at line 979 of file function_symbols.h.

◆ function_symbol_SortFSet()

const atermpp::function_symbol & mcrl2::core::detail::function_symbol_SortFSet ( )
inline

Definition at line 987 of file function_symbols.h.

◆ function_symbol_SortId()

const atermpp::function_symbol & mcrl2::core::detail::function_symbol_SortId ( )
inline

Definition at line 995 of file function_symbols.h.

◆ function_symbol_SortList()

const atermpp::function_symbol & mcrl2::core::detail::function_symbol_SortList ( )
inline

Definition at line 1003 of file function_symbols.h.

◆ function_symbol_SortRef()

const atermpp::function_symbol & mcrl2::core::detail::function_symbol_SortRef ( )
inline

Definition at line 1011 of file function_symbols.h.

◆ function_symbol_SortSet()

const atermpp::function_symbol & mcrl2::core::detail::function_symbol_SortSet ( )
inline

Definition at line 1019 of file function_symbols.h.

◆ function_symbol_SortSpec()

const atermpp::function_symbol & mcrl2::core::detail::function_symbol_SortSpec ( )
inline

Definition at line 1027 of file function_symbols.h.

◆ function_symbol_SortStruct()

const atermpp::function_symbol & mcrl2::core::detail::function_symbol_SortStruct ( )
inline

Definition at line 1035 of file function_symbols.h.

◆ function_symbol_StateAnd()

const atermpp::function_symbol & mcrl2::core::detail::function_symbol_StateAnd ( )
inline

Definition at line 1043 of file function_symbols.h.

◆ function_symbol_StateConstantMultiply()

const atermpp::function_symbol & mcrl2::core::detail::function_symbol_StateConstantMultiply ( )
inline

Definition at line 1051 of file function_symbols.h.

◆ function_symbol_StateConstantMultiplyAlt()

const atermpp::function_symbol & mcrl2::core::detail::function_symbol_StateConstantMultiplyAlt ( )
inline

Definition at line 1059 of file function_symbols.h.

◆ function_symbol_StateDelay()

const atermpp::function_symbol & mcrl2::core::detail::function_symbol_StateDelay ( )
inline

Definition at line 1067 of file function_symbols.h.

◆ function_symbol_StateDelayTimed()

const atermpp::function_symbol & mcrl2::core::detail::function_symbol_StateDelayTimed ( )
inline

Definition at line 1075 of file function_symbols.h.

◆ function_symbol_StateExists()

const atermpp::function_symbol & mcrl2::core::detail::function_symbol_StateExists ( )
inline

Definition at line 1083 of file function_symbols.h.

◆ function_symbol_StateFalse()

const atermpp::function_symbol & mcrl2::core::detail::function_symbol_StateFalse ( )
inline

Definition at line 1091 of file function_symbols.h.

◆ function_symbol_StateForall()

const atermpp::function_symbol & mcrl2::core::detail::function_symbol_StateForall ( )
inline

Definition at line 1099 of file function_symbols.h.

◆ function_symbol_StateImp()

const atermpp::function_symbol & mcrl2::core::detail::function_symbol_StateImp ( )
inline

Definition at line 1107 of file function_symbols.h.

◆ function_symbol_StateInfimum()

const atermpp::function_symbol & mcrl2::core::detail::function_symbol_StateInfimum ( )
inline

Definition at line 1115 of file function_symbols.h.

◆ function_symbol_StateMay()

const atermpp::function_symbol & mcrl2::core::detail::function_symbol_StateMay ( )
inline

Definition at line 1123 of file function_symbols.h.

◆ function_symbol_StateMinus()

const atermpp::function_symbol & mcrl2::core::detail::function_symbol_StateMinus ( )
inline

Definition at line 1131 of file function_symbols.h.

◆ function_symbol_StateMu()

const atermpp::function_symbol & mcrl2::core::detail::function_symbol_StateMu ( )
inline

Definition at line 1139 of file function_symbols.h.

◆ function_symbol_StateMust()

const atermpp::function_symbol & mcrl2::core::detail::function_symbol_StateMust ( )
inline

Definition at line 1147 of file function_symbols.h.

◆ function_symbol_StateNot()

const atermpp::function_symbol & mcrl2::core::detail::function_symbol_StateNot ( )
inline

Definition at line 1155 of file function_symbols.h.

◆ function_symbol_StateNu()

const atermpp::function_symbol & mcrl2::core::detail::function_symbol_StateNu ( )
inline

Definition at line 1163 of file function_symbols.h.

◆ function_symbol_StateOr()

const atermpp::function_symbol & mcrl2::core::detail::function_symbol_StateOr ( )
inline

Definition at line 1171 of file function_symbols.h.

◆ function_symbol_StatePlus()

const atermpp::function_symbol & mcrl2::core::detail::function_symbol_StatePlus ( )
inline

Definition at line 1179 of file function_symbols.h.

◆ function_symbol_StateSum()

const atermpp::function_symbol & mcrl2::core::detail::function_symbol_StateSum ( )
inline

Definition at line 1187 of file function_symbols.h.

◆ function_symbol_StateSupremum()

const atermpp::function_symbol & mcrl2::core::detail::function_symbol_StateSupremum ( )
inline

Definition at line 1195 of file function_symbols.h.

◆ function_symbol_StateTrue()

const atermpp::function_symbol & mcrl2::core::detail::function_symbol_StateTrue ( )
inline

Definition at line 1203 of file function_symbols.h.

◆ function_symbol_StateVar()

const atermpp::function_symbol & mcrl2::core::detail::function_symbol_StateVar ( )
inline

Definition at line 1211 of file function_symbols.h.

◆ function_symbol_StateYaled()

const atermpp::function_symbol & mcrl2::core::detail::function_symbol_StateYaled ( )
inline

Definition at line 1219 of file function_symbols.h.

◆ function_symbol_StateYaledTimed()

const atermpp::function_symbol & mcrl2::core::detail::function_symbol_StateYaledTimed ( )
inline

Definition at line 1227 of file function_symbols.h.

◆ function_symbol_StochasticOperator()

const atermpp::function_symbol & mcrl2::core::detail::function_symbol_StochasticOperator ( )
inline

Definition at line 1235 of file function_symbols.h.

◆ function_symbol_StructCons()

const atermpp::function_symbol & mcrl2::core::detail::function_symbol_StructCons ( )
inline

Definition at line 1243 of file function_symbols.h.

◆ function_symbol_StructProj()

const atermpp::function_symbol & mcrl2::core::detail::function_symbol_StructProj ( )
inline

Definition at line 1251 of file function_symbols.h.

◆ function_symbol_Sum()

const atermpp::function_symbol & mcrl2::core::detail::function_symbol_Sum ( )
inline

Definition at line 1259 of file function_symbols.h.

◆ function_symbol_Sync()

const atermpp::function_symbol & mcrl2::core::detail::function_symbol_Sync ( )
inline

Definition at line 1267 of file function_symbols.h.

◆ function_symbol_Tau()

const atermpp::function_symbol & mcrl2::core::detail::function_symbol_Tau ( )
inline

Definition at line 1275 of file function_symbols.h.

◆ function_symbol_TimedMultAct()

const atermpp::function_symbol & mcrl2::core::detail::function_symbol_TimedMultAct ( )
inline

Definition at line 1283 of file function_symbols.h.

◆ function_symbol_UntypedDataParameter()

const atermpp::function_symbol & mcrl2::core::detail::function_symbol_UntypedDataParameter ( )
inline

Definition at line 1291 of file function_symbols.h.

◆ function_symbol_UntypedIdentifier()

const atermpp::function_symbol & mcrl2::core::detail::function_symbol_UntypedIdentifier ( )
inline

Definition at line 1299 of file function_symbols.h.

◆ function_symbol_UntypedIdentifierAssignment()

const atermpp::function_symbol & mcrl2::core::detail::function_symbol_UntypedIdentifierAssignment ( )
inline

Definition at line 1307 of file function_symbols.h.

◆ function_symbol_UntypedMultiAction()

const atermpp::function_symbol & mcrl2::core::detail::function_symbol_UntypedMultiAction ( )
inline

Definition at line 1315 of file function_symbols.h.

◆ function_symbol_UntypedProcessAssignment()

const atermpp::function_symbol & mcrl2::core::detail::function_symbol_UntypedProcessAssignment ( )
inline

Definition at line 1323 of file function_symbols.h.

◆ function_symbol_UntypedRegFrm()

const atermpp::function_symbol & mcrl2::core::detail::function_symbol_UntypedRegFrm ( )
inline

Definition at line 1331 of file function_symbols.h.

◆ function_symbol_UntypedSetBagComp()

const atermpp::function_symbol & mcrl2::core::detail::function_symbol_UntypedSetBagComp ( )
inline

Definition at line 1339 of file function_symbols.h.

◆ function_symbol_UntypedSortsPossible()

const atermpp::function_symbol & mcrl2::core::detail::function_symbol_UntypedSortsPossible ( )
inline

Definition at line 1363 of file function_symbols.h.

◆ function_symbol_UntypedSortUnknown()

const atermpp::function_symbol & mcrl2::core::detail::function_symbol_UntypedSortUnknown ( )
inline

Definition at line 1347 of file function_symbols.h.

◆ function_symbol_UntypedSortVariable()

const atermpp::function_symbol & mcrl2::core::detail::function_symbol_UntypedSortVariable ( )
inline

Definition at line 1355 of file function_symbols.h.

◆ function_symbol_Whr()

const atermpp::function_symbol & mcrl2::core::detail::function_symbol_Whr ( )
inline

Definition at line 1371 of file function_symbols.h.

◆ get_dparser_error_message_count()

std::size_t mcrl2::core::detail::get_dparser_error_message_count ( )
inline

Definition at line 65 of file dparser.h.

◆ get_dparser_max_error_message_count()

std::size_t mcrl2::core::detail::get_dparser_max_error_message_count ( )
inline

Definition at line 71 of file dparser.h.

◆ gsIsDataAppl()

bool mcrl2::core::detail::gsIsDataAppl ( const atermpp::aterm Term)
inline

Definition at line 81 of file function_symbols.h.

◆ gsIsDataAppl_no_check()

bool mcrl2::core::detail::gsIsDataAppl_no_check ( const atermpp::aterm Term)
inline

Definition at line 87 of file function_symbols.h.

◆ increment_dparser_error_message_count()

void mcrl2::core::detail::increment_dparser_error_message_count ( )
inline

Definition at line 59 of file dparser.h.

◆ is_all_of_type()

bool mcrl2::core::detail::is_all_of_type ( D_ParseNode *  nodes[],
int  n,
const char *  type,
const core::parser_table table 
)
inline

Definition at line 299 of file dparser.cpp.

◆ log_location()

static void mcrl2::core::detail::log_location ( struct D_Parser *  ap)
static

Definition at line 439 of file dparser.cpp.

◆ print_ambiguous_nodes()

void mcrl2::core::detail::print_ambiguous_nodes ( D_ParseNode *  nodes[],
int  n,
const char *  type,
const core::parser_table table 
)
inline

Definition at line 313 of file dparser.cpp.

◆ print_arguments()

template<typename Container >
std::string mcrl2::core::detail::print_arguments ( const Container &  v)

Prints a comma separated list of the elements of v. If v is empty, the empty string is returned.

Parameters
vA container

Definition at line 117 of file print_utility.h.

◆ print_chosen_node()

void mcrl2::core::detail::print_chosen_node ( D_ParseNode *  node,
const core::parser_table table 
)
inline

Definition at line 325 of file dparser.cpp.

◆ print_container()

template<typename Container >
std::string mcrl2::core::detail::print_container ( const Container &  v,
const std::string &  begin_marker = "(",
const std::string &  end_marker = ")",
const std::string &  message = "",
bool  print_index = false,
bool  boundary_spaces = true 
)

Creates a string representation of a container using the pp pretty print function.

Parameters
vA container
messageA string
print_indexIf true, an index is written in front of each term

Definition at line 31 of file print_utility.h.

◆ print_list()

template<typename Container >
std::string mcrl2::core::detail::print_list ( const Container &  v,
const std::string &  message = "",
bool  print_index = false,
bool  boundary_spaces = true 
)

Creates a string representation of a container.

Parameters
vA container
messageA string
print_indexIf true, an index is written in front of each term

Definition at line 74 of file print_utility.h.

◆ print_map()

template<typename MapContainer >
std::string mcrl2::core::detail::print_map ( const MapContainer &  v,
const std::string &  message = "" 
)

Creates a string representation of a map.

Parameters
vA map container
messageA string
print_indexIf true, an index is written in front of each term

Definition at line 94 of file print_utility.h.

◆ print_set()

template<typename Container >
std::string mcrl2::core::detail::print_set ( const Container &  v,
const std::string &  message = "",
bool  print_index = false,
bool  boundary_spaces = true 
)

Creates a string representation of a container.

Parameters
vA container
messageA string
print_indexIf true, an index is written in front of each term

Definition at line 84 of file print_utility.h.

◆ reset_dparser_error_message_count()

void mcrl2::core::detail::reset_dparser_error_message_count ( )
inline

Definition at line 53 of file dparser.h.

◆ set_dparser_max_error_message_count()

void mcrl2::core::detail::set_dparser_max_error_message_count ( std::size_t  n)
inline

Definition at line 77 of file dparser.h.

◆ syntax_error_fn()

void mcrl2::core::detail::syntax_error_fn ( struct D_Parser *  ap)

Custom syntax error function that prints both the line number and the column.

Definition at line 463 of file dparser.cpp.

Variable Documentation

◆ DataApplFixed

constexpr std::size_t mcrl2::core::detail::DataApplFixed = 100
constexpr

Definition at line 29 of file function_symbols.h.

◆ function_symbols_DataAppl

std::vector< std::unique_ptr< atermpp::function_symbol > > mcrl2::core::detail::function_symbols_DataAppl

Definition at line 20 of file core.cpp.

◆ function_symbols_DataApplFixed

atermpp::function_symbol mcrl2::core::detail::function_symbols_DataApplFixed

Definition at line 21 of file core.cpp.