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_int &	default_value_Number ()

const atermpp::aterm &	default_value_String ()

const atermpp::aterm &	default_value_StringOrEmpty ()

const atermpp::aterm_list &	default_value_List ()

atermpp::aterm_list	default_value_List (const atermpp::aterm &t)

const atermpp::aterm &	default_value_SortCons ()

const atermpp::aterm &	default_value_SortStruct ()

const atermpp::aterm &	default_value_SortArrow ()

const atermpp::aterm &	default_value_UntypedSortUnknown ()

const atermpp::aterm &	default_value_UntypedSortsPossible ()

const atermpp::aterm &	default_value_UntypedSortVariable ()

const atermpp::aterm &	default_value_SortId ()

const atermpp::aterm &	default_value_SortList ()

const atermpp::aterm &	default_value_SortSet ()

const atermpp::aterm &	default_value_SortBag ()

const atermpp::aterm &	default_value_SortFSet ()

const atermpp::aterm &	default_value_SortFBag ()

const atermpp::aterm &	default_value_StructCons ()

const atermpp::aterm &	default_value_StructProj ()

const atermpp::aterm &	default_value_Binder ()

const atermpp::aterm &	default_value_Whr ()

const atermpp::aterm &	default_value_UntypedIdentifier ()

const atermpp::aterm &	default_value_DataVarId ()

const atermpp::aterm &	default_value_OpId ()

const atermpp::aterm &	default_value_UntypedDataParameter ()

const atermpp::aterm &	default_value_Forall ()

const atermpp::aterm &	default_value_Exists ()

const atermpp::aterm &	default_value_SetComp ()

const atermpp::aterm &	default_value_BagComp ()

const atermpp::aterm &	default_value_Lambda ()

const atermpp::aterm &	default_value_UntypedSetBagComp ()

const atermpp::aterm &	default_value_DataVarIdInit ()

const atermpp::aterm &	default_value_UntypedIdentifierAssignment ()

const atermpp::aterm &	default_value_DataSpec ()

const atermpp::aterm &	default_value_SortSpec ()

const atermpp::aterm &	default_value_ConsSpec ()

const atermpp::aterm &	default_value_MapSpec ()

const atermpp::aterm &	default_value_DataEqnSpec ()

const atermpp::aterm &	default_value_SortRef ()

const atermpp::aterm &	default_value_DataEqn ()

const atermpp::aterm &	default_value_MultAct ()

const atermpp::aterm &	default_value_TimedMultAct ()

const atermpp::aterm &	default_value_UntypedMultiAction ()

const atermpp::aterm &	default_value_Action ()

const atermpp::aterm &	default_value_ActId ()

const atermpp::aterm &	default_value_Process ()

const atermpp::aterm &	default_value_ProcessAssignment ()

const atermpp::aterm &	default_value_Delta ()

const atermpp::aterm &	default_value_Tau ()

const atermpp::aterm &	default_value_Sum ()

const atermpp::aterm &	default_value_Block ()

const atermpp::aterm &	default_value_Hide ()

const atermpp::aterm &	default_value_Rename ()

const atermpp::aterm &	default_value_Comm ()

const atermpp::aterm &	default_value_Allow ()

const atermpp::aterm &	default_value_Sync ()

const atermpp::aterm &	default_value_AtTime ()

const atermpp::aterm &	default_value_Seq ()

const atermpp::aterm &	default_value_IfThen ()

const atermpp::aterm &	default_value_IfThenElse ()

const atermpp::aterm &	default_value_BInit ()

const atermpp::aterm &	default_value_Merge ()

const atermpp::aterm &	default_value_LMerge ()

const atermpp::aterm &	default_value_Choice ()

const atermpp::aterm &	default_value_StochasticOperator ()

const atermpp::aterm &	default_value_UntypedProcessAssignment ()

const atermpp::aterm &	default_value_ProcVarId ()

const atermpp::aterm &	default_value_MultActName ()

const atermpp::aterm &	default_value_RenameExpr ()

const atermpp::aterm &	default_value_CommExpr ()

const atermpp::aterm &	default_value_ProcSpec ()

const atermpp::aterm &	default_value_ActSpec ()

const atermpp::aterm &	default_value_GlobVarSpec ()

const atermpp::aterm &	default_value_ProcEqnSpec ()

const atermpp::aterm &	default_value_ProcEqn ()

const atermpp::aterm &	default_value_ProcessInit ()

const atermpp::aterm &	default_value_Distribution ()

const atermpp::aterm &	default_value_LinProcSpec ()

const atermpp::aterm &	default_value_LinearProcess ()

const atermpp::aterm &	default_value_LinearProcessSummand ()

const atermpp::aterm &	default_value_LinearProcessInit ()

const atermpp::aterm &	default_value_StateTrue ()

const atermpp::aterm &	default_value_StateFalse ()

const atermpp::aterm &	default_value_StateNot ()

const atermpp::aterm &	default_value_StateMinus ()

const atermpp::aterm &	default_value_StateAnd ()

const atermpp::aterm &	default_value_StateOr ()

const atermpp::aterm &	default_value_StateImp ()

const atermpp::aterm &	default_value_StatePlus ()

const atermpp::aterm &	default_value_StateConstantMultiply ()

const atermpp::aterm &	default_value_StateConstantMultiplyAlt ()

const atermpp::aterm &	default_value_StateForall ()

const atermpp::aterm &	default_value_StateExists ()

const atermpp::aterm &	default_value_StateInfimum ()

const atermpp::aterm &	default_value_StateSupremum ()

const atermpp::aterm &	default_value_StateSum ()

const atermpp::aterm &	default_value_StateMust ()

const atermpp::aterm &	default_value_StateMay ()

const atermpp::aterm &	default_value_StateYaled ()

const atermpp::aterm &	default_value_StateYaledTimed ()

const atermpp::aterm &	default_value_StateDelay ()

const atermpp::aterm &	default_value_StateDelayTimed ()

const atermpp::aterm &	default_value_StateVar ()

const atermpp::aterm &	default_value_StateNu ()

const atermpp::aterm &	default_value_StateMu ()

const atermpp::aterm &	default_value_RegNil ()

const atermpp::aterm &	default_value_RegSeq ()

const atermpp::aterm &	default_value_RegAlt ()

const atermpp::aterm &	default_value_RegTrans ()

const atermpp::aterm &	default_value_RegTransOrNil ()

const atermpp::aterm &	default_value_UntypedRegFrm ()

const atermpp::aterm &	default_value_ActTrue ()

const atermpp::aterm &	default_value_ActFalse ()

const atermpp::aterm &	default_value_ActNot ()

const atermpp::aterm &	default_value_ActAnd ()

const atermpp::aterm &	default_value_ActOr ()

const atermpp::aterm &	default_value_ActImp ()

const atermpp::aterm &	default_value_ActForall ()

const atermpp::aterm &	default_value_ActExists ()

const atermpp::aterm &	default_value_ActAt ()

const atermpp::aterm &	default_value_ActMultAct ()

const atermpp::aterm &	default_value_ActionRenameRules ()

const atermpp::aterm &	default_value_ActionRenameRule ()

const atermpp::aterm &	default_value_ActionRenameSpec ()

const atermpp::aterm &	default_value_PBES ()

const atermpp::aterm &	default_value_PBEqnSpec ()

const atermpp::aterm &	default_value_PBInit ()

const atermpp::aterm &	default_value_PBEqn ()

const atermpp::aterm &	default_value_Mu ()

const atermpp::aterm &	default_value_Nu ()

const atermpp::aterm &	default_value_PropVarDecl ()

const atermpp::aterm &	default_value_PBESTrue ()

const atermpp::aterm &	default_value_PBESFalse ()

const atermpp::aterm &	default_value_PBESNot ()

const atermpp::aterm &	default_value_PBESAnd ()

const atermpp::aterm &	default_value_PBESOr ()

const atermpp::aterm &	default_value_PBESImp ()

const atermpp::aterm &	default_value_PBESForall ()

const atermpp::aterm &	default_value_PBESExists ()

const atermpp::aterm &	default_value_PropVarInst ()

const atermpp::aterm &	default_value_PRES ()

const atermpp::aterm &	default_value_PREqnSpec ()

const atermpp::aterm &	default_value_PRInit ()

const atermpp::aterm &	default_value_PREqn ()

const atermpp::aterm &	default_value_PRESTrue ()

const atermpp::aterm &	default_value_PRESFalse ()

const atermpp::aterm &	default_value_PRESMinus ()

const atermpp::aterm &	default_value_PRESAnd ()

const atermpp::aterm &	default_value_PRESOr ()

const atermpp::aterm &	default_value_PRESImp ()

const atermpp::aterm &	default_value_PRESPlus ()

const atermpp::aterm &	default_value_PRESConstantMultiply ()

const atermpp::aterm &	default_value_PRESConstantMultiplyAlt ()

const atermpp::aterm &	default_value_PRESInfimum ()

const atermpp::aterm &	default_value_PRESSupremum ()

const atermpp::aterm &	default_value_PRESSum ()

const atermpp::aterm &	default_value_PRESEqInf ()

const atermpp::aterm &	default_value_PRESEqNInf ()

const atermpp::aterm &	default_value_PRESCondSm ()

const atermpp::aterm &	default_value_PRESCondEq ()

const atermpp::aterm &	default_value_SortExpr ()

const atermpp::aterm &	default_value_SortConsType ()

const atermpp::aterm &	default_value_DataExpr ()

const atermpp::aterm &	default_value_BindingOperator ()

const atermpp::aterm &	default_value_WhrDecl ()

const atermpp::aterm &	default_value_SortDecl ()

const atermpp::aterm &	default_value_ProcExpr ()

const atermpp::aterm &	default_value_MultActOrDelta ()

const atermpp::aterm &	default_value_ProcInit ()

const atermpp::aterm &	default_value_StateFrm ()

const atermpp::aterm &	default_value_RegFrm ()

const atermpp::aterm &	default_value_ActFrm ()

const atermpp::aterm &	default_value_ParamIdOrAction ()

const atermpp::aterm &	default_value_ActionRenameRuleRHS ()

const atermpp::aterm &	default_value_FixPoint ()

const atermpp::aterm &	default_value_PBExpr ()

const atermpp::aterm &	default_value_PRExpr ()

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

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)

D_ParseNode *	ambiguity_fn (struct D_Parser , int n, struct D_ParseNode *v)
	Function for resolving parser ambiguities.

static void	log_location (struct D_Parser *ap)

void	syntax_error_fn (struct D_Parser *ap)
	Custom syntax error function that prints both the line number and the column.

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)

const atermpp::function_symbol &	function_symbol_DataAppl_helper (std::size_t i)

const atermpp::function_symbol &	function_symbol_DataAppl (std::size_t i)

bool	gsIsDataAppl (const atermpp::aterm &Term)

bool	gsIsDataAppl_no_check (const atermpp::aterm &Term)

const atermpp::function_symbol &	function_symbol_OpIdNoIndex ()

const atermpp::function_symbol &	function_symbol_ActAnd ()

const atermpp::function_symbol &	function_symbol_ActAt ()

const atermpp::function_symbol &	function_symbol_ActExists ()

const atermpp::function_symbol &	function_symbol_ActFalse ()

const atermpp::function_symbol &	function_symbol_ActForall ()

const atermpp::function_symbol &	function_symbol_ActId ()

const atermpp::function_symbol &	function_symbol_ActImp ()

const atermpp::function_symbol &	function_symbol_ActMultAct ()

const atermpp::function_symbol &	function_symbol_ActNot ()

const atermpp::function_symbol &	function_symbol_ActOr ()

const atermpp::function_symbol &	function_symbol_ActSpec ()

const atermpp::function_symbol &	function_symbol_ActTrue ()

const atermpp::function_symbol &	function_symbol_Action ()

const atermpp::function_symbol &	function_symbol_ActionRenameRule ()

const atermpp::function_symbol &	function_symbol_ActionRenameRules ()

const atermpp::function_symbol &	function_symbol_ActionRenameSpec ()

const atermpp::function_symbol &	function_symbol_Allow ()

const atermpp::function_symbol &	function_symbol_AtTime ()

const atermpp::function_symbol &	function_symbol_BInit ()

const atermpp::function_symbol &	function_symbol_BagComp ()

const atermpp::function_symbol &	function_symbol_Binder ()

const atermpp::function_symbol &	function_symbol_Block ()

const atermpp::function_symbol &	function_symbol_Choice ()

const atermpp::function_symbol &	function_symbol_Comm ()

const atermpp::function_symbol &	function_symbol_CommExpr ()

const atermpp::function_symbol &	function_symbol_ConsSpec ()

const atermpp::function_symbol &	function_symbol_DataEqn ()

const atermpp::function_symbol &	function_symbol_DataEqnSpec ()

const atermpp::function_symbol &	function_symbol_DataSpec ()

const atermpp::function_symbol &	function_symbol_DataVarId ()

const atermpp::function_symbol &	function_symbol_DataVarIdInit ()

const atermpp::function_symbol &	function_symbol_Delta ()

const atermpp::function_symbol &	function_symbol_Distribution ()

const atermpp::function_symbol &	function_symbol_Exists ()

const atermpp::function_symbol &	function_symbol_Forall ()

const atermpp::function_symbol &	function_symbol_GlobVarSpec ()

const atermpp::function_symbol &	function_symbol_Hide ()

const atermpp::function_symbol &	function_symbol_IfThen ()

const atermpp::function_symbol &	function_symbol_IfThenElse ()

const atermpp::function_symbol &	function_symbol_LMerge ()

const atermpp::function_symbol &	function_symbol_Lambda ()

const atermpp::function_symbol &	function_symbol_LinProcSpec ()

const atermpp::function_symbol &	function_symbol_LinearProcess ()

const atermpp::function_symbol &	function_symbol_LinearProcessInit ()

const atermpp::function_symbol &	function_symbol_LinearProcessSummand ()

const atermpp::function_symbol &	function_symbol_MapSpec ()

const atermpp::function_symbol &	function_symbol_Merge ()

const atermpp::function_symbol &	function_symbol_Mu ()

const atermpp::function_symbol &	function_symbol_MultAct ()

const atermpp::function_symbol &	function_symbol_MultActName ()

const atermpp::function_symbol &	function_symbol_Nu ()

const atermpp::function_symbol &	function_symbol_OpId ()

const atermpp::function_symbol &	function_symbol_PBES ()

const atermpp::function_symbol &	function_symbol_PBESAnd ()

const atermpp::function_symbol &	function_symbol_PBESExists ()

const atermpp::function_symbol &	function_symbol_PBESFalse ()

const atermpp::function_symbol &	function_symbol_PBESForall ()

const atermpp::function_symbol &	function_symbol_PBESImp ()

const atermpp::function_symbol &	function_symbol_PBESNot ()

const atermpp::function_symbol &	function_symbol_PBESOr ()

const atermpp::function_symbol &	function_symbol_PBESTrue ()

const atermpp::function_symbol &	function_symbol_PBEqn ()

const atermpp::function_symbol &	function_symbol_PBEqnSpec ()

const atermpp::function_symbol &	function_symbol_PBInit ()

const atermpp::function_symbol &	function_symbol_PRES ()

const atermpp::function_symbol &	function_symbol_PRESAnd ()

const atermpp::function_symbol &	function_symbol_PRESCondEq ()

const atermpp::function_symbol &	function_symbol_PRESCondSm ()

const atermpp::function_symbol &	function_symbol_PRESConstantMultiply ()

const atermpp::function_symbol &	function_symbol_PRESConstantMultiplyAlt ()

const atermpp::function_symbol &	function_symbol_PRESEqInf ()

const atermpp::function_symbol &	function_symbol_PRESEqNInf ()

const atermpp::function_symbol &	function_symbol_PRESFalse ()

const atermpp::function_symbol &	function_symbol_PRESImp ()

const atermpp::function_symbol &	function_symbol_PRESInfimum ()

const atermpp::function_symbol &	function_symbol_PRESMinus ()

const atermpp::function_symbol &	function_symbol_PRESOr ()

const atermpp::function_symbol &	function_symbol_PRESPlus ()

const atermpp::function_symbol &	function_symbol_PRESSum ()

const atermpp::function_symbol &	function_symbol_PRESSupremum ()

const atermpp::function_symbol &	function_symbol_PRESTrue ()

const atermpp::function_symbol &	function_symbol_PREqn ()

const atermpp::function_symbol &	function_symbol_PREqnSpec ()

const atermpp::function_symbol &	function_symbol_PRInit ()

const atermpp::function_symbol &	function_symbol_ProcEqn ()

const atermpp::function_symbol &	function_symbol_ProcEqnSpec ()

const atermpp::function_symbol &	function_symbol_ProcSpec ()

const atermpp::function_symbol &	function_symbol_ProcVarId ()

const atermpp::function_symbol &	function_symbol_Process ()

const atermpp::function_symbol &	function_symbol_ProcessAssignment ()

const atermpp::function_symbol &	function_symbol_ProcessInit ()

const atermpp::function_symbol &	function_symbol_PropVarDecl ()

const atermpp::function_symbol &	function_symbol_PropVarInst ()

const atermpp::function_symbol &	function_symbol_RegAlt ()

const atermpp::function_symbol &	function_symbol_RegNil ()

const atermpp::function_symbol &	function_symbol_RegSeq ()

const atermpp::function_symbol &	function_symbol_RegTrans ()

const atermpp::function_symbol &	function_symbol_RegTransOrNil ()

const atermpp::function_symbol &	function_symbol_Rename ()

const atermpp::function_symbol &	function_symbol_RenameExpr ()

const atermpp::function_symbol &	function_symbol_Seq ()

const atermpp::function_symbol &	function_symbol_SetComp ()

const atermpp::function_symbol &	function_symbol_SortArrow ()

const atermpp::function_symbol &	function_symbol_SortBag ()

const atermpp::function_symbol &	function_symbol_SortCons ()

const atermpp::function_symbol &	function_symbol_SortFBag ()

const atermpp::function_symbol &	function_symbol_SortFSet ()

const atermpp::function_symbol &	function_symbol_SortId ()

const atermpp::function_symbol &	function_symbol_SortList ()

const atermpp::function_symbol &	function_symbol_SortRef ()

const atermpp::function_symbol &	function_symbol_SortSet ()

const atermpp::function_symbol &	function_symbol_SortSpec ()

const atermpp::function_symbol &	function_symbol_SortStruct ()

const atermpp::function_symbol &	function_symbol_StateAnd ()

const atermpp::function_symbol &	function_symbol_StateConstantMultiply ()

const atermpp::function_symbol &	function_symbol_StateConstantMultiplyAlt ()

const atermpp::function_symbol &	function_symbol_StateDelay ()

const atermpp::function_symbol &	function_symbol_StateDelayTimed ()

const atermpp::function_symbol &	function_symbol_StateExists ()

const atermpp::function_symbol &	function_symbol_StateFalse ()

const atermpp::function_symbol &	function_symbol_StateForall ()

const atermpp::function_symbol &	function_symbol_StateImp ()

const atermpp::function_symbol &	function_symbol_StateInfimum ()

const atermpp::function_symbol &	function_symbol_StateMay ()

const atermpp::function_symbol &	function_symbol_StateMinus ()

const atermpp::function_symbol &	function_symbol_StateMu ()

const atermpp::function_symbol &	function_symbol_StateMust ()

const atermpp::function_symbol &	function_symbol_StateNot ()

const atermpp::function_symbol &	function_symbol_StateNu ()

const atermpp::function_symbol &	function_symbol_StateOr ()

const atermpp::function_symbol &	function_symbol_StatePlus ()

const atermpp::function_symbol &	function_symbol_StateSum ()

const atermpp::function_symbol &	function_symbol_StateSupremum ()

const atermpp::function_symbol &	function_symbol_StateTrue ()

const atermpp::function_symbol &	function_symbol_StateVar ()

const atermpp::function_symbol &	function_symbol_StateYaled ()

const atermpp::function_symbol &	function_symbol_StateYaledTimed ()

const atermpp::function_symbol &	function_symbol_StochasticOperator ()

const atermpp::function_symbol &	function_symbol_StructCons ()

const atermpp::function_symbol &	function_symbol_StructProj ()

const atermpp::function_symbol &	function_symbol_Sum ()

const atermpp::function_symbol &	function_symbol_Sync ()

const atermpp::function_symbol &	function_symbol_Tau ()

const atermpp::function_symbol &	function_symbol_TimedMultAct ()

const atermpp::function_symbol &	function_symbol_UntypedDataParameter ()

const atermpp::function_symbol &	function_symbol_UntypedIdentifier ()

const atermpp::function_symbol &	function_symbol_UntypedIdentifierAssignment ()

const atermpp::function_symbol &	function_symbol_UntypedMultiAction ()

const atermpp::function_symbol &	function_symbol_UntypedProcessAssignment ()

const atermpp::function_symbol &	function_symbol_UntypedRegFrm ()

const atermpp::function_symbol &	function_symbol_UntypedSetBagComp ()

const atermpp::function_symbol &	function_symbol_UntypedSortUnknown ()

const atermpp::function_symbol &	function_symbol_UntypedSortVariable ()

const atermpp::function_symbol &	function_symbol_UntypedSortsPossible ()

const atermpp::function_symbol &	function_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<atermpp::IsATerm Term, typename CheckFunction >
bool	check_term_argument (const Term &t, CheckFunction f)

template<atermpp::IsATerm Term, typename CheckFunction >
bool	check_list_argument (const Term &t, CheckFunction f, unsigned int minimum_size)

template<atermpp::IsATerm Term>
bool	check_rule_String (const Term &t)

template<atermpp::IsATerm Term>
bool	check_rule_StringOrEmpty (const Term &t)

template<atermpp::IsATerm Term>
bool	check_rule_Number (const Term &t)

template<atermpp::IsATerm Term>
bool	check_rule_DataExpr (const Term &t)

template<atermpp::IsATerm Term>
bool	check_term_DataAppl (const Term &t)

template<atermpp::IsATerm Term>
bool	check_rule_SortExpr (const Term &t)

template<atermpp::IsATerm Term>
bool	check_rule_SortId (const Term &t)

template<atermpp::IsATerm Term>
bool	check_rule_SortConsType (const Term &t)

template<atermpp::IsATerm Term>
bool	check_rule_StructCons (const Term &t)

template<atermpp::IsATerm Term>
bool	check_rule_StructProj (const Term &t)

template<atermpp::IsATerm Term>
bool	check_rule_DataVarId (const Term &t)

template<atermpp::IsATerm Term>
bool	check_rule_OpId (const Term &t)

template<atermpp::IsATerm Term>
bool	check_rule_UntypedDataParameter (const Term &t)

template<atermpp::IsATerm Term>
bool	check_rule_BindingOperator (const Term &t)

template<atermpp::IsATerm Term>
bool	check_rule_WhrDecl (const Term &t)

template<atermpp::IsATerm Term>
bool	check_rule_DataVarIdInit (const Term &t)

template<atermpp::IsATerm Term>
bool	check_rule_UntypedIdentifierAssignment (const Term &t)

template<atermpp::IsATerm Term>
bool	check_rule_DataSpec (const Term &t)

template<atermpp::IsATerm Term>
bool	check_rule_SortSpec (const Term &t)

template<atermpp::IsATerm Term>
bool	check_rule_ConsSpec (const Term &t)

template<atermpp::IsATerm Term>
bool	check_rule_MapSpec (const Term &t)

template<atermpp::IsATerm Term>
bool	check_rule_DataEqnSpec (const Term &t)

template<atermpp::IsATerm Term>
bool	check_rule_SortDecl (const Term &t)

template<atermpp::IsATerm Term>
bool	check_rule_DataEqn (const Term &t)

template<atermpp::IsATerm Term>
bool	check_rule_MultAct (const Term &t)

template<atermpp::IsATerm Term>
bool	check_rule_TimedMultAct (const Term &t)

template<atermpp::IsATerm Term>
bool	check_rule_UntypedMultiAction (const Term &t)

template<atermpp::IsATerm Term>
bool	check_rule_Action (const Term &t)

template<atermpp::IsATerm Term>
bool	check_rule_ActId (const Term &t)

template<atermpp::IsATerm Term>
bool	check_rule_ProcExpr (const Term &t)

template<atermpp::IsATerm Term>
bool	check_rule_ProcVarId (const Term &t)

template<atermpp::IsATerm Term>
bool	check_rule_MultActName (const Term &t)

template<atermpp::IsATerm Term>
bool	check_rule_RenameExpr (const Term &t)

template<atermpp::IsATerm Term>
bool	check_rule_CommExpr (const Term &t)

template<atermpp::IsATerm Term>
bool	check_rule_ProcSpec (const Term &t)

template<atermpp::IsATerm Term>
bool	check_rule_ActSpec (const Term &t)

template<atermpp::IsATerm Term>
bool	check_rule_GlobVarSpec (const Term &t)

template<atermpp::IsATerm Term>
bool	check_rule_ProcEqnSpec (const Term &t)

template<atermpp::IsATerm Term>
bool	check_rule_ProcEqn (const Term &t)

template<atermpp::IsATerm Term>
bool	check_rule_MultActOrDelta (const Term &t)

template<atermpp::IsATerm Term>
bool	check_rule_ProcInit (const Term &t)

template<atermpp::IsATerm Term>
bool	check_rule_Distribution (const Term &t)

template<atermpp::IsATerm Term>
bool	check_rule_LinProcSpec (const Term &t)

template<atermpp::IsATerm Term>
bool	check_rule_LinearProcess (const Term &t)

template<atermpp::IsATerm Term>
bool	check_rule_LinearProcessSummand (const Term &t)

template<atermpp::IsATerm Term>
bool	check_rule_LinearProcessInit (const Term &t)

template<atermpp::IsATerm Term>
bool	check_rule_StateFrm (const Term &t)

template<atermpp::IsATerm Term>
bool	check_rule_RegFrm (const Term &t)

template<atermpp::IsATerm Term>
bool	check_rule_ActFrm (const Term &t)

template<atermpp::IsATerm Term>
bool	check_rule_ParamIdOrAction (const Term &t)

template<atermpp::IsATerm Term>
bool	check_rule_ActionRenameRules (const Term &t)

template<atermpp::IsATerm Term>
bool	check_rule_ActionRenameRule (const Term &t)

template<atermpp::IsATerm Term>
bool	check_rule_ActionRenameRuleRHS (const Term &t)

template<atermpp::IsATerm Term>
bool	check_rule_ActionRenameSpec (const Term &t)

template<atermpp::IsATerm Term>
bool	check_rule_PBES (const Term &t)

template<atermpp::IsATerm Term>
bool	check_rule_PBEqnSpec (const Term &t)

template<atermpp::IsATerm Term>
bool	check_rule_PBInit (const Term &t)

template<atermpp::IsATerm Term>
bool	check_rule_PBEqn (const Term &t)

template<atermpp::IsATerm Term>
bool	check_rule_FixPoint (const Term &t)

template<atermpp::IsATerm Term>
bool	check_rule_PropVarDecl (const Term &t)

template<atermpp::IsATerm Term>
bool	check_rule_PBExpr (const Term &t)

template<atermpp::IsATerm Term>
bool	check_rule_PropVarInst (const Term &t)

template<atermpp::IsATerm Term>
bool	check_rule_PRES (const Term &t)

template<atermpp::IsATerm Term>
bool	check_rule_PREqnSpec (const Term &t)

template<atermpp::IsATerm Term>
bool	check_rule_PRInit (const Term &t)

template<atermpp::IsATerm Term>
bool	check_rule_PREqn (const Term &t)

template<atermpp::IsATerm Term>
bool	check_rule_PRExpr (const Term &t)

template<atermpp::IsATerm Term>
bool	check_term_SortCons (const Term &t)

template<atermpp::IsATerm Term>
bool	check_term_SortStruct (const Term &t)

template<atermpp::IsATerm Term>
bool	check_term_SortArrow (const Term &t)

template<atermpp::IsATerm Term>
bool	check_term_UntypedSortUnknown (const Term &t)

template<atermpp::IsATerm Term>
bool	check_term_UntypedSortsPossible (const Term &t)

template<atermpp::IsATerm Term>
bool	check_term_UntypedSortVariable (const Term &t)

template<atermpp::IsATerm Term>
bool	check_term_SortId (const Term &t)

template<atermpp::IsATerm Term>
bool	check_term_SortList (const Term &t)

template<atermpp::IsATerm Term>
bool	check_term_SortSet (const Term &t)

template<atermpp::IsATerm Term>
bool	check_term_SortBag (const Term &t)

template<atermpp::IsATerm Term>
bool	check_term_SortFSet (const Term &t)

template<atermpp::IsATerm Term>
bool	check_term_SortFBag (const Term &t)

template<atermpp::IsATerm Term>
bool	check_term_StructCons (const Term &t)

template<atermpp::IsATerm Term>
bool	check_term_StructProj (const Term &t)

template<atermpp::IsATerm Term>
bool	check_term_Binder (const Term &t)

template<atermpp::IsATerm Term>
bool	check_term_Whr (const Term &t)

template<atermpp::IsATerm Term>
bool	check_term_UntypedIdentifier (const Term &t)

template<atermpp::IsATerm Term>
bool	check_term_DataVarId (const Term &t)

template<atermpp::IsATerm Term>
bool	check_term_OpId (const Term &t)

template<atermpp::IsATerm Term>
bool	check_term_UntypedDataParameter (const Term &t)

template<atermpp::IsATerm Term>
bool	check_term_Forall (const Term &t)

template<atermpp::IsATerm Term>
bool	check_term_Exists (const Term &t)

template<atermpp::IsATerm Term>
bool	check_term_SetComp (const Term &t)

template<atermpp::IsATerm Term>
bool	check_term_BagComp (const Term &t)

template<atermpp::IsATerm Term>
bool	check_term_Lambda (const Term &t)

template<atermpp::IsATerm Term>
bool	check_term_UntypedSetBagComp (const Term &t)

template<atermpp::IsATerm Term>
bool	check_term_DataVarIdInit (const Term &t)

template<atermpp::IsATerm Term>
bool	check_term_UntypedIdentifierAssignment (const Term &t)

template<atermpp::IsATerm Term>
bool	check_term_DataSpec (const Term &t)

template<atermpp::IsATerm Term>
bool	check_term_SortSpec (const Term &t)

template<atermpp::IsATerm Term>
bool	check_term_ConsSpec (const Term &t)

template<atermpp::IsATerm Term>
bool	check_term_MapSpec (const Term &t)

template<atermpp::IsATerm Term>
bool	check_term_DataEqnSpec (const Term &t)

template<atermpp::IsATerm Term>
bool	check_term_SortRef (const Term &t)

template<atermpp::IsATerm Term>
bool	check_term_DataEqn (const Term &t)

template<atermpp::IsATerm Term>
bool	check_term_MultAct (const Term &t)

template<atermpp::IsATerm Term>
bool	check_term_TimedMultAct (const Term &t)

template<atermpp::IsATerm Term>
bool	check_term_UntypedMultiAction (const Term &t)

template<atermpp::IsATerm Term>
bool	check_term_Action (const Term &t)

template<atermpp::IsATerm Term>
bool	check_term_ActId (const Term &t)

template<atermpp::IsATerm Term>
bool	check_term_Process (const Term &t)

template<atermpp::IsATerm Term>
bool	check_term_ProcessAssignment (const Term &t)

template<atermpp::IsATerm Term>
bool	check_term_Delta (const Term &t)

template<atermpp::IsATerm Term>
bool	check_term_Tau (const Term &t)

template<atermpp::IsATerm Term>
bool	check_term_Sum (const Term &t)

template<atermpp::IsATerm Term>
bool	check_term_Block (const Term &t)

template<atermpp::IsATerm Term>
bool	check_term_Hide (const Term &t)

template<atermpp::IsATerm Term>
bool	check_term_Rename (const Term &t)

template<atermpp::IsATerm Term>
bool	check_term_Comm (const Term &t)

template<atermpp::IsATerm Term>
bool	check_term_Allow (const Term &t)

template<atermpp::IsATerm Term>
bool	check_term_Sync (const Term &t)

template<atermpp::IsATerm Term>
bool	check_term_AtTime (const Term &t)

template<atermpp::IsATerm Term>
bool	check_term_Seq (const Term &t)

template<atermpp::IsATerm Term>
bool	check_term_IfThen (const Term &t)

template<atermpp::IsATerm Term>
bool	check_term_IfThenElse (const Term &t)

template<atermpp::IsATerm Term>
bool	check_term_BInit (const Term &t)

template<atermpp::IsATerm Term>
bool	check_term_Merge (const Term &t)

template<atermpp::IsATerm Term>
bool	check_term_LMerge (const Term &t)

template<atermpp::IsATerm Term>
bool	check_term_Choice (const Term &t)

template<atermpp::IsATerm Term>
bool	check_term_StochasticOperator (const Term &t)

template<atermpp::IsATerm Term>
bool	check_term_UntypedProcessAssignment (const Term &t)

template<atermpp::IsATerm Term>
bool	check_term_ProcVarId (const Term &t)

template<atermpp::IsATerm Term>
bool	check_term_MultActName (const Term &t)

template<atermpp::IsATerm Term>
bool	check_term_RenameExpr (const Term &t)

template<atermpp::IsATerm Term>
bool	check_term_CommExpr (const Term &t)

template<atermpp::IsATerm Term>
bool	check_term_ProcSpec (const Term &t)

template<atermpp::IsATerm Term>
bool	check_term_ActSpec (const Term &t)

template<atermpp::IsATerm Term>
bool	check_term_GlobVarSpec (const Term &t)

template<atermpp::IsATerm Term>
bool	check_term_ProcEqnSpec (const Term &t)

template<atermpp::IsATerm Term>
bool	check_term_ProcEqn (const Term &t)

template<atermpp::IsATerm Term>
bool	check_term_ProcessInit (const Term &t)

template<atermpp::IsATerm Term>
bool	check_term_Distribution (const Term &t)

template<atermpp::IsATerm Term>
bool	check_term_LinProcSpec (const Term &t)

template<atermpp::IsATerm Term>
bool	check_term_LinearProcess (const Term &t)

template<atermpp::IsATerm Term>
bool	check_term_LinearProcessSummand (const Term &t)

template<atermpp::IsATerm Term>
bool	check_term_LinearProcessInit (const Term &t)

template<atermpp::IsATerm Term>
bool	check_term_StateTrue (const Term &t)

template<atermpp::IsATerm Term>
bool	check_term_StateFalse (const Term &t)

template<atermpp::IsATerm Term>
bool	check_term_StateNot (const Term &t)

template<atermpp::IsATerm Term>
bool	check_term_StateMinus (const Term &t)

template<atermpp::IsATerm Term>
bool	check_term_StateAnd (const Term &t)

template<atermpp::IsATerm Term>
bool	check_term_StateOr (const Term &t)

template<atermpp::IsATerm Term>
bool	check_term_StateImp (const Term &t)

template<atermpp::IsATerm Term>
bool	check_term_StatePlus (const Term &t)

template<atermpp::IsATerm Term>
bool	check_term_StateConstantMultiply (const Term &t)

template<atermpp::IsATerm Term>
bool	check_term_StateConstantMultiplyAlt (const Term &t)

template<atermpp::IsATerm Term>
bool	check_term_StateForall (const Term &t)

template<atermpp::IsATerm Term>
bool	check_term_StateExists (const Term &t)

template<atermpp::IsATerm Term>
bool	check_term_StateInfimum (const Term &t)

template<atermpp::IsATerm Term>
bool	check_term_StateSupremum (const Term &t)

template<atermpp::IsATerm Term>
bool	check_term_StateSum (const Term &t)

template<atermpp::IsATerm Term>
bool	check_term_StateMust (const Term &t)

template<atermpp::IsATerm Term>
bool	check_term_StateMay (const Term &t)

template<atermpp::IsATerm Term>
bool	check_term_StateYaled (const Term &t)

template<atermpp::IsATerm Term>
bool	check_term_StateYaledTimed (const Term &t)

template<atermpp::IsATerm Term>
bool	check_term_StateDelay (const Term &t)

template<atermpp::IsATerm Term>
bool	check_term_StateDelayTimed (const Term &t)

template<atermpp::IsATerm Term>
bool	check_term_StateVar (const Term &t)

template<atermpp::IsATerm Term>
bool	check_term_StateNu (const Term &t)

template<atermpp::IsATerm Term>
bool	check_term_StateMu (const Term &t)

template<atermpp::IsATerm Term>
bool	check_term_RegNil (const Term &t)

template<atermpp::IsATerm Term>
bool	check_term_RegSeq (const Term &t)

template<atermpp::IsATerm Term>
bool	check_term_RegAlt (const Term &t)

template<atermpp::IsATerm Term>
bool	check_term_RegTrans (const Term &t)

template<atermpp::IsATerm Term>
bool	check_term_RegTransOrNil (const Term &t)

template<atermpp::IsATerm Term>
bool	check_term_UntypedRegFrm (const Term &t)

template<atermpp::IsATerm Term>
bool	check_term_ActTrue (const Term &t)

template<atermpp::IsATerm Term>
bool	check_term_ActFalse (const Term &t)

template<atermpp::IsATerm Term>
bool	check_term_ActNot (const Term &t)

template<atermpp::IsATerm Term>
bool	check_term_ActAnd (const Term &t)

template<atermpp::IsATerm Term>
bool	check_term_ActOr (const Term &t)

template<atermpp::IsATerm Term>
bool	check_term_ActImp (const Term &t)

template<atermpp::IsATerm Term>
bool	check_term_ActForall (const Term &t)

template<atermpp::IsATerm Term>
bool	check_term_ActExists (const Term &t)

template<atermpp::IsATerm Term>
bool	check_term_ActAt (const Term &t)

template<atermpp::IsATerm Term>
bool	check_term_ActMultAct (const Term &t)

template<atermpp::IsATerm Term>
bool	check_term_ActionRenameRules (const Term &t)

template<atermpp::IsATerm Term>
bool	check_term_ActionRenameRule (const Term &t)

template<atermpp::IsATerm Term>
bool	check_term_ActionRenameSpec (const Term &t)

template<atermpp::IsATerm Term>
bool	check_term_PBES (const Term &t)

template<atermpp::IsATerm Term>
bool	check_term_PBEqnSpec (const Term &t)

template<atermpp::IsATerm Term>
bool	check_term_PBInit (const Term &t)

template<atermpp::IsATerm Term>
bool	check_term_PBEqn (const Term &t)

template<atermpp::IsATerm Term>
bool	check_term_Mu (const Term &t)

template<atermpp::IsATerm Term>
bool	check_term_Nu (const Term &t)

template<atermpp::IsATerm Term>
bool	check_term_PropVarDecl (const Term &t)

template<atermpp::IsATerm Term>
bool	check_term_PBESTrue (const Term &t)

template<atermpp::IsATerm Term>
bool	check_term_PBESFalse (const Term &t)

template<atermpp::IsATerm Term>
bool	check_term_PBESNot (const Term &t)

template<atermpp::IsATerm Term>
bool	check_term_PBESAnd (const Term &t)

template<atermpp::IsATerm Term>
bool	check_term_PBESOr (const Term &t)

template<atermpp::IsATerm Term>
bool	check_term_PBESImp (const Term &t)

template<atermpp::IsATerm Term>
bool	check_term_PBESForall (const Term &t)

template<atermpp::IsATerm Term>
bool	check_term_PBESExists (const Term &t)

template<atermpp::IsATerm Term>
bool	check_term_PropVarInst (const Term &t)

template<atermpp::IsATerm Term>
bool	check_term_PRES (const Term &t)

template<atermpp::IsATerm Term>
bool	check_term_PREqnSpec (const Term &t)

template<atermpp::IsATerm Term>
bool	check_term_PRInit (const Term &t)

template<atermpp::IsATerm Term>
bool	check_term_PREqn (const Term &t)

template<atermpp::IsATerm Term>
bool	check_term_PRESTrue (const Term &t)

template<atermpp::IsATerm Term>
bool	check_term_PRESFalse (const Term &t)

template<atermpp::IsATerm Term>
bool	check_term_PRESMinus (const Term &t)

template<atermpp::IsATerm Term>
bool	check_term_PRESAnd (const Term &t)

template<atermpp::IsATerm Term>
bool	check_term_PRESOr (const Term &t)

template<atermpp::IsATerm Term>
bool	check_term_PRESImp (const Term &t)

template<atermpp::IsATerm Term>
bool	check_term_PRESPlus (const Term &t)

template<atermpp::IsATerm Term>
bool	check_term_PRESConstantMultiply (const Term &t)

template<atermpp::IsATerm Term>
bool	check_term_PRESConstantMultiplyAlt (const Term &t)

template<atermpp::IsATerm Term>
bool	check_term_PRESInfimum (const Term &t)

template<atermpp::IsATerm Term>
bool	check_term_PRESSupremum (const Term &t)

template<atermpp::IsATerm Term>
bool	check_term_PRESSum (const Term &t)

template<atermpp::IsATerm Term>
bool	check_term_PRESEqInf (const Term &t)

template<atermpp::IsATerm Term>
bool	check_term_PRESEqNInf (const Term &t)

template<atermpp::IsATerm Term>
bool	check_term_PRESCondSm (const Term &t)

template<atermpp::IsATerm Term>
bool	check_term_PRESCondEq (const Term &t)

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.

Variables
std::vector< std::unique_ptr< atermpp::function_symbol > >	function_symbols_DataAppl

std::array< atermpp::function_symbol, DataApplFixed >	function_symbols_DataApplFixed

constexpr std::size_t	DataApplFixed = 100

Function Documentation

◆ add_context()

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

Definition at line 307 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 parser ambiguities.

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

Definition at line 361 of file dparser.cpp.

◆ check_list_argument()

template<atermpp::IsATerm Term, typename CheckFunction >

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

Definition at line 38 of file soundness_checks.h.

◆ check_rule_ActFrm()

template<atermpp::IsATerm Term>

bool mcrl2::core::detail::check_rule_ActFrm ( const Term & t )

Definition at line 870 of file soundness_checks.h.

◆ check_rule_ActId()

template<atermpp::IsATerm Term>

bool mcrl2::core::detail::check_rule_ActId ( const Term & t )

Definition at line 616 of file soundness_checks.h.

◆ check_rule_Action()

template<atermpp::IsATerm Term>

bool mcrl2::core::detail::check_rule_Action ( const Term & t )

Definition at line 606 of file soundness_checks.h.

◆ check_rule_ActionRenameRule()

template<atermpp::IsATerm Term>

bool mcrl2::core::detail::check_rule_ActionRenameRule ( const Term & t )

Definition at line 913 of file soundness_checks.h.

◆ check_rule_ActionRenameRuleRHS()

template<atermpp::IsATerm Term>

bool mcrl2::core::detail::check_rule_ActionRenameRuleRHS ( const Term & t )

Definition at line 923 of file soundness_checks.h.

◆ check_rule_ActionRenameRules()

template<atermpp::IsATerm Term>

bool mcrl2::core::detail::check_rule_ActionRenameRules ( const Term & t )

Definition at line 903 of file soundness_checks.h.

◆ check_rule_ActionRenameSpec()

template<atermpp::IsATerm Term>

bool mcrl2::core::detail::check_rule_ActionRenameSpec ( const Term & t )

Definition at line 936 of file soundness_checks.h.

◆ check_rule_ActSpec()

template<atermpp::IsATerm Term>

bool mcrl2::core::detail::check_rule_ActSpec ( const Term & t )

Definition at line 708 of file soundness_checks.h.

◆ check_rule_BindingOperator()

template<atermpp::IsATerm Term>

bool mcrl2::core::detail::check_rule_BindingOperator ( const Term & t )

Definition at line 459 of file soundness_checks.h.

◆ check_rule_CommExpr()

template<atermpp::IsATerm Term>

bool mcrl2::core::detail::check_rule_CommExpr ( const Term & t )

Definition at line 688 of file soundness_checks.h.

◆ check_rule_ConsSpec()

template<atermpp::IsATerm Term>

bool mcrl2::core::detail::check_rule_ConsSpec ( const Term & t )

Definition at line 525 of file soundness_checks.h.

◆ check_rule_DataEqn()

template<atermpp::IsATerm Term>

bool mcrl2::core::detail::check_rule_DataEqn ( const Term & t )

Definition at line 566 of file soundness_checks.h.

◆ check_rule_DataEqnSpec()

template<atermpp::IsATerm Term>

bool mcrl2::core::detail::check_rule_DataEqnSpec ( const Term & t )

Definition at line 545 of file soundness_checks.h.

◆ check_rule_DataExpr()

template<atermpp::IsATerm Term>

bool mcrl2::core::detail::check_rule_DataExpr ( const Term & t )

Definition at line 414 of file soundness_checks.h.

◆ check_rule_DataSpec()

template<atermpp::IsATerm Term>

bool mcrl2::core::detail::check_rule_DataSpec ( const Term & t )

Definition at line 505 of file soundness_checks.h.

◆ check_rule_DataVarId()

template<atermpp::IsATerm Term>

bool mcrl2::core::detail::check_rule_DataVarId ( const Term & t )

Definition at line 429 of file soundness_checks.h.

◆ check_rule_DataVarIdInit()

template<atermpp::IsATerm Term>

bool mcrl2::core::detail::check_rule_DataVarIdInit ( const Term & t )

Definition at line 485 of file soundness_checks.h.

◆ check_rule_Distribution()

template<atermpp::IsATerm Term>

bool mcrl2::core::detail::check_rule_Distribution ( const Term & t )

Definition at line 769 of file soundness_checks.h.

◆ check_rule_FixPoint()

template<atermpp::IsATerm Term>

bool mcrl2::core::detail::check_rule_FixPoint ( const Term & t )

Definition at line 986 of file soundness_checks.h.

◆ check_rule_GlobVarSpec()

template<atermpp::IsATerm Term>

bool mcrl2::core::detail::check_rule_GlobVarSpec ( const Term & t )

Definition at line 718 of file soundness_checks.h.

◆ check_rule_LinearProcess()

template<atermpp::IsATerm Term>

bool mcrl2::core::detail::check_rule_LinearProcess ( const Term & t )

Definition at line 789 of file soundness_checks.h.

◆ check_rule_LinearProcessInit()

template<atermpp::IsATerm Term>

bool mcrl2::core::detail::check_rule_LinearProcessInit ( const Term & t )

Definition at line 809 of file soundness_checks.h.

◆ check_rule_LinearProcessSummand()

template<atermpp::IsATerm Term>

bool mcrl2::core::detail::check_rule_LinearProcessSummand ( const Term & t )

Definition at line 799 of file soundness_checks.h.

◆ check_rule_LinProcSpec()

template<atermpp::IsATerm Term>

bool mcrl2::core::detail::check_rule_LinProcSpec ( const Term & t )

Definition at line 779 of file soundness_checks.h.

◆ check_rule_MapSpec()

template<atermpp::IsATerm Term>

bool mcrl2::core::detail::check_rule_MapSpec ( const Term & t )

Definition at line 535 of file soundness_checks.h.

◆ check_rule_MultAct()

template<atermpp::IsATerm Term>

bool mcrl2::core::detail::check_rule_MultAct ( const Term & t )

Definition at line 576 of file soundness_checks.h.

◆ check_rule_MultActName()

template<atermpp::IsATerm Term>

bool mcrl2::core::detail::check_rule_MultActName ( const Term & t )

Definition at line 668 of file soundness_checks.h.

◆ check_rule_MultActOrDelta()

template<atermpp::IsATerm Term>

bool mcrl2::core::detail::check_rule_MultActOrDelta ( const Term & t )

Definition at line 748 of file soundness_checks.h.

◆ check_rule_Number()

template<atermpp::IsATerm Term>

bool mcrl2::core::detail::check_rule_Number ( const Term & t )

Definition at line 91 of file soundness_checks.h.

◆ check_rule_OpId()

template<atermpp::IsATerm Term>

bool mcrl2::core::detail::check_rule_OpId ( const Term & t )

Definition at line 439 of file soundness_checks.h.

◆ check_rule_ParamIdOrAction()

template<atermpp::IsATerm Term>

bool mcrl2::core::detail::check_rule_ParamIdOrAction ( const Term & t )

Definition at line 892 of file soundness_checks.h.

◆ check_rule_PBEqn()

template<atermpp::IsATerm Term>

bool mcrl2::core::detail::check_rule_PBEqn ( const Term & t )

Definition at line 976 of file soundness_checks.h.

◆ check_rule_PBEqnSpec()

template<atermpp::IsATerm Term>

bool mcrl2::core::detail::check_rule_PBEqnSpec ( const Term & t )

Definition at line 956 of file soundness_checks.h.

◆ check_rule_PBES()

template<atermpp::IsATerm Term>

bool mcrl2::core::detail::check_rule_PBES ( const Term & t )

Definition at line 946 of file soundness_checks.h.

◆ check_rule_PBExpr()

template<atermpp::IsATerm Term>

bool mcrl2::core::detail::check_rule_PBExpr ( const Term & t )

Definition at line 1007 of file soundness_checks.h.

◆ check_rule_PBInit()

template<atermpp::IsATerm Term>

bool mcrl2::core::detail::check_rule_PBInit ( const Term & t )

Definition at line 966 of file soundness_checks.h.

◆ check_rule_PREqn()

template<atermpp::IsATerm Term>

bool mcrl2::core::detail::check_rule_PREqn ( const Term & t )

Definition at line 1067 of file soundness_checks.h.

◆ check_rule_PREqnSpec()

template<atermpp::IsATerm Term>

bool mcrl2::core::detail::check_rule_PREqnSpec ( const Term & t )

Definition at line 1047 of file soundness_checks.h.

◆ check_rule_PRES()

template<atermpp::IsATerm Term>

bool mcrl2::core::detail::check_rule_PRES ( const Term & t )

Definition at line 1037 of file soundness_checks.h.

◆ check_rule_PRExpr()

template<atermpp::IsATerm Term>

bool mcrl2::core::detail::check_rule_PRExpr ( const Term & t )

Definition at line 1077 of file soundness_checks.h.

◆ check_rule_PRInit()

template<atermpp::IsATerm Term>

bool mcrl2::core::detail::check_rule_PRInit ( const Term & t )

Definition at line 1057 of file soundness_checks.h.

◆ check_rule_ProcEqn()

template<atermpp::IsATerm Term>

bool mcrl2::core::detail::check_rule_ProcEqn ( const Term & t )

Definition at line 738 of file soundness_checks.h.

◆ check_rule_ProcEqnSpec()

template<atermpp::IsATerm Term>

bool mcrl2::core::detail::check_rule_ProcEqnSpec ( const Term & t )

Definition at line 728 of file soundness_checks.h.

◆ check_rule_ProcExpr()

template<atermpp::IsATerm Term>

bool mcrl2::core::detail::check_rule_ProcExpr ( const Term & t )

Definition at line 626 of file soundness_checks.h.

◆ check_rule_ProcInit()

template<atermpp::IsATerm Term>

bool mcrl2::core::detail::check_rule_ProcInit ( const Term & t )

Definition at line 759 of file soundness_checks.h.

◆ check_rule_ProcSpec()

template<atermpp::IsATerm Term>

bool mcrl2::core::detail::check_rule_ProcSpec ( const Term & t )

Definition at line 698 of file soundness_checks.h.

◆ check_rule_ProcVarId()

template<atermpp::IsATerm Term>

bool mcrl2::core::detail::check_rule_ProcVarId ( const Term & t )

Definition at line 658 of file soundness_checks.h.

◆ check_rule_PropVarDecl()

template<atermpp::IsATerm Term>

bool mcrl2::core::detail::check_rule_PropVarDecl ( const Term & t )

Definition at line 997 of file soundness_checks.h.

◆ check_rule_PropVarInst()

template<atermpp::IsATerm Term>

bool mcrl2::core::detail::check_rule_PropVarInst ( const Term & t )

Definition at line 1027 of file soundness_checks.h.

◆ check_rule_RegFrm()

template<atermpp::IsATerm Term>

bool mcrl2::core::detail::check_rule_RegFrm ( const Term & t )

Definition at line 854 of file soundness_checks.h.

◆ check_rule_RenameExpr()

template<atermpp::IsATerm Term>

bool mcrl2::core::detail::check_rule_RenameExpr ( const Term & t )

Definition at line 678 of file soundness_checks.h.

◆ check_rule_SortConsType()

template<atermpp::IsATerm Term>

bool mcrl2::core::detail::check_rule_SortConsType ( const Term & t )

Definition at line 380 of file soundness_checks.h.

◆ check_rule_SortDecl()

template<atermpp::IsATerm Term>

bool mcrl2::core::detail::check_rule_SortDecl ( const Term & t )

Definition at line 555 of file soundness_checks.h.

◆ check_rule_SortExpr()

template<atermpp::IsATerm Term>

bool mcrl2::core::detail::check_rule_SortExpr ( const Term & t )

Definition at line 354 of file soundness_checks.h.

◆ check_rule_SortId()

template<atermpp::IsATerm Term>

bool mcrl2::core::detail::check_rule_SortId ( const Term & t )

Definition at line 370 of file soundness_checks.h.

◆ check_rule_SortSpec()

template<atermpp::IsATerm Term>

bool mcrl2::core::detail::check_rule_SortSpec ( const Term & t )

Definition at line 515 of file soundness_checks.h.

◆ check_rule_StateFrm()

template<atermpp::IsATerm Term>

bool mcrl2::core::detail::check_rule_StateFrm ( const Term & t )

Definition at line 819 of file soundness_checks.h.

◆ check_rule_String()

template<atermpp::IsATerm Term>

bool mcrl2::core::detail::check_rule_String ( const Term & t )

Definition at line 61 of file soundness_checks.h.

◆ check_rule_StringOrEmpty()

template<atermpp::IsATerm Term>

bool mcrl2::core::detail::check_rule_StringOrEmpty ( const Term & t )

Definition at line 80 of file soundness_checks.h.

◆ check_rule_StructCons()

template<atermpp::IsATerm Term>

bool mcrl2::core::detail::check_rule_StructCons ( const Term & t )

Definition at line 394 of file soundness_checks.h.

◆ check_rule_StructProj()

template<atermpp::IsATerm Term>

bool mcrl2::core::detail::check_rule_StructProj ( const Term & t )

Definition at line 404 of file soundness_checks.h.

◆ check_rule_TimedMultAct()

template<atermpp::IsATerm Term>

bool mcrl2::core::detail::check_rule_TimedMultAct ( const Term & t )

Definition at line 586 of file soundness_checks.h.

◆ check_rule_UntypedDataParameter()

template<atermpp::IsATerm Term>

bool mcrl2::core::detail::check_rule_UntypedDataParameter ( const Term & t )

Definition at line 449 of file soundness_checks.h.

◆ check_rule_UntypedIdentifierAssignment()

template<atermpp::IsATerm Term>

bool mcrl2::core::detail::check_rule_UntypedIdentifierAssignment ( const Term & t )

Definition at line 495 of file soundness_checks.h.

◆ check_rule_UntypedMultiAction()

template<atermpp::IsATerm Term>

bool mcrl2::core::detail::check_rule_UntypedMultiAction ( const Term & t )

Definition at line 596 of file soundness_checks.h.

◆ check_rule_WhrDecl()

template<atermpp::IsATerm Term>

bool mcrl2::core::detail::check_rule_WhrDecl ( const Term & t )

Definition at line 474 of file soundness_checks.h.

◆ check_term_ActAnd()

template<atermpp::IsATerm Term>

bool mcrl2::core::detail::check_term_ActAnd ( const Term & t )

Definition at line 4996 of file soundness_checks.h.

◆ check_term_ActAt()

template<atermpp::IsATerm Term>

bool mcrl2::core::detail::check_term_ActAt ( const Term & t )

Definition at line 5186 of file soundness_checks.h.

◆ check_term_ActExists()

template<atermpp::IsATerm Term>

bool mcrl2::core::detail::check_term_ActExists ( const Term & t )

Definition at line 5148 of file soundness_checks.h.

◆ check_term_ActFalse()

template<atermpp::IsATerm Term>

bool mcrl2::core::detail::check_term_ActFalse ( const Term & t )

Definition at line 4937 of file soundness_checks.h.

◆ check_term_ActForall()

template<atermpp::IsATerm Term>

bool mcrl2::core::detail::check_term_ActForall ( const Term & t )

Definition at line 5110 of file soundness_checks.h.

◆ check_term_ActId()

template<atermpp::IsATerm Term>

bool mcrl2::core::detail::check_term_ActId ( const Term & t )

Definition at line 2424 of file soundness_checks.h.

◆ check_term_ActImp()

template<atermpp::IsATerm Term>

bool mcrl2::core::detail::check_term_ActImp ( const Term & t )

Definition at line 5072 of file soundness_checks.h.

◆ check_term_Action()

template<atermpp::IsATerm Term>

bool mcrl2::core::detail::check_term_Action ( const Term & t )

Definition at line 2386 of file soundness_checks.h.

◆ check_term_ActionRenameRule()

template<atermpp::IsATerm Term>

bool mcrl2::core::detail::check_term_ActionRenameRule ( const Term & t )

Definition at line 5290 of file soundness_checks.h.

◆ check_term_ActionRenameRules()

template<atermpp::IsATerm Term>

bool mcrl2::core::detail::check_term_ActionRenameRules ( const Term & t )

Definition at line 5257 of file soundness_checks.h.

◆ check_term_ActionRenameSpec()

template<atermpp::IsATerm Term>

bool mcrl2::core::detail::check_term_ActionRenameSpec ( const Term & t )

Definition at line 5338 of file soundness_checks.h.

◆ check_term_ActMultAct()

template<atermpp::IsATerm Term>

bool mcrl2::core::detail::check_term_ActMultAct ( const Term & t )

Definition at line 5224 of file soundness_checks.h.

◆ check_term_ActNot()

template<atermpp::IsATerm Term>

bool mcrl2::core::detail::check_term_ActNot ( const Term & t )

Definition at line 4963 of file soundness_checks.h.

◆ check_term_ActOr()

template<atermpp::IsATerm Term>

bool mcrl2::core::detail::check_term_ActOr ( const Term & t )

Definition at line 5034 of file soundness_checks.h.

◆ check_term_ActSpec()

template<atermpp::IsATerm Term>

bool mcrl2::core::detail::check_term_ActSpec ( const Term & t )

Definition at line 3446 of file soundness_checks.h.

◆ check_term_ActTrue()

template<atermpp::IsATerm Term>

bool mcrl2::core::detail::check_term_ActTrue ( const Term & t )

Definition at line 4911 of file soundness_checks.h.

◆ check_term_Allow()

template<atermpp::IsATerm Term>

bool mcrl2::core::detail::check_term_Allow ( const Term & t )

Definition at line 2780 of file soundness_checks.h.

◆ check_term_argument()

template<atermpp::IsATerm Term, typename CheckFunction >

bool mcrl2::core::detail::check_term_argument	(	const Term &	t,
		CheckFunction	f
	)

Definition at line 28 of file soundness_checks.h.

◆ check_term_AtTime()

template<atermpp::IsATerm Term>

bool mcrl2::core::detail::check_term_AtTime ( const Term & t )

Definition at line 2856 of file soundness_checks.h.

◆ check_term_BagComp()

template<atermpp::IsATerm Term>

bool mcrl2::core::detail::check_term_BagComp ( const Term & t )

Definition at line 1862 of file soundness_checks.h.

◆ check_term_Binder()

template<atermpp::IsATerm Term>

bool mcrl2::core::detail::check_term_Binder ( const Term & t )

Definition at line 1551 of file soundness_checks.h.

◆ check_term_BInit()

template<atermpp::IsATerm Term>

bool mcrl2::core::detail::check_term_BInit ( const Term & t )

Definition at line 3013 of file soundness_checks.h.

◆ check_term_Block()

template<atermpp::IsATerm Term>

bool mcrl2::core::detail::check_term_Block ( const Term & t )

Definition at line 2628 of file soundness_checks.h.

◆ check_term_Choice()

template<atermpp::IsATerm Term>

bool mcrl2::core::detail::check_term_Choice ( const Term & t )

Definition at line 3127 of file soundness_checks.h.

◆ check_term_Comm()

template<atermpp::IsATerm Term>

bool mcrl2::core::detail::check_term_Comm ( const Term & t )

Definition at line 2742 of file soundness_checks.h.

◆ check_term_CommExpr()

template<atermpp::IsATerm Term>

bool mcrl2::core::detail::check_term_CommExpr ( const Term & t )

Definition at line 3355 of file soundness_checks.h.

◆ check_term_ConsSpec()

template<atermpp::IsATerm Term>

bool mcrl2::core::detail::check_term_ConsSpec ( const Term & t )

Definition at line 2097 of file soundness_checks.h.

◆ check_term_DataAppl()

template<atermpp::IsATerm Term>

bool mcrl2::core::detail::check_term_DataAppl ( const Term & t )

Definition at line 101 of file soundness_checks.h.

◆ check_term_DataEqn()

template<atermpp::IsATerm Term>

bool mcrl2::core::detail::check_term_DataEqn ( const Term & t )

Definition at line 2234 of file soundness_checks.h.

◆ check_term_DataEqnSpec()

template<atermpp::IsATerm Term>

bool mcrl2::core::detail::check_term_DataEqnSpec ( const Term & t )

Definition at line 2163 of file soundness_checks.h.

◆ check_term_DataSpec()

template<atermpp::IsATerm Term>

bool mcrl2::core::detail::check_term_DataSpec ( const Term & t )

Definition at line 2016 of file soundness_checks.h.

◆ check_term_DataVarId()

template<atermpp::IsATerm Term>

bool mcrl2::core::detail::check_term_DataVarId ( const Term & t )

Definition at line 1665 of file soundness_checks.h.

◆ check_term_DataVarIdInit()

template<atermpp::IsATerm Term>

bool mcrl2::core::detail::check_term_DataVarIdInit ( const Term & t )

Definition at line 1940 of file soundness_checks.h.

◆ check_term_Delta()

template<atermpp::IsATerm Term>

bool mcrl2::core::detail::check_term_Delta ( const Term & t )

Definition at line 2538 of file soundness_checks.h.

◆ check_term_Distribution()

template<atermpp::IsATerm Term>

bool mcrl2::core::detail::check_term_Distribution ( const Term & t )

Definition at line 3621 of file soundness_checks.h.

◆ check_term_Exists()

template<atermpp::IsATerm Term>

bool mcrl2::core::detail::check_term_Exists ( const Term & t )

Definition at line 1810 of file soundness_checks.h.

◆ check_term_Forall()

template<atermpp::IsATerm Term>

bool mcrl2::core::detail::check_term_Forall ( const Term & t )

Definition at line 1784 of file soundness_checks.h.

◆ check_term_GlobVarSpec()

template<atermpp::IsATerm Term>

bool mcrl2::core::detail::check_term_GlobVarSpec ( const Term & t )

Definition at line 3479 of file soundness_checks.h.

◆ check_term_Hide()

template<atermpp::IsATerm Term>

bool mcrl2::core::detail::check_term_Hide ( const Term & t )

Definition at line 2666 of file soundness_checks.h.

◆ check_term_IfThen()

template<atermpp::IsATerm Term>

bool mcrl2::core::detail::check_term_IfThen ( const Term & t )

Definition at line 2932 of file soundness_checks.h.

◆ check_term_IfThenElse()

template<atermpp::IsATerm Term>

bool mcrl2::core::detail::check_term_IfThenElse ( const Term & t )

Definition at line 2970 of file soundness_checks.h.

◆ check_term_Lambda()

template<atermpp::IsATerm Term>

bool mcrl2::core::detail::check_term_Lambda ( const Term & t )

Definition at line 1888 of file soundness_checks.h.

◆ check_term_LinearProcess()

template<atermpp::IsATerm Term>

bool mcrl2::core::detail::check_term_LinearProcess ( const Term & t )

Definition at line 3712 of file soundness_checks.h.

◆ check_term_LinearProcessInit()

template<atermpp::IsATerm Term>

bool mcrl2::core::detail::check_term_LinearProcessInit ( const Term & t )

Definition at line 3808 of file soundness_checks.h.

◆ check_term_LinearProcessSummand()

template<atermpp::IsATerm Term>

bool mcrl2::core::detail::check_term_LinearProcessSummand ( const Term & t )

Definition at line 3750 of file soundness_checks.h.

◆ check_term_LinProcSpec()

template<atermpp::IsATerm Term>

bool mcrl2::core::detail::check_term_LinProcSpec ( const Term & t )

Definition at line 3659 of file soundness_checks.h.

◆ check_term_LMerge()

template<atermpp::IsATerm Term>

bool mcrl2::core::detail::check_term_LMerge ( const Term & t )

Definition at line 3089 of file soundness_checks.h.

◆ check_term_MapSpec()

template<atermpp::IsATerm Term>

bool mcrl2::core::detail::check_term_MapSpec ( const Term & t )

Definition at line 2130 of file soundness_checks.h.

◆ check_term_Merge()

template<atermpp::IsATerm Term>

bool mcrl2::core::detail::check_term_Merge ( const Term & t )

Definition at line 3051 of file soundness_checks.h.

◆ check_term_Mu()

template<atermpp::IsATerm Term>

bool mcrl2::core::detail::check_term_Mu ( const Term & t )

Definition at line 5538 of file soundness_checks.h.

◆ check_term_MultAct()

template<atermpp::IsATerm Term>

bool mcrl2::core::detail::check_term_MultAct ( const Term & t )

Definition at line 2282 of file soundness_checks.h.

◆ check_term_MultActName()

template<atermpp::IsATerm Term>

bool mcrl2::core::detail::check_term_MultActName ( const Term & t )

Definition at line 3284 of file soundness_checks.h.

◆ check_term_Nu()

template<atermpp::IsATerm Term>

bool mcrl2::core::detail::check_term_Nu ( const Term & t )

Definition at line 5564 of file soundness_checks.h.

◆ check_term_OpId()

template<atermpp::IsATerm Term>

bool mcrl2::core::detail::check_term_OpId ( const Term & t )

Definition at line 1703 of file soundness_checks.h.

◆ check_term_PBEqn()

template<atermpp::IsATerm Term>

bool mcrl2::core::detail::check_term_PBEqn ( const Term & t )

Definition at line 5495 of file soundness_checks.h.

◆ check_term_PBEqnSpec()

template<atermpp::IsATerm Term>

bool mcrl2::core::detail::check_term_PBEqnSpec ( const Term & t )

Definition at line 5429 of file soundness_checks.h.

◆ check_term_PBES()

template<atermpp::IsATerm Term>

bool mcrl2::core::detail::check_term_PBES ( const Term & t )

Definition at line 5381 of file soundness_checks.h.

◆ check_term_PBESAnd()

template<atermpp::IsATerm Term>

bool mcrl2::core::detail::check_term_PBESAnd ( const Term & t )

Definition at line 5713 of file soundness_checks.h.

◆ check_term_PBESExists()

template<atermpp::IsATerm Term>

bool mcrl2::core::detail::check_term_PBESExists ( const Term & t )

Definition at line 5865 of file soundness_checks.h.

◆ check_term_PBESFalse()

template<atermpp::IsATerm Term>

bool mcrl2::core::detail::check_term_PBESFalse ( const Term & t )

Definition at line 5654 of file soundness_checks.h.

◆ check_term_PBESForall()

template<atermpp::IsATerm Term>

bool mcrl2::core::detail::check_term_PBESForall ( const Term & t )

Definition at line 5827 of file soundness_checks.h.

◆ check_term_PBESImp()

template<atermpp::IsATerm Term>

bool mcrl2::core::detail::check_term_PBESImp ( const Term & t )

Definition at line 5789 of file soundness_checks.h.

◆ check_term_PBESNot()

template<atermpp::IsATerm Term>

bool mcrl2::core::detail::check_term_PBESNot ( const Term & t )

Definition at line 5680 of file soundness_checks.h.

◆ check_term_PBESOr()

template<atermpp::IsATerm Term>

bool mcrl2::core::detail::check_term_PBESOr ( const Term & t )

Definition at line 5751 of file soundness_checks.h.

◆ check_term_PBESTrue()

template<atermpp::IsATerm Term>

bool mcrl2::core::detail::check_term_PBESTrue ( const Term & t )

Definition at line 5628 of file soundness_checks.h.

◆ check_term_PBInit()

template<atermpp::IsATerm Term>

bool mcrl2::core::detail::check_term_PBInit ( const Term & t )

Definition at line 5462 of file soundness_checks.h.

◆ check_term_PREqn()

template<atermpp::IsATerm Term>

bool mcrl2::core::detail::check_term_PREqn ( const Term & t )

Definition at line 6055 of file soundness_checks.h.

◆ check_term_PREqnSpec()

template<atermpp::IsATerm Term>

bool mcrl2::core::detail::check_term_PREqnSpec ( const Term & t )

Definition at line 5989 of file soundness_checks.h.

◆ check_term_PRES()

template<atermpp::IsATerm Term>

bool mcrl2::core::detail::check_term_PRES ( const Term & t )

Definition at line 5941 of file soundness_checks.h.

◆ check_term_PRESAnd()

template<atermpp::IsATerm Term>

bool mcrl2::core::detail::check_term_PRESAnd ( const Term & t )

Definition at line 6183 of file soundness_checks.h.

◆ check_term_PRESCondEq()

template<atermpp::IsATerm Term>

bool mcrl2::core::detail::check_term_PRESCondEq ( const Term & t )

Definition at line 6634 of file soundness_checks.h.

◆ check_term_PRESCondSm()

template<atermpp::IsATerm Term>

bool mcrl2::core::detail::check_term_PRESCondSm ( const Term & t )

Definition at line 6591 of file soundness_checks.h.

◆ check_term_PRESConstantMultiply()

template<atermpp::IsATerm Term>

bool mcrl2::core::detail::check_term_PRESConstantMultiply ( const Term & t )

Definition at line 6335 of file soundness_checks.h.

◆ check_term_PRESConstantMultiplyAlt()

template<atermpp::IsATerm Term>

bool mcrl2::core::detail::check_term_PRESConstantMultiplyAlt ( const Term & t )

Definition at line 6373 of file soundness_checks.h.

◆ check_term_PRESEqInf()

template<atermpp::IsATerm Term>

bool mcrl2::core::detail::check_term_PRESEqInf ( const Term & t )

Definition at line 6525 of file soundness_checks.h.

◆ check_term_PRESEqNInf()

template<atermpp::IsATerm Term>

bool mcrl2::core::detail::check_term_PRESEqNInf ( const Term & t )

Definition at line 6558 of file soundness_checks.h.

◆ check_term_PRESFalse()

template<atermpp::IsATerm Term>

bool mcrl2::core::detail::check_term_PRESFalse ( const Term & t )

Definition at line 6124 of file soundness_checks.h.

◆ check_term_PRESImp()

template<atermpp::IsATerm Term>

bool mcrl2::core::detail::check_term_PRESImp ( const Term & t )

Definition at line 6259 of file soundness_checks.h.

◆ check_term_PRESInfimum()

template<atermpp::IsATerm Term>

bool mcrl2::core::detail::check_term_PRESInfimum ( const Term & t )

Definition at line 6411 of file soundness_checks.h.

◆ check_term_PRESMinus()

template<atermpp::IsATerm Term>

bool mcrl2::core::detail::check_term_PRESMinus ( const Term & t )

Definition at line 6150 of file soundness_checks.h.

◆ check_term_PRESOr()

template<atermpp::IsATerm Term>

bool mcrl2::core::detail::check_term_PRESOr ( const Term & t )

Definition at line 6221 of file soundness_checks.h.

◆ check_term_PRESPlus()

template<atermpp::IsATerm Term>

bool mcrl2::core::detail::check_term_PRESPlus ( const Term & t )

Definition at line 6297 of file soundness_checks.h.

◆ check_term_PRESSum()

template<atermpp::IsATerm Term>

bool mcrl2::core::detail::check_term_PRESSum ( const Term & t )

Definition at line 6487 of file soundness_checks.h.

◆ check_term_PRESSupremum()

template<atermpp::IsATerm Term>

bool mcrl2::core::detail::check_term_PRESSupremum ( const Term & t )

Definition at line 6449 of file soundness_checks.h.

◆ check_term_PRESTrue()

template<atermpp::IsATerm Term>

bool mcrl2::core::detail::check_term_PRESTrue ( const Term & t )

Definition at line 6098 of file soundness_checks.h.

◆ check_term_PRInit()

template<atermpp::IsATerm Term>

bool mcrl2::core::detail::check_term_PRInit ( const Term & t )

Definition at line 6022 of file soundness_checks.h.

◆ check_term_ProcEqn()

template<atermpp::IsATerm Term>

bool mcrl2::core::detail::check_term_ProcEqn ( const Term & t )

Definition at line 3545 of file soundness_checks.h.

◆ check_term_ProcEqnSpec()

template<atermpp::IsATerm Term>

bool mcrl2::core::detail::check_term_ProcEqnSpec ( const Term & t )

Definition at line 3512 of file soundness_checks.h.

◆ check_term_Process()

template<atermpp::IsATerm Term>

bool mcrl2::core::detail::check_term_Process ( const Term & t )

Definition at line 2462 of file soundness_checks.h.

◆ check_term_ProcessAssignment()

template<atermpp::IsATerm Term>

bool mcrl2::core::detail::check_term_ProcessAssignment ( const Term & t )

Definition at line 2500 of file soundness_checks.h.

◆ check_term_ProcessInit()

template<atermpp::IsATerm Term>

bool mcrl2::core::detail::check_term_ProcessInit ( const Term & t )

Definition at line 3588 of file soundness_checks.h.

◆ check_term_ProcSpec()

template<atermpp::IsATerm Term>

bool mcrl2::core::detail::check_term_ProcSpec ( const Term & t )

Definition at line 3393 of file soundness_checks.h.

◆ check_term_ProcVarId()

template<atermpp::IsATerm Term>

bool mcrl2::core::detail::check_term_ProcVarId ( const Term & t )

Definition at line 3246 of file soundness_checks.h.

◆ check_term_PropVarDecl()

template<atermpp::IsATerm Term>

bool mcrl2::core::detail::check_term_PropVarDecl ( const Term & t )

Definition at line 5590 of file soundness_checks.h.

◆ check_term_PropVarInst()

template<atermpp::IsATerm Term>

bool mcrl2::core::detail::check_term_PropVarInst ( const Term & t )

Definition at line 5903 of file soundness_checks.h.

◆ check_term_RegAlt()

template<atermpp::IsATerm Term>

bool mcrl2::core::detail::check_term_RegAlt ( const Term & t )

Definition at line 4764 of file soundness_checks.h.

◆ check_term_RegNil()

template<atermpp::IsATerm Term>

bool mcrl2::core::detail::check_term_RegNil ( const Term & t )

Definition at line 4700 of file soundness_checks.h.

◆ check_term_RegSeq()

template<atermpp::IsATerm Term>

bool mcrl2::core::detail::check_term_RegSeq ( const Term & t )

Definition at line 4726 of file soundness_checks.h.

◆ check_term_RegTrans()

template<atermpp::IsATerm Term>

bool mcrl2::core::detail::check_term_RegTrans ( const Term & t )

Definition at line 4802 of file soundness_checks.h.

◆ check_term_RegTransOrNil()

template<atermpp::IsATerm Term>

bool mcrl2::core::detail::check_term_RegTransOrNil ( const Term & t )

Definition at line 4835 of file soundness_checks.h.

◆ check_term_Rename()

template<atermpp::IsATerm Term>

bool mcrl2::core::detail::check_term_Rename ( const Term & t )

Definition at line 2704 of file soundness_checks.h.

◆ check_term_RenameExpr()

template<atermpp::IsATerm Term>

bool mcrl2::core::detail::check_term_RenameExpr ( const Term & t )

Definition at line 3317 of file soundness_checks.h.

◆ check_term_Seq()

template<atermpp::IsATerm Term>

bool mcrl2::core::detail::check_term_Seq ( const Term & t )

Definition at line 2894 of file soundness_checks.h.

◆ check_term_SetComp()

template<atermpp::IsATerm Term>

bool mcrl2::core::detail::check_term_SetComp ( const Term & t )

Definition at line 1836 of file soundness_checks.h.

◆ check_term_SortArrow()

template<atermpp::IsATerm Term>

bool mcrl2::core::detail::check_term_SortArrow ( const Term & t )

Definition at line 1177 of file soundness_checks.h.

◆ check_term_SortBag()

template<atermpp::IsATerm Term>

bool mcrl2::core::detail::check_term_SortBag ( const Term & t )

Definition at line 1392 of file soundness_checks.h.

◆ check_term_SortCons()

template<atermpp::IsATerm Term>

bool mcrl2::core::detail::check_term_SortCons ( const Term & t )

Definition at line 1106 of file soundness_checks.h.

◆ check_term_SortFBag()

template<atermpp::IsATerm Term>

bool mcrl2::core::detail::check_term_SortFBag ( const Term & t )

Definition at line 1444 of file soundness_checks.h.

◆ check_term_SortFSet()

template<atermpp::IsATerm Term>

bool mcrl2::core::detail::check_term_SortFSet ( const Term & t )

Definition at line 1418 of file soundness_checks.h.

◆ check_term_SortId()

template<atermpp::IsATerm Term>

bool mcrl2::core::detail::check_term_SortId ( const Term & t )

Definition at line 1307 of file soundness_checks.h.

◆ check_term_SortList()

template<atermpp::IsATerm Term>

bool mcrl2::core::detail::check_term_SortList ( const Term & t )

Definition at line 1340 of file soundness_checks.h.

◆ check_term_SortRef()

template<atermpp::IsATerm Term>

bool mcrl2::core::detail::check_term_SortRef ( const Term & t )

Definition at line 2196 of file soundness_checks.h.

◆ check_term_SortSet()

template<atermpp::IsATerm Term>

bool mcrl2::core::detail::check_term_SortSet ( const Term & t )

Definition at line 1366 of file soundness_checks.h.

◆ check_term_SortSpec()

template<atermpp::IsATerm Term>

bool mcrl2::core::detail::check_term_SortSpec ( const Term & t )

Definition at line 2064 of file soundness_checks.h.

◆ check_term_SortStruct()

template<atermpp::IsATerm Term>

bool mcrl2::core::detail::check_term_SortStruct ( const Term & t )

Definition at line 1144 of file soundness_checks.h.

◆ check_term_StateAnd()

template<atermpp::IsATerm Term>

bool mcrl2::core::detail::check_term_StateAnd ( const Term & t )

Definition at line 3964 of file soundness_checks.h.

◆ check_term_StateConstantMultiply()

template<atermpp::IsATerm Term>

bool mcrl2::core::detail::check_term_StateConstantMultiply ( const Term & t )

Definition at line 4116 of file soundness_checks.h.

◆ check_term_StateConstantMultiplyAlt()

template<atermpp::IsATerm Term>

bool mcrl2::core::detail::check_term_StateConstantMultiplyAlt ( const Term & t )

Definition at line 4154 of file soundness_checks.h.

◆ check_term_StateDelay()

template<atermpp::IsATerm Term>

bool mcrl2::core::detail::check_term_StateDelay ( const Term & t )

Definition at line 4517 of file soundness_checks.h.

◆ check_term_StateDelayTimed()

template<atermpp::IsATerm Term>

bool mcrl2::core::detail::check_term_StateDelayTimed ( const Term & t )

Definition at line 4543 of file soundness_checks.h.

◆ check_term_StateExists()

template<atermpp::IsATerm Term>

bool mcrl2::core::detail::check_term_StateExists ( const Term & t )

Definition at line 4230 of file soundness_checks.h.

◆ check_term_StateFalse()

template<atermpp::IsATerm Term>

bool mcrl2::core::detail::check_term_StateFalse ( const Term & t )

Definition at line 3872 of file soundness_checks.h.

◆ check_term_StateForall()

template<atermpp::IsATerm Term>

bool mcrl2::core::detail::check_term_StateForall ( const Term & t )

Definition at line 4192 of file soundness_checks.h.

◆ check_term_StateImp()

template<atermpp::IsATerm Term>

bool mcrl2::core::detail::check_term_StateImp ( const Term & t )

Definition at line 4040 of file soundness_checks.h.

◆ check_term_StateInfimum()

template<atermpp::IsATerm Term>

bool mcrl2::core::detail::check_term_StateInfimum ( const Term & t )

Definition at line 4268 of file soundness_checks.h.

◆ check_term_StateMay()

template<atermpp::IsATerm Term>

bool mcrl2::core::detail::check_term_StateMay ( const Term & t )

Definition at line 4420 of file soundness_checks.h.

◆ check_term_StateMinus()

template<atermpp::IsATerm Term>

bool mcrl2::core::detail::check_term_StateMinus ( const Term & t )

Definition at line 3931 of file soundness_checks.h.

◆ check_term_StateMu()

template<atermpp::IsATerm Term>

bool mcrl2::core::detail::check_term_StateMu ( const Term & t )

Definition at line 4657 of file soundness_checks.h.

◆ check_term_StateMust()

template<atermpp::IsATerm Term>

bool mcrl2::core::detail::check_term_StateMust ( const Term & t )

Definition at line 4382 of file soundness_checks.h.

◆ check_term_StateNot()

template<atermpp::IsATerm Term>

bool mcrl2::core::detail::check_term_StateNot ( const Term & t )

Definition at line 3898 of file soundness_checks.h.

◆ check_term_StateNu()

template<atermpp::IsATerm Term>

bool mcrl2::core::detail::check_term_StateNu ( const Term & t )

Definition at line 4614 of file soundness_checks.h.

◆ check_term_StateOr()

template<atermpp::IsATerm Term>

bool mcrl2::core::detail::check_term_StateOr ( const Term & t )

Definition at line 4002 of file soundness_checks.h.

◆ check_term_StatePlus()

template<atermpp::IsATerm Term>

bool mcrl2::core::detail::check_term_StatePlus ( const Term & t )

Definition at line 4078 of file soundness_checks.h.

◆ check_term_StateSum()

template<atermpp::IsATerm Term>

bool mcrl2::core::detail::check_term_StateSum ( const Term & t )

Definition at line 4344 of file soundness_checks.h.

◆ check_term_StateSupremum()

template<atermpp::IsATerm Term>

bool mcrl2::core::detail::check_term_StateSupremum ( const Term & t )

Definition at line 4306 of file soundness_checks.h.

◆ check_term_StateTrue()

template<atermpp::IsATerm Term>

bool mcrl2::core::detail::check_term_StateTrue ( const Term & t )

Definition at line 3846 of file soundness_checks.h.

◆ check_term_StateVar()

template<atermpp::IsATerm Term>

bool mcrl2::core::detail::check_term_StateVar ( const Term & t )

Definition at line 4576 of file soundness_checks.h.

◆ check_term_StateYaled()

template<atermpp::IsATerm Term>

bool mcrl2::core::detail::check_term_StateYaled ( const Term & t )

Definition at line 4458 of file soundness_checks.h.

◆ check_term_StateYaledTimed()

template<atermpp::IsATerm Term>

bool mcrl2::core::detail::check_term_StateYaledTimed ( const Term & t )

Definition at line 4484 of file soundness_checks.h.

◆ check_term_StochasticOperator()

template<atermpp::IsATerm Term>

bool mcrl2::core::detail::check_term_StochasticOperator ( const Term & t )

Definition at line 3165 of file soundness_checks.h.

◆ check_term_StructCons()

template<atermpp::IsATerm Term>

bool mcrl2::core::detail::check_term_StructCons ( const Term & t )

Definition at line 1470 of file soundness_checks.h.

◆ check_term_StructProj()

template<atermpp::IsATerm Term>

bool mcrl2::core::detail::check_term_StructProj ( const Term & t )

Definition at line 1513 of file soundness_checks.h.

◆ check_term_Sum()

template<atermpp::IsATerm Term>

bool mcrl2::core::detail::check_term_Sum ( const Term & t )

Definition at line 2590 of file soundness_checks.h.

◆ check_term_Sync()

template<atermpp::IsATerm Term>

bool mcrl2::core::detail::check_term_Sync ( const Term & t )

Definition at line 2818 of file soundness_checks.h.

◆ check_term_Tau()

template<atermpp::IsATerm Term>

bool mcrl2::core::detail::check_term_Tau ( const Term & t )

Definition at line 2564 of file soundness_checks.h.

◆ check_term_TimedMultAct()

template<atermpp::IsATerm Term>

bool mcrl2::core::detail::check_term_TimedMultAct ( const Term & t )

Definition at line 2315 of file soundness_checks.h.

◆ check_term_UntypedDataParameter()

template<atermpp::IsATerm Term>

bool mcrl2::core::detail::check_term_UntypedDataParameter ( const Term & t )

Definition at line 1746 of file soundness_checks.h.

◆ check_term_UntypedIdentifier()

template<atermpp::IsATerm Term>

bool mcrl2::core::detail::check_term_UntypedIdentifier ( const Term & t )

Definition at line 1632 of file soundness_checks.h.

◆ check_term_UntypedIdentifierAssignment()

template<atermpp::IsATerm Term>

bool mcrl2::core::detail::check_term_UntypedIdentifierAssignment ( const Term & t )

Definition at line 1978 of file soundness_checks.h.

◆ check_term_UntypedMultiAction()

template<atermpp::IsATerm Term>

bool mcrl2::core::detail::check_term_UntypedMultiAction ( const Term & t )

Definition at line 2353 of file soundness_checks.h.

◆ check_term_UntypedProcessAssignment()

template<atermpp::IsATerm Term>

bool mcrl2::core::detail::check_term_UntypedProcessAssignment ( const Term & t )

Definition at line 3208 of file soundness_checks.h.

◆ check_term_UntypedRegFrm()

template<atermpp::IsATerm Term>

bool mcrl2::core::detail::check_term_UntypedRegFrm ( const Term & t )

Definition at line 4868 of file soundness_checks.h.

◆ check_term_UntypedSetBagComp()

template<atermpp::IsATerm Term>

bool mcrl2::core::detail::check_term_UntypedSetBagComp ( const Term & t )

Definition at line 1914 of file soundness_checks.h.

◆ check_term_UntypedSortsPossible()

template<atermpp::IsATerm Term>

bool mcrl2::core::detail::check_term_UntypedSortsPossible ( const Term & t )

Definition at line 1241 of file soundness_checks.h.

◆ check_term_UntypedSortUnknown()

template<atermpp::IsATerm Term>

bool mcrl2::core::detail::check_term_UntypedSortUnknown ( const Term & t )

Definition at line 1215 of file soundness_checks.h.

◆ check_term_UntypedSortVariable()

template<atermpp::IsATerm Term>

bool mcrl2::core::detail::check_term_UntypedSortVariable ( const Term & t )

Definition at line 1274 of file soundness_checks.h.

◆ check_term_Whr()

template<atermpp::IsATerm Term>

bool mcrl2::core::detail::check_term_Whr ( const Term & t )

Definition at line 1594 of file soundness_checks.h.

◆ default_value_ActAnd()

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

inline

Definition at line 1109 of file default_values.h.

◆ default_value_ActAt()

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

inline

Definition at line 1149 of file default_values.h.

◆ default_value_ActExists()

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

inline

Definition at line 1141 of file default_values.h.

◆ default_value_ActFalse()

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

inline

Definition at line 1093 of file default_values.h.

◆ default_value_ActForall()

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

inline

Definition at line 1133 of file default_values.h.

◆ default_value_ActFrm()

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

inline

Definition at line 1554 of file default_values.h.

◆ default_value_ActId()

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

inline

Definition at line 549 of file default_values.h.

◆ default_value_ActImp()

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

inline

Definition at line 1125 of file default_values.h.

◆ default_value_Action()

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

inline

Definition at line 541 of file default_values.h.

◆ default_value_ActionRenameRule()

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

inline

Definition at line 1173 of file default_values.h.

◆ default_value_ActionRenameRuleRHS()

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

inline

Definition at line 1568 of file default_values.h.

◆ default_value_ActionRenameRules()

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

inline

Definition at line 1165 of file default_values.h.

◆ default_value_ActionRenameSpec()

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

inline

Definition at line 1181 of file default_values.h.

◆ default_value_ActMultAct()

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

inline

Definition at line 1157 of file default_values.h.

◆ default_value_ActNot()

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

inline

Definition at line 1101 of file default_values.h.

◆ default_value_ActOr()

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

inline

Definition at line 1117 of file default_values.h.

◆ default_value_ActSpec()

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

inline

Definition at line 765 of file default_values.h.

◆ default_value_ActTrue()

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

inline

Definition at line 1085 of file default_values.h.

◆ default_value_Allow()

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

inline

Definition at line 629 of file default_values.h.

◆ default_value_AtTime()

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

inline

Definition at line 645 of file default_values.h.

◆ default_value_BagComp()

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

inline

Definition at line 421 of file default_values.h.

◆ default_value_Binder()

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

inline

Definition at line 349 of file default_values.h.

◆ default_value_BindingOperator()

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

inline

Definition at line 1498 of file default_values.h.

◆ default_value_BInit()

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

inline

Definition at line 677 of file default_values.h.

◆ default_value_Block()

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

inline

Definition at line 597 of file default_values.h.

◆ default_value_Choice()

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

inline

Definition at line 701 of file default_values.h.

◆ default_value_Comm()

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

inline

Definition at line 621 of file default_values.h.

◆ default_value_CommExpr()

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

inline

Definition at line 749 of file default_values.h.

◆ default_value_ConsSpec()

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

inline

Definition at line 477 of file default_values.h.

◆ default_value_DataEqn()

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

inline

Definition at line 509 of file default_values.h.

◆ default_value_DataEqnSpec()

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

inline

Definition at line 493 of file default_values.h.

◆ default_value_DataExpr()

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

inline

Definition at line 1491 of file default_values.h.

◆ default_value_DataSpec()

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

inline

Definition at line 461 of file default_values.h.

◆ default_value_DataVarId()

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

inline

Definition at line 373 of file default_values.h.

◆ default_value_DataVarIdInit()

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

inline

Definition at line 445 of file default_values.h.

◆ default_value_Delta()

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

inline

Definition at line 573 of file default_values.h.

◆ default_value_Distribution()

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

inline

Definition at line 805 of file default_values.h.

◆ default_value_Exists()

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

inline

Definition at line 405 of file default_values.h.

◆ default_value_FixPoint()

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

inline

Definition at line 1575 of file default_values.h.

◆ default_value_Forall()

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

inline

Definition at line 397 of file default_values.h.

◆ default_value_GlobVarSpec()

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

inline

Definition at line 773 of file default_values.h.

◆ default_value_Hide()

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

inline

Definition at line 605 of file default_values.h.

◆ default_value_IfThen()

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

inline

Definition at line 661 of file default_values.h.

◆ default_value_IfThenElse()

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

inline

Definition at line 669 of file default_values.h.

◆ default_value_Lambda()

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

inline

Definition at line 429 of file default_values.h.

◆ default_value_LinearProcess()

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

inline

Definition at line 821 of file default_values.h.

◆ default_value_LinearProcessInit()

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

inline

Definition at line 837 of file default_values.h.

◆ default_value_LinearProcessSummand()

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

inline

Definition at line 829 of file default_values.h.

◆ default_value_LinProcSpec()

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

inline

Definition at line 813 of file default_values.h.

◆ default_value_List() [1/2]

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

inline

Definition at line 46 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 54 of file default_values.h.

◆ default_value_LMerge()

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

inline

Definition at line 693 of file default_values.h.

◆ default_value_MapSpec()

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

inline

Definition at line 485 of file default_values.h.

◆ default_value_Merge()

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

inline

Definition at line 685 of file default_values.h.

◆ default_value_Mu()

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

inline

Definition at line 1221 of file default_values.h.

◆ default_value_MultAct()

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

inline

Definition at line 517 of file default_values.h.

◆ default_value_MultActName()

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

inline

Definition at line 733 of file default_values.h.

◆ default_value_MultActOrDelta()

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

inline

Definition at line 1526 of file default_values.h.

◆ default_value_Nu()

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

inline

Definition at line 1229 of file default_values.h.

◆ default_value_Number()

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

inline

Definition at line 25 of file default_values.h.

◆ default_value_OpId()

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

inline

Definition at line 381 of file default_values.h.

◆ default_value_ParamIdOrAction()

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

inline

Definition at line 1561 of file default_values.h.

◆ default_value_PBEqn()

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

inline

Definition at line 1213 of file default_values.h.

◆ default_value_PBEqnSpec()

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

inline

Definition at line 1197 of file default_values.h.

◆ default_value_PBES()

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

inline

Definition at line 1189 of file default_values.h.

◆ default_value_PBESAnd()

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

inline

Definition at line 1269 of file default_values.h.

◆ default_value_PBESExists()

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

inline

Definition at line 1301 of file default_values.h.

◆ default_value_PBESFalse()

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

inline

Definition at line 1253 of file default_values.h.

◆ default_value_PBESForall()

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

inline

Definition at line 1293 of file default_values.h.

◆ default_value_PBESImp()

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

inline

Definition at line 1285 of file default_values.h.

◆ default_value_PBESNot()

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

inline

Definition at line 1261 of file default_values.h.

◆ default_value_PBESOr()

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

inline

Definition at line 1277 of file default_values.h.

◆ default_value_PBESTrue()

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

inline

Definition at line 1245 of file default_values.h.

◆ default_value_PBExpr()

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

inline

Definition at line 1582 of file default_values.h.

◆ default_value_PBInit()

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

inline

Definition at line 1205 of file default_values.h.

◆ default_value_PREqn()

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

inline

Definition at line 1341 of file default_values.h.

◆ default_value_PREqnSpec()

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

inline

Definition at line 1325 of file default_values.h.

◆ default_value_PRES()

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

inline

Definition at line 1317 of file default_values.h.

◆ default_value_PRESAnd()

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

inline

Definition at line 1373 of file default_values.h.

◆ default_value_PRESCondEq()

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

inline

Definition at line 1469 of file default_values.h.

◆ default_value_PRESCondSm()

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

inline

Definition at line 1461 of file default_values.h.

◆ default_value_PRESConstantMultiply()

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

inline

Definition at line 1405 of file default_values.h.

◆ default_value_PRESConstantMultiplyAlt()

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

inline

Definition at line 1413 of file default_values.h.

◆ default_value_PRESEqInf()

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

inline

Definition at line 1445 of file default_values.h.

◆ default_value_PRESEqNInf()

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

inline

Definition at line 1453 of file default_values.h.

◆ default_value_PRESFalse()

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

inline

Definition at line 1357 of file default_values.h.

◆ default_value_PRESImp()

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

inline

Definition at line 1389 of file default_values.h.

◆ default_value_PRESInfimum()

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

inline

Definition at line 1421 of file default_values.h.

◆ default_value_PRESMinus()

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

inline

Definition at line 1365 of file default_values.h.

◆ default_value_PRESOr()

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

inline

Definition at line 1381 of file default_values.h.

◆ default_value_PRESPlus()

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

inline

Definition at line 1397 of file default_values.h.

◆ default_value_PRESSum()

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

inline

Definition at line 1437 of file default_values.h.

◆ default_value_PRESSupremum()

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

inline

Definition at line 1429 of file default_values.h.

◆ default_value_PRESTrue()

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

inline

Definition at line 1349 of file default_values.h.

◆ default_value_PRExpr()

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

inline

Definition at line 1589 of file default_values.h.

◆ default_value_PRInit()

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

inline

Definition at line 1333 of file default_values.h.

◆ default_value_ProcEqn()

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

inline

Definition at line 789 of file default_values.h.

◆ default_value_ProcEqnSpec()

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

inline

Definition at line 781 of file default_values.h.

◆ default_value_Process()

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

inline

Definition at line 557 of file default_values.h.

◆ default_value_ProcessAssignment()

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

inline

Definition at line 565 of file default_values.h.

◆ default_value_ProcessInit()

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

inline

Definition at line 797 of file default_values.h.

◆ default_value_ProcExpr()

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

inline

Definition at line 1519 of file default_values.h.

◆ default_value_ProcInit()

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

inline

Definition at line 1533 of file default_values.h.

◆ default_value_ProcSpec()

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

inline

Definition at line 757 of file default_values.h.

◆ default_value_ProcVarId()

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

inline

Definition at line 725 of file default_values.h.

◆ default_value_PropVarDecl()

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

inline

Definition at line 1237 of file default_values.h.

◆ default_value_PropVarInst()

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

inline

Definition at line 1309 of file default_values.h.

◆ default_value_RegAlt()

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

inline

Definition at line 1053 of file default_values.h.

◆ default_value_RegFrm()

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

inline

Definition at line 1547 of file default_values.h.

◆ default_value_RegNil()

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

inline

Definition at line 1037 of file default_values.h.

◆ default_value_RegSeq()

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

inline

Definition at line 1045 of file default_values.h.

◆ default_value_RegTrans()

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

inline

Definition at line 1061 of file default_values.h.

◆ default_value_RegTransOrNil()

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

inline

Definition at line 1069 of file default_values.h.

◆ default_value_Rename()

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

inline

Definition at line 613 of file default_values.h.

◆ default_value_RenameExpr()

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

inline

Definition at line 741 of file default_values.h.

◆ default_value_Seq()

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

inline

Definition at line 653 of file default_values.h.

◆ default_value_SetComp()

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

inline

Definition at line 413 of file default_values.h.

◆ default_value_SortArrow()

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

inline

Definition at line 253 of file default_values.h.

◆ default_value_SortBag()

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

inline

Definition at line 309 of file default_values.h.

◆ default_value_SortCons()

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

inline

Definition at line 237 of file default_values.h.

◆ default_value_SortConsType()

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

inline

Definition at line 1484 of file default_values.h.

◆ default_value_SortDecl()

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

inline

Definition at line 1512 of file default_values.h.

◆ default_value_SortExpr()

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

inline

Definition at line 1477 of file default_values.h.

◆ default_value_SortFBag()

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

inline

Definition at line 325 of file default_values.h.

◆ default_value_SortFSet()

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

inline

Definition at line 317 of file default_values.h.

◆ default_value_SortId()

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

inline

Definition at line 285 of file default_values.h.

◆ default_value_SortList()

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

inline

Definition at line 293 of file default_values.h.

◆ default_value_SortRef()

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

inline

Definition at line 501 of file default_values.h.

◆ default_value_SortSet()

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

inline

Definition at line 301 of file default_values.h.

◆ default_value_SortSpec()

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

inline

Definition at line 469 of file default_values.h.

◆ default_value_SortStruct()

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

inline

Definition at line 245 of file default_values.h.

◆ default_value_StateAnd()

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

inline

Definition at line 877 of file default_values.h.

◆ default_value_StateConstantMultiply()

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

inline

Definition at line 909 of file default_values.h.

◆ default_value_StateConstantMultiplyAlt()

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

inline

Definition at line 917 of file default_values.h.

◆ default_value_StateDelay()

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

inline

Definition at line 997 of file default_values.h.

◆ default_value_StateDelayTimed()

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

inline

Definition at line 1005 of file default_values.h.

◆ default_value_StateExists()

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

inline

Definition at line 933 of file default_values.h.

◆ default_value_StateFalse()

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

inline

Definition at line 853 of file default_values.h.

◆ default_value_StateForall()

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

inline

Definition at line 925 of file default_values.h.

◆ default_value_StateFrm()

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

inline

Definition at line 1540 of file default_values.h.

◆ default_value_StateImp()

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

inline

Definition at line 893 of file default_values.h.

◆ default_value_StateInfimum()

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

inline

Definition at line 941 of file default_values.h.

◆ default_value_StateMay()

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

inline

Definition at line 973 of file default_values.h.

◆ default_value_StateMinus()

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

inline

Definition at line 869 of file default_values.h.

◆ default_value_StateMu()

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

inline

Definition at line 1029 of file default_values.h.

◆ default_value_StateMust()

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

inline

Definition at line 965 of file default_values.h.

◆ default_value_StateNot()

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

inline

Definition at line 861 of file default_values.h.

◆ default_value_StateNu()

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

inline

Definition at line 1021 of file default_values.h.

◆ default_value_StateOr()

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

inline

Definition at line 885 of file default_values.h.

◆ default_value_StatePlus()

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

inline

Definition at line 901 of file default_values.h.

◆ default_value_StateSum()

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

inline

Definition at line 957 of file default_values.h.

◆ default_value_StateSupremum()

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

inline

Definition at line 949 of file default_values.h.

◆ default_value_StateTrue()

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

inline

Definition at line 845 of file default_values.h.

◆ default_value_StateVar()

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

inline

Definition at line 1013 of file default_values.h.

◆ default_value_StateYaled()

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

inline

Definition at line 981 of file default_values.h.

◆ default_value_StateYaledTimed()

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

inline

Definition at line 989 of file default_values.h.

◆ default_value_StochasticOperator()

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

inline

Definition at line 709 of file default_values.h.

◆ default_value_String()

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

inline

Definition at line 32 of file default_values.h.

◆ default_value_StringOrEmpty()

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

inline

Definition at line 39 of file default_values.h.

◆ default_value_StructCons()

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

inline

Definition at line 333 of file default_values.h.

◆ default_value_StructProj()

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

inline

Definition at line 341 of file default_values.h.

◆ default_value_Sum()

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

inline

Definition at line 589 of file default_values.h.

◆ default_value_Sync()

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

inline

Definition at line 637 of file default_values.h.

◆ default_value_Tau()

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

inline

Definition at line 581 of file default_values.h.

◆ default_value_TimedMultAct()

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

inline

Definition at line 525 of file default_values.h.

◆ default_value_UntypedDataParameter()

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

inline

Definition at line 389 of file default_values.h.

◆ default_value_UntypedIdentifier()

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

inline

Definition at line 365 of file default_values.h.

◆ default_value_UntypedIdentifierAssignment()

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

inline

Definition at line 453 of file default_values.h.

◆ default_value_UntypedMultiAction()

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

inline

Definition at line 533 of file default_values.h.

◆ default_value_UntypedProcessAssignment()

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

inline

Definition at line 717 of file default_values.h.

◆ default_value_UntypedRegFrm()

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

inline

Definition at line 1077 of file default_values.h.

◆ default_value_UntypedSetBagComp()

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

inline

Definition at line 437 of file default_values.h.

◆ default_value_UntypedSortsPossible()

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

inline

Definition at line 269 of file default_values.h.

◆ default_value_UntypedSortUnknown()

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

inline

Definition at line 261 of file default_values.h.

◆ default_value_UntypedSortVariable()

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

inline

Definition at line 277 of file default_values.h.

◆ default_value_Whr()

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

inline

Definition at line 357 of file default_values.h.

◆ default_value_WhrDecl()

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

inline

Definition at line 1505 of file default_values.h.

◆ file_source()

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

inline

Definition at line 24 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 24 of file parser_utility.h.

◆ function_symbol_ActAnd()

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

inline

Definition at line 104 of file function_symbols.h.

◆ function_symbol_ActAt()

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

inline

Definition at line 112 of file function_symbols.h.

◆ function_symbol_ActExists()

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

inline

Definition at line 120 of file function_symbols.h.

◆ function_symbol_ActFalse()

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

inline

Definition at line 128 of file function_symbols.h.

◆ function_symbol_ActForall()

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

inline

Definition at line 136 of file function_symbols.h.

◆ function_symbol_ActId()

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

inline

Definition at line 144 of file function_symbols.h.

◆ function_symbol_ActImp()

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

inline

Definition at line 152 of file function_symbols.h.

◆ function_symbol_Action()

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

inline

Definition at line 200 of file function_symbols.h.

◆ function_symbol_ActionRenameRule()

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

inline

Definition at line 208 of file function_symbols.h.

◆ function_symbol_ActionRenameRules()

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

inline

Definition at line 216 of file function_symbols.h.

◆ function_symbol_ActionRenameSpec()

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

inline

Definition at line 224 of file function_symbols.h.

◆ function_symbol_ActMultAct()

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

inline

Definition at line 160 of file function_symbols.h.

◆ function_symbol_ActNot()

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

inline

Definition at line 168 of file function_symbols.h.

◆ function_symbol_ActOr()

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

inline

Definition at line 176 of file function_symbols.h.

◆ function_symbol_ActSpec()

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

inline

Definition at line 184 of file function_symbols.h.

◆ function_symbol_ActTrue()

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

inline

Definition at line 192 of file function_symbols.h.

◆ function_symbol_Allow()

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

inline

Definition at line 232 of file function_symbols.h.

◆ function_symbol_AtTime()

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

inline

Definition at line 240 of file function_symbols.h.

◆ function_symbol_BagComp()

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

inline

Definition at line 256 of file function_symbols.h.

◆ function_symbol_Binder()

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

inline

Definition at line 264 of file function_symbols.h.

◆ function_symbol_BInit()

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

inline

Definition at line 248 of file function_symbols.h.

◆ function_symbol_Block()

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

inline

Definition at line 272 of file function_symbols.h.

◆ function_symbol_Choice()

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

inline

Definition at line 280 of file function_symbols.h.

◆ function_symbol_Comm()

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

inline

Definition at line 288 of file function_symbols.h.

◆ function_symbol_CommExpr()

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

inline

Definition at line 296 of file function_symbols.h.

◆ function_symbol_ConsSpec()

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

inline

Definition at line 304 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 57 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 38 of file function_symbols.h.

◆ function_symbol_DataEqn()

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

inline

Definition at line 312 of file function_symbols.h.

◆ function_symbol_DataEqnSpec()

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

inline

Definition at line 320 of file function_symbols.h.

◆ function_symbol_DataSpec()

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

inline

Definition at line 328 of file function_symbols.h.

◆ function_symbol_DataVarId()

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

inline

Definition at line 336 of file function_symbols.h.

◆ function_symbol_DataVarIdInit()

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

inline

Definition at line 344 of file function_symbols.h.

◆ function_symbol_Delta()

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

inline

Definition at line 352 of file function_symbols.h.

◆ function_symbol_Distribution()

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

inline

Definition at line 360 of file function_symbols.h.

◆ function_symbol_Exists()

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

inline

Definition at line 368 of file function_symbols.h.

◆ function_symbol_Forall()

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

inline

Definition at line 376 of file function_symbols.h.

◆ function_symbol_GlobVarSpec()

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

inline

Definition at line 384 of file function_symbols.h.

◆ function_symbol_Hide()

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

inline

Definition at line 392 of file function_symbols.h.

◆ function_symbol_IfThen()

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

inline

Definition at line 400 of file function_symbols.h.

◆ function_symbol_IfThenElse()

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

inline

Definition at line 408 of file function_symbols.h.

◆ function_symbol_Lambda()

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

inline

Definition at line 424 of file function_symbols.h.

◆ function_symbol_LinearProcess()

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

inline

Definition at line 440 of file function_symbols.h.

◆ function_symbol_LinearProcessInit()

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

inline

Definition at line 448 of file function_symbols.h.

◆ function_symbol_LinearProcessSummand()

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

inline

Definition at line 456 of file function_symbols.h.

◆ function_symbol_LinProcSpec()

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

inline

Definition at line 432 of file function_symbols.h.

◆ function_symbol_LMerge()

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

inline

Definition at line 416 of file function_symbols.h.

◆ function_symbol_MapSpec()

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

inline

Definition at line 464 of file function_symbols.h.

◆ function_symbol_Merge()

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

inline

Definition at line 472 of file function_symbols.h.

◆ function_symbol_Mu()

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

inline

Definition at line 480 of file function_symbols.h.

◆ function_symbol_MultAct()

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

inline

Definition at line 488 of file function_symbols.h.

◆ function_symbol_MultActName()

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

inline

Definition at line 496 of file function_symbols.h.

◆ function_symbol_Nu()

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

inline

Definition at line 504 of file function_symbols.h.

◆ function_symbol_OpId()

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

inline

Definition at line 512 of file function_symbols.h.

◆ function_symbol_OpIdNoIndex()

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

inline

Definition at line 95 of file function_symbols.h.

◆ function_symbol_PBEqn()

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

inline

Definition at line 592 of file function_symbols.h.

◆ function_symbol_PBEqnSpec()

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

inline

Definition at line 600 of file function_symbols.h.

◆ function_symbol_PBES()

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

inline

Definition at line 520 of file function_symbols.h.

◆ function_symbol_PBESAnd()

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

inline

Definition at line 528 of file function_symbols.h.

◆ function_symbol_PBESExists()

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

inline

Definition at line 536 of file function_symbols.h.

◆ function_symbol_PBESFalse()

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

inline

Definition at line 544 of file function_symbols.h.

◆ function_symbol_PBESForall()

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

inline

Definition at line 552 of file function_symbols.h.

◆ function_symbol_PBESImp()

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

inline

Definition at line 560 of file function_symbols.h.

◆ function_symbol_PBESNot()

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

inline

Definition at line 568 of file function_symbols.h.

◆ function_symbol_PBESOr()

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

inline

Definition at line 576 of file function_symbols.h.

◆ function_symbol_PBESTrue()

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

inline

Definition at line 584 of file function_symbols.h.

◆ function_symbol_PBInit()

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

inline

Definition at line 608 of file function_symbols.h.

◆ function_symbol_PREqn()

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

inline

Definition at line 752 of file function_symbols.h.

◆ function_symbol_PREqnSpec()

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

inline

Definition at line 760 of file function_symbols.h.

◆ function_symbol_PRES()

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

inline

Definition at line 616 of file function_symbols.h.

◆ function_symbol_PRESAnd()

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

inline

Definition at line 624 of file function_symbols.h.

◆ function_symbol_PRESCondEq()

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

inline

Definition at line 632 of file function_symbols.h.

◆ function_symbol_PRESCondSm()

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

inline

Definition at line 640 of file function_symbols.h.

◆ function_symbol_PRESConstantMultiply()

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

inline

Definition at line 648 of file function_symbols.h.

◆ function_symbol_PRESConstantMultiplyAlt()

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

inline

Definition at line 656 of file function_symbols.h.

◆ function_symbol_PRESEqInf()

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

inline

Definition at line 664 of file function_symbols.h.

◆ function_symbol_PRESEqNInf()

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

inline

Definition at line 672 of file function_symbols.h.

◆ function_symbol_PRESFalse()

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

inline

Definition at line 680 of file function_symbols.h.

◆ function_symbol_PRESImp()

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

inline

Definition at line 688 of file function_symbols.h.

◆ function_symbol_PRESInfimum()

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

inline

Definition at line 696 of file function_symbols.h.

◆ function_symbol_PRESMinus()

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

inline

Definition at line 704 of file function_symbols.h.

◆ function_symbol_PRESOr()

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

inline

Definition at line 712 of file function_symbols.h.

◆ function_symbol_PRESPlus()

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

inline

Definition at line 720 of file function_symbols.h.

◆ function_symbol_PRESSum()

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

inline

Definition at line 728 of file function_symbols.h.

◆ function_symbol_PRESSupremum()

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

inline

Definition at line 736 of file function_symbols.h.

◆ function_symbol_PRESTrue()

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

inline

Definition at line 744 of file function_symbols.h.

◆ function_symbol_PRInit()

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

inline

Definition at line 768 of file function_symbols.h.

◆ function_symbol_ProcEqn()

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

inline

Definition at line 776 of file function_symbols.h.

◆ function_symbol_ProcEqnSpec()

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

inline

Definition at line 784 of file function_symbols.h.

◆ function_symbol_Process()

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

inline

Definition at line 808 of file function_symbols.h.

◆ function_symbol_ProcessAssignment()

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

inline

Definition at line 816 of file function_symbols.h.

◆ function_symbol_ProcessInit()

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

inline

Definition at line 824 of file function_symbols.h.

◆ function_symbol_ProcSpec()

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

inline

Definition at line 792 of file function_symbols.h.

◆ function_symbol_ProcVarId()

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

inline

Definition at line 800 of file function_symbols.h.

◆ function_symbol_PropVarDecl()

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

inline

Definition at line 832 of file function_symbols.h.

◆ function_symbol_PropVarInst()

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

inline

Definition at line 840 of file function_symbols.h.

◆ function_symbol_RegAlt()

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

inline

Definition at line 848 of file function_symbols.h.

◆ function_symbol_RegNil()

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

inline

Definition at line 856 of file function_symbols.h.

◆ function_symbol_RegSeq()

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

inline

Definition at line 864 of file function_symbols.h.

◆ function_symbol_RegTrans()

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

inline

Definition at line 872 of file function_symbols.h.

◆ function_symbol_RegTransOrNil()

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

inline

Definition at line 880 of file function_symbols.h.

◆ function_symbol_Rename()

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

inline

Definition at line 888 of file function_symbols.h.

◆ function_symbol_RenameExpr()

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

inline

Definition at line 896 of file function_symbols.h.

◆ function_symbol_Seq()

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

inline

Definition at line 904 of file function_symbols.h.

◆ function_symbol_SetComp()

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

inline

Definition at line 912 of file function_symbols.h.

◆ function_symbol_SortArrow()

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

inline

Definition at line 920 of file function_symbols.h.

◆ function_symbol_SortBag()

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

inline

Definition at line 928 of file function_symbols.h.

◆ function_symbol_SortCons()

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

inline

Definition at line 936 of file function_symbols.h.

◆ function_symbol_SortFBag()

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

inline

Definition at line 944 of file function_symbols.h.

◆ function_symbol_SortFSet()

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

inline

Definition at line 952 of file function_symbols.h.

◆ function_symbol_SortId()

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

inline

Definition at line 960 of file function_symbols.h.

◆ function_symbol_SortList()

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

inline

Definition at line 968 of file function_symbols.h.

◆ function_symbol_SortRef()

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

inline

Definition at line 976 of file function_symbols.h.

◆ function_symbol_SortSet()

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

inline

Definition at line 984 of file function_symbols.h.

◆ function_symbol_SortSpec()

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

inline

Definition at line 992 of file function_symbols.h.

◆ function_symbol_SortStruct()

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

inline

Definition at line 1000 of file function_symbols.h.

◆ function_symbol_StateAnd()

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

inline

Definition at line 1008 of file function_symbols.h.

◆ function_symbol_StateConstantMultiply()

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

inline

Definition at line 1016 of file function_symbols.h.

◆ function_symbol_StateConstantMultiplyAlt()

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

inline

Definition at line 1024 of file function_symbols.h.

◆ function_symbol_StateDelay()

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

inline

Definition at line 1032 of file function_symbols.h.

◆ function_symbol_StateDelayTimed()

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

inline

Definition at line 1040 of file function_symbols.h.

◆ function_symbol_StateExists()

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

inline

Definition at line 1048 of file function_symbols.h.

◆ function_symbol_StateFalse()

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

inline

Definition at line 1056 of file function_symbols.h.

◆ function_symbol_StateForall()

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

inline

Definition at line 1064 of file function_symbols.h.

◆ function_symbol_StateImp()

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

inline

Definition at line 1072 of file function_symbols.h.

◆ function_symbol_StateInfimum()

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

inline

Definition at line 1080 of file function_symbols.h.

◆ function_symbol_StateMay()

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

inline

Definition at line 1088 of file function_symbols.h.

◆ function_symbol_StateMinus()

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

inline

Definition at line 1096 of file function_symbols.h.

◆ function_symbol_StateMu()

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

inline

Definition at line 1104 of file function_symbols.h.

◆ function_symbol_StateMust()

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

inline

Definition at line 1112 of file function_symbols.h.

◆ function_symbol_StateNot()

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

inline

Definition at line 1120 of file function_symbols.h.

◆ function_symbol_StateNu()

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

inline

Definition at line 1128 of file function_symbols.h.

◆ function_symbol_StateOr()

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

inline

Definition at line 1136 of file function_symbols.h.

◆ function_symbol_StatePlus()

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

inline

Definition at line 1144 of file function_symbols.h.

◆ function_symbol_StateSum()

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

inline

Definition at line 1152 of file function_symbols.h.

◆ function_symbol_StateSupremum()

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

inline

Definition at line 1160 of file function_symbols.h.

◆ function_symbol_StateTrue()

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

inline

Definition at line 1168 of file function_symbols.h.

◆ function_symbol_StateVar()

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

inline

Definition at line 1176 of file function_symbols.h.

◆ function_symbol_StateYaled()

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

inline

Definition at line 1184 of file function_symbols.h.

◆ function_symbol_StateYaledTimed()

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

inline

Definition at line 1192 of file function_symbols.h.

◆ function_symbol_StochasticOperator()

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

inline

Definition at line 1200 of file function_symbols.h.

◆ function_symbol_StructCons()

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

inline

Definition at line 1208 of file function_symbols.h.

◆ function_symbol_StructProj()

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

inline

Definition at line 1216 of file function_symbols.h.

◆ function_symbol_Sum()

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

inline

Definition at line 1224 of file function_symbols.h.

◆ function_symbol_Sync()

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

inline

Definition at line 1232 of file function_symbols.h.

◆ function_symbol_Tau()

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

inline

Definition at line 1240 of file function_symbols.h.

◆ function_symbol_TimedMultAct()

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

inline

Definition at line 1248 of file function_symbols.h.

◆ function_symbol_UntypedDataParameter()

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

inline

Definition at line 1256 of file function_symbols.h.

◆ function_symbol_UntypedIdentifier()

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

inline

Definition at line 1264 of file function_symbols.h.

◆ function_symbol_UntypedIdentifierAssignment()

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

inline

Definition at line 1272 of file function_symbols.h.

◆ function_symbol_UntypedMultiAction()

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

inline

Definition at line 1280 of file function_symbols.h.

◆ function_symbol_UntypedProcessAssignment()

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

inline

Definition at line 1288 of file function_symbols.h.

◆ function_symbol_UntypedRegFrm()

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

inline

Definition at line 1296 of file function_symbols.h.

◆ function_symbol_UntypedSetBagComp()

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

inline

Definition at line 1304 of file function_symbols.h.

◆ function_symbol_UntypedSortsPossible()

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

inline

Definition at line 1328 of file function_symbols.h.

◆ function_symbol_UntypedSortUnknown()

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

inline

Definition at line 1312 of file function_symbols.h.

◆ function_symbol_UntypedSortVariable()

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

inline

Definition at line 1320 of file function_symbols.h.

◆ function_symbol_Whr()

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

inline

Definition at line 1336 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 61 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 67 of file dparser.h.

◆ gsIsDataAppl()

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

inline

Definition at line 78 of file function_symbols.h.

◆ gsIsDataAppl_no_check()

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

inline

Definition at line 84 of file function_symbols.h.

◆ increment_dparser_error_message_count()

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

inline

Definition at line 55 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 329 of file dparser.cpp.

◆ log_location()

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

static

Definition at line 429 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 343 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

v	A container

Definition at line 115 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 354 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

v	A container
message	A string
print_index	If true, an index is written in front of each term

Definition at line 29 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

v	A container
message	A string
print_index	If true, an index is written in front of each term

Definition at line 72 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

v	A map container
message	A string
print_index	If true, an index is written in front of each term

Definition at line 92 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

v	A container
message	A string
print_index	If true, an index is written in front of each term

Definition at line 82 of file print_utility.h.

◆ reset_dparser_error_message_count()

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

inline

Definition at line 49 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 73 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 453 of file dparser.cpp.

Variable Documentation

◆ DataApplFixed

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

constexpr

Definition at line 27 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

std::array< atermpp::function_symbol, DataApplFixed > mcrl2::core::detail::function_symbols_DataApplFixed

Definition at line 21 of file core.cpp.

Classes

Functions

Variables

Function Documentation

◆ add_context()

◆ ambiguity_fn()

◆ check_list_argument()

◆ check_rule_ActFrm()

◆ check_rule_ActId()

◆ check_rule_Action()

◆ check_rule_ActionRenameRule()

◆ check_rule_ActionRenameRuleRHS()

◆ check_rule_ActionRenameRules()

◆ check_rule_ActionRenameSpec()

◆ check_rule_ActSpec()

◆ check_rule_BindingOperator()

◆ check_rule_CommExpr()

◆ check_rule_ConsSpec()

◆ check_rule_DataEqn()

◆ check_rule_DataEqnSpec()

◆ check_rule_DataExpr()

◆ check_rule_DataSpec()

◆ check_rule_DataVarId()

◆ check_rule_DataVarIdInit()

◆ check_rule_Distribution()

◆ check_rule_FixPoint()

◆ check_rule_GlobVarSpec()

◆ check_rule_LinearProcess()

◆ check_rule_LinearProcessInit()

◆ check_rule_LinearProcessSummand()

◆ check_rule_LinProcSpec()

◆ check_rule_MapSpec()

◆ check_rule_MultAct()

◆ check_rule_MultActName()

◆ check_rule_MultActOrDelta()

◆ check_rule_Number()

◆ check_rule_OpId()

◆ check_rule_ParamIdOrAction()

◆ check_rule_PBEqn()

◆ check_rule_PBEqnSpec()

◆ check_rule_PBES()

◆ check_rule_PBExpr()

◆ check_rule_PBInit()

◆ check_rule_PREqn()

◆ check_rule_PREqnSpec()

◆ check_rule_PRES()

◆ check_rule_PRExpr()

◆ check_rule_PRInit()

◆ check_rule_ProcEqn()

◆ check_rule_ProcEqnSpec()

◆ check_rule_ProcExpr()

◆ check_rule_ProcInit()

◆ check_rule_ProcSpec()

◆ check_rule_ProcVarId()

◆ check_rule_PropVarDecl()

◆ check_rule_PropVarInst()

◆ check_rule_RegFrm()

◆ check_rule_RenameExpr()

◆ check_rule_SortConsType()

◆ check_rule_SortDecl()

◆ check_rule_SortExpr()

◆ check_rule_SortId()

◆ check_rule_SortSpec()

◆ check_rule_StateFrm()

◆ check_rule_String()

◆ check_rule_StringOrEmpty()

◆ check_rule_StructCons()

◆ check_rule_StructProj()

◆ check_rule_TimedMultAct()

◆ check_rule_UntypedDataParameter()

◆ check_rule_UntypedIdentifierAssignment()

◆ check_rule_UntypedMultiAction()

◆ check_rule_WhrDecl()

◆ check_term_ActAnd()

◆ check_term_ActAt()

◆ check_term_ActExists()

◆ check_term_ActFalse()

◆ check_term_ActForall()

◆ check_term_ActId()

◆ check_term_ActImp()