mCRL2
|
This is the complete list of members for specification_basic_type, including all inherited members.
action_list_to_process(const action_list &ma) | specification_basic_type | inlineprivatestatic |
acts | specification_basic_type | |
adapt_multiaction_to_stack(const action_list &multiAction, const stacklisttype &stack, const variable_list &vars) | specification_basic_type | inlineprivate |
adapt_term_to_stack(const data_expression &t, const stacklisttype &stack, const variable_list &vars, const variable_list &stochastic_variables) | specification_basic_type | inlineprivate |
adapt_termlist_to_stack(Iterator begin, const Iterator &end, const stacklisttype &stack, const variable_list &vars, const variable_list &stochastic_variables) | specification_basic_type | inlineprivate |
add_summands(const process_identifier &procId, stochastic_action_summand_vector &action_summands, deadlock_summand_vector &deadlock_summands, process_expression summandterm, const std::set< process_identifier > &pCRLprocs, const stacklisttype &stack, const bool regular, const bool singlestate, const variable_list &process_parameters) | specification_basic_type | inlineprivate |
addcondition(const variable_list &matchinglist, const data_expression_list &conditionlist) | specification_basic_type | inlineprivate |
addMultiAction(const process_expression &multiAction, bool &isnew) | specification_basic_type | inlineprivate |
addString(const identifier_string &str) | specification_basic_type | inlineprivate |
AddTerminationActionIfNecessary(const stochastic_action_summand_vector &summands) | specification_basic_type | inlineprivate |
all_equal(const atermpp::term_list< T > &l) | specification_basic_type | inlineprivate |
alphaconversion(const process_identifier &procId, const variable_list ¶meters) | specification_basic_type | inlineprivate |
alphaconversionterm(const process_expression &t, const variable_list ¶meters, maintain_variables_in_rhs< mutable_map_substitution<> > sigma) | specification_basic_type | inlineprivate |
alphaconvert(variable_list &sumvars, MutableSubstitution &sigma, const variable_list &occurvars, const data_expression_list &occurterms) | specification_basic_type | inlineprivate |
alphaconvertprocess(variable_list &sumvars, MutableSubstitution &sigma, const process_expression &p) | specification_basic_type | inlineprivate |
alreadypresent(variable &var, const variable_list &vl) | specification_basic_type | inlineprivatestatic |
alt_state enum value | specification_basic_type | private |
argscollect_regular(const process_expression &t, const variable_list &vl, const std::set< variable > &variables_bound_in_sum) | specification_basic_type | inlineprivate |
argscollect_regular2(const process_expression &t, variable_list &vl) | specification_basic_type | inlineprivate |
bodytovarheadGNF(const process_expression &body, const state s, const variable_list &freevars, const variableposition v, const std::set< variable > &variables_bound_in_sum) | specification_basic_type | inlineprivate |
calculate_communication_merge(const stochastic_action_summand_vector &action_summands1, const deadlock_summand_vector &deadlock_summands1, const stochastic_action_summand_vector &action_summands2, const deadlock_summand_vector &deadlock_summands2, const action_name_multiset_list &allowlist, const bool is_allow, const bool is_block, stochastic_action_summand_vector &action_summands, deadlock_summand_vector &deadlock_summands) | specification_basic_type | inlineprivate |
calculate_communication_merge_action_deadlock_summands(const stochastic_action_summand_vector &action_summands1, const deadlock_summand_vector &deadlock_summands1, const stochastic_action_summand_vector &action_summands, deadlock_summand_vector &deadlock_summands) | specification_basic_type | inlineprivate |
calculate_communication_merge_action_summands(const stochastic_action_summand_vector &action_summands1, const stochastic_action_summand_vector &action_summands2, const action_name_multiset_list &allowlist, const bool is_allow, const bool is_block, stochastic_action_summand_vector &action_summands) | specification_basic_type | inlineprivate |
calculate_communication_merge_deadlock_summands(const deadlock_summand_vector &deadlock_summands1, const deadlock_summand_vector &deadlock_summands2, const stochastic_action_summand_vector &action_summands, deadlock_summand_vector &deadlock_summands) | specification_basic_type | inlineprivate |
calculate_left_merge(const stochastic_action_summand_vector &action_summands1, const deadlock_summand_vector &deadlock_summands1, const lps::detail::ultimate_delay &ultimate_delay_condition2, const action_name_multiset_list &allowlist, const bool is_allow, const bool is_block, stochastic_action_summand_vector &action_summands, deadlock_summand_vector &deadlock_summands) | specification_basic_type | inlineprivate |
calculate_left_merge_action(const lps::detail::ultimate_delay &ultimate_delay_condition, const stochastic_action_summand_vector &action_summands1, const action_name_multiset_list &allowlist, const bool is_allow, const bool is_block, stochastic_action_summand_vector &action_summands) | specification_basic_type | inlineprivate |
calculate_left_merge_deadlock(const lps::detail::ultimate_delay &ultimate_delay_condition, const deadlock_summand_vector &deadlock_summands1, const bool is_allow, const bool is_block, const stochastic_action_summand_vector &action_summands, deadlock_summand_vector &deadlock_summands) | specification_basic_type | inlineprivate |
canterminate_rec(const process_identifier &procId, bool &stable, std::set< process_identifier > &visited) | specification_basic_type | inlineprivate |
canterminatebody(const process_expression &t, bool &stable, std::set< process_identifier > &visited, const bool allowrecursion) | specification_basic_type | inlineprivate |
canterminatebody(const process_expression &t) | specification_basic_type | inlineprivate |
check_assignment_list(const assignment_list &assignments, const variable_list ¶meters) | specification_basic_type | inlineprivatestatic |
check_real_variable_occurrence(const variable_list &sumvars, const data_expression &actiontime, const data_expression &condition) | specification_basic_type | inlineprivatestatic |
check_valid_process_instance_assignment(const process_identifier &id, const assignment_list &assignments) | specification_basic_type | inlineprivate |
cluster_actions(stochastic_action_summand_vector &action_summands, deadlock_summand_vector &deadlock_summands, const variable_list &pars) | specification_basic_type | inlineprivate |
collect_sum_arg_arg_cond(const enumtype &e, std::size_t n, const stochastic_action_summand_vector &action_summands, const variable_list ¶meters) | specification_basic_type | inlineprivate |
collect_sum_arg_arg_cond(const enumtype &e, std::size_t n, const deadlock_summand_vector &deadlock_summands, const variable_list ¶meters) | specification_basic_type | inlineprivate |
collectparameterlist(const std::set< process_identifier > &pCRLprocs) | specification_basic_type | inlineprivate |
collectPcrlProcesses(const process_identifier &procDecl, std::vector< process_identifier > &pcrlprocesses, std::set< process_identifier > &visited) | specification_basic_type | inlineprivate |
collectPcrlProcesses(const process_identifier &procDecl, std::vector< process_identifier > &pcrlprocesses) | specification_basic_type | inlineprivate |
collectPcrlProcesses_term(const process_expression &body, std::vector< process_identifier > &pcrlprocesses, std::set< process_identifier > &visited) | specification_basic_type | inlineprivate |
collectsumlist(stochastic_action_summand_vector &action_summands, deadlock_summand_vector &deadlock_summands, const std::set< process_identifier > &pCRLprocs, const variable_list &pars, const stacklisttype &stack, bool regular, bool singlestate) | specification_basic_type | inlineprivate |
collectsumlistterm(const process_identifier &procId, stochastic_action_summand_vector &action_summands, deadlock_summand_vector &deadlock_summands, const process_expression &body, const variable_list &pars, const stacklisttype &stack, const bool regular, const bool singlestate, const std::set< process_identifier > &pCRLprocs) | specification_basic_type | inlineprivate |
combine_summand_lists(const stochastic_action_summand_vector &action_summands1, const deadlock_summand_vector &deadlock_summands1, const lps::detail::ultimate_delay &ultimate_delay_condition1, const stochastic_action_summand_vector &action_summands2, const deadlock_summand_vector &deadlock_summands2, const lps::detail::ultimate_delay &ultimate_delay_condition2, const variable_list &par1, const variable_list &par3, const action_name_multiset_list &allowlist1, const bool is_allow, const bool is_block, stochastic_action_summand_vector &action_summands, deadlock_summand_vector &deadlock_summands) | specification_basic_type | inlineprivate |
combine_ultimate_delays(const lps::detail::ultimate_delay &delay1, const lps::detail::ultimate_delay &delay2) | specification_basic_type | inlineprivate |
complete_proc_identifier_map(std::map< process_identifier, process_identifier > &identifier_identifier_map) | specification_basic_type | inlineprivatestatic |
construct_binary_case_tree(std::size_t n, const variable_list &sums, data_expression_list terms, const sort_expression &termsort, const enumtype &e) | specification_basic_type | inlineprivate |
construct_binary_case_tree_rec(std::size_t n, const variable_list &sums, data_expression_list &terms, const sort_expression &termsort, const enumtype &e) | specification_basic_type | inlineprivate |
construct_renaming(const variable_list &pars1, const variable_list &pars2, variable_list &pars3, variable_list &pars4, const bool unique=true) | specification_basic_type | inlineprivate |
containstime_rec(const process_identifier &procId, bool *stable, std::set< process_identifier > &visited, bool &contains_if_then) | specification_basic_type | inlineprivate |
containstimebody(const process_expression &t, bool *stable, std::set< process_identifier > &visited, bool allowrecursion, bool &contains_if_then) | specification_basic_type | inlineprivate |
containstimebody(const process_expression &t) | specification_basic_type | inlineprivate |
correctstatecond(const process_identifier &procId, const std::set< process_identifier > &pCRLproc, const stacklisttype &stack, int regular) | specification_basic_type | inlineprivate |
create_case_function_on_enumeratedtype(const sort_expression &sort, const std::size_t enumeratedtype_index) | specification_basic_type | inlineprivate |
create_enumeratedtype(const std::size_t n) | specification_basic_type | inlineprivate |
create_regular_invocation(process_expression sequence, std::vector< process_identifier > &todo, const variable_list &freevars, const std::set< variable > &variables_bound_in_sum) | specification_basic_type | inlineprivate |
cut_off_unreachable_tail(const process_expression &t) | specification_basic_type | inlineprivate |
data | specification_basic_type | |
declare_control_state(const std::set< process_identifier > &pCRLprocs) | specification_basic_type | inlineprivate |
define_equations_for_case_function(const std::size_t index, const data::function_symbol &functionname, const sort_expression &sort) | specification_basic_type | inlineprivate |
delta_at_zero() | specification_basic_type | inlineprivatestatic |
delta_process | specification_basic_type | private |
detail_check_objectdata(const aterm &o) const | specification_basic_type | inlineprivate |
determine_process_status(const process_identifier &procDecl, const processstatustype status) | specification_basic_type | inlineprivate |
determine_process_statusterm(const process_expression &body, const processstatustype status) | specification_basic_type | inlineprivate |
determinewhetherprocessescanterminate(const process_identifier &procId) | specification_basic_type | inlineprivate |
determinewhetherprocessescontaintime(const process_identifier &procId) | specification_basic_type | inlineprivate |
distribute_condition(const process_expression &body1, const data_expression &condition) | specification_basic_type | inlineprivate |
distribute_sum(const variable_list &sumvars, const process_expression &body1) | specification_basic_type | inlineprivate |
distribute_sum_over_a_stochastic_operator(const variable_list &sumvars, const variable_list &stochastic_variables, const data_expression &distribution, const process_expression &body) | specification_basic_type | inlineprivate |
distributeActionOverConditions(const process_expression &act, const data_expression &condition, const process_expression &restterm, const variable_list &freevars, const std::set< variable > &variables_bound_in_sum) | specification_basic_type | inlineprivate |
distributeTime(const process_expression &body, const data_expression &time, const variable_list &freevars, data_expression &timecondition) | specification_basic_type | inlineprivate |
dummyparameterlist(const stacklisttype &stack, const bool singlestate) | specification_basic_type | inlineprivate |
enumerate_distribution_and_sums(const variable_list &sumvars, const variable_list &stochvars, const data_expression &distribution, const process_expression &body) | specification_basic_type | inlineprivate |
enumeratedtypes | specification_basic_type | private |
exists_variable_for_sequence(const std::vector< process_instance_assignment > &process_names, process_identifier &result) | specification_basic_type | inlineprivate |
expand_process_instance_assignment(const process_instance_assignment &t, std::set< process_identifier > &visited_processes) | specification_basic_type | inlineprivate |
expand_process_instance_assignment(const process_instance_assignment &t) | specification_basic_type | inlineprivate |
extend(const data_expression &c, const data_expression_list &cl) | specification_basic_type | inlineprivatestatic |
extend_conditions(const variable &var, const data_expression_list &conditionlist) | specification_basic_type | inlineprivate |
extract_names(const process_expression &sequence, std::vector< process_instance_assignment > &result) | specification_basic_type | inlineprivate |
filter_assignments(const assignment_list &assignments, const variable_list ¶meters) | specification_basic_type | inlineprivatestatic |
filter_vars_by_assignmentlist(const assignment_list &assignments, const variable_list ¶meters, const std::set< variable > &vars_set, std::set< variable > &vars_result_set) | specification_basic_type | inlineprivate |
filter_vars_by_multiaction(const action_list &multiaction, const std::set< variable > &vars_set, std::set< variable > &vars_result_set) | specification_basic_type | inlineprivate |
filter_vars_by_term(const data_expression &t, const std::set< variable > &vars_set, std::set< variable > &vars_result_set) | specification_basic_type | inlineprivate |
filter_vars_by_termlist(Iterator begin, const Iterator &end, const std::set< variable > &vars_set, std::set< variable > &vars_result_set) | specification_basic_type | inlineprivate |
find_(const variable &s, const assignment_list &args, const stacklisttype &stack, const variable_list &vars, const std::set< variable > &free_variables_in_body, const variable_list &stochastic_variables) | specification_basic_type | inlineprivate |
find_case_function(std::size_t index, const sort_expression &sort) const | specification_basic_type | inlineprivate |
find_dummy_arguments(const variable_list &parlist, const assignment_list &args, const std::set< variable > &free_variables_in_body, const variable_list &stochastic_variables) | specification_basic_type | inlineprivate |
find_free_variables_process(const process_expression &p, std::set< variable > &free_variables_in_p) | specification_basic_type | inlineprivate |
find_free_variables_process(const process_expression &p) | specification_basic_type | inlineprivate |
findarguments(const variable_list &pars, const variable_list &parlist, const assignment_list &args, const data_expression_list &t2, const stacklisttype &stack, const variable_list &vars, const std::set< variable > &free_variables_in_body, const variable_list &stochastic_variables) | specification_basic_type | inlineprivate |
first enum value | specification_basic_type | private |
fresh_equation_added | specification_basic_type | private |
fresh_identifier_generator | specification_basic_type | private |
generateLPEmCRL(stochastic_action_summand_vector &action_summands, deadlock_summand_vector &deadlock_summands, const process_identifier &procIdDecl, const bool regular, variable_list &pars, data_expression_list &init, stochastic_distribution &initial_stochastic_distribution, lps::detail::ultimate_delay &ultimate_delay_condition) | specification_basic_type | inlineprivate |
generateLPEmCRLterm(stochastic_action_summand_vector &action_summands, deadlock_summand_vector &deadlock_summands, const process_expression &t, const bool regular, const bool rename_variables, variable_list &pars, data_expression_list &init, stochastic_distribution &initial_stochastic_distribution, lps::detail::ultimate_delay &ultimate_delay_condition) | specification_basic_type | inlineprivate |
generateLPEpCRL(stochastic_action_summand_vector &action_summands, deadlock_summand_vector &deadlock_summands, const process_identifier &procId, const bool containstime, const bool regular, variable_list ¶meters, data_expression_list &init, stochastic_distribution &initial_stochastic_distribution) | specification_basic_type | inlineprivate |
get_free_variables(objectdatatype &object) | specification_basic_type | inlineprivate |
get_fresh_variable(const std::string &s, const sort_expression &sort, const int reuse_index=-1) | specification_basic_type | inlineprivate |
get_last(const process_identifier &id, const std::map< process_identifier, process_identifier > &identifier_identifier_map) | specification_basic_type | inlineprivatestatic |
get_sorts(const List &l) | specification_basic_type | inlineprivatestatic |
getActionSorts(const action_list &actionlist) | specification_basic_type | inlineprivatestatic |
getarguments(const action_list &multiAction) | specification_basic_type | inlineprivatestatic |
getnames(const process_expression &multiAction) | specification_basic_type | inlineprivatestatic |
getparameters(const process_expression &multiAction) | specification_basic_type | inlineprivate |
getparameters_rec(const process_expression &multiAction, std::set< variable > &occurs_set) | specification_basic_type | inlineprivate |
getRHSassignment(const variable &var, const assignment_list &as) | specification_basic_type | inlineprivatestatic |
getUltimateDelayCondition(const stochastic_action_summand_vector &action_summands, const deadlock_summand_vector &deadlock_summands, const variable_list &freevars) | specification_basic_type | inlineprivate |
getvar(const variable &var, const stacklisttype &stack) const | specification_basic_type | inlineprivate |
global_variables | specification_basic_type | |
guarantee_that_parameters_have_unique_type(const process_identifier &procId, std::set< process_identifier > &visited_processes, std::set< identifier_string > &used_variable_names, maintain_variables_in_rhs< mutable_map_substitution<> > ¶meter_mapping, std::set< variable > &variables_in_lhs_of_parameter_mapping) | specification_basic_type | inlineprivate |
guarantee_that_parameters_have_unique_type(const process_identifier &procId) | specification_basic_type | inlineprivate |
guarantee_that_parameters_have_unique_type_body(const process_expression &t, std::set< process_identifier > &visited_processes, std::set< identifier_string > &used_variable_names, maintain_variables_in_rhs< mutable_map_substitution<> > ¶meter_mapping, std::set< variable > &variables_in_lhs_of_parameter_mapping) | specification_basic_type | inlineprivate |
hide_(const identifier_string_list &hidelist, const action_list &multiaction) | specification_basic_type | inlineprivatestatic |
hidecomposition(const identifier_string_list &hidelist, stochastic_action_summand_vector &action_summands) | specification_basic_type | inlineprivatestatic |
infinite enum value | specification_basic_type | private |
initdatavars | specification_basic_type | |
insert_process_declaration(const process_identifier &procId, const variable_list ¶meters, const process_expression &body, processstatustype s, const bool canterminate, const bool containstime) | specification_basic_type | inlineprivate |
insert_summand(stochastic_action_summand_vector &action_summands, deadlock_summand_vector &deadlock_summands, const variable_list &sumvars, const data_expression &condition, const action_list &multiAction, const data_expression &actTime, const stochastic_distribution &distribution, const assignment_list &procargs, const bool has_time, const bool is_deadlock_summand) | specification_basic_type | inlineprivate |
insertAction(const action_label &actionId) | specification_basic_type | inlineprivate |
insertvariable(const variable &var, const bool mustbenew) | specification_basic_type | inlineprivate |
insertvariables(const variable_list &vars, const bool mustbenew) | specification_basic_type | inlineprivate |
is_global_variable(const data_expression &d) const | specification_basic_type | inlineprivate |
isDeltaAtZero(const process_expression &t) | specification_basic_type | inlineprivate |
joinparameters(const variable_list &par1, const variable_list &par2) | specification_basic_type | inlineprivatestatic |
later enum value | specification_basic_type | private |
linMergeMultiActionList(const action_list &ma1, const action_list &ma2) | specification_basic_type | inlineprivate |
linMergeMultiActionListProcess(const process_expression &ma1, const process_expression &ma2) | specification_basic_type | inlineprivate |
make_binary_sums(std::size_t n, const sort_expression &enumtypename, data_expression &condition, const variable_list &tail) | specification_basic_type | inlineprivate |
make_initialstate(const process_identifier &initialProcId, const stacklisttype &stack, const std::set< process_identifier > &pcrlprcs, const bool regular, const bool singlecontrolstate, const stochastic_distribution &initial_stochastic_distribution) | specification_basic_type | inlineprivate |
make_parameters_and_sum_variables_unique(stochastic_action_summand_vector &action_summands, deadlock_summand_vector &deadlock_summands, variable_list &pars, lps::detail::ultimate_delay &ultimate_delay_condition, const std::string &hint="") | specification_basic_type | inlineprivate |
make_parameters_rec(const data_expression_list &l, std::set< variable > &occurs_set) | specification_basic_type | inlineprivate |
make_pars(const sort_expression_list &sortlist) | specification_basic_type | inlineprivate |
make_pCRL_procs(const process_identifier &id, std::set< process_identifier > &reachable_process_identifiers) | specification_basic_type | inlineprivate |
make_pCRL_procs(const process_expression &t, std::set< process_identifier > &reachable_process_identifiers) | specification_basic_type | inlineprivate |
make_procargs(const process_expression &t, const stacklisttype &stack, const std::set< process_identifier > &pcrlprcs, const variable_list &vars, const bool regular, const bool singlestate, const variable_list &stochastic_variables) | specification_basic_type | inlineprivate |
make_procargs_regular(const process_expression &t, const stacklisttype &stack, const std::set< process_identifier > &pcrlprcs, const bool singlestate, const variable_list &stochastic_variables) | specification_basic_type | inlineprivate |
make_procargs_stack(const process_expression &t, const stacklisttype &stack, const std::set< process_identifier > &pcrlprcs, const variable_list &vars, const variable_list &stochastic_variables) | specification_basic_type | inlineprivate |
make_unique_variables(const variable_list &var_list, const std::string &hint) | specification_basic_type | inlineprivate |
makemultiaction(const process::action_label_list &actionIds, const data_expression_list &args) | specification_basic_type | inlineprivatestatic |
makesingleultimatedelaycondition(const variable_list &sumvars, const variable_list &freevars, const data_expression &condition, const bool has_time, const variable &timevariable, const data_expression &actiontime, variable_list &used_sumvars) | specification_basic_type | inlineprivate |
match_sequence(const std::vector< process_instance_assignment > &s1, const std::vector< process_instance_assignment > &s2, const bool regular2) | specification_basic_type | inlineprivatestatic |
merge_var(const variable_list &v1, const variable_list &v2, std::vector< variable_list > &renamings_pars, std::vector< data_expression_list > &renamings_args, data_expression_list &conditionlist, const variable_list &process_parameters) | specification_basic_type | inlineprivate |
mergeoccursin(variable &var, const variable_list &v, variable_list &matchinglist, variable_list &pars, data_expression_list &args, const variable_list &process_parameters) | specification_basic_type | inlineprivate |
minimize_set_of_reachable_process_identifiers(const std::set< process_identifier > &reachable_process_identifiers, const process_identifier &initial_process) | specification_basic_type | inlineprivate |
multiaction_state enum value | specification_basic_type | private |
name_state enum value | specification_basic_type | private |
newprocess(const variable_list ¶meters, const process_expression &body, const processstatustype ps, const bool canterminate, const bool containstime) | specification_basic_type | inlineprivate |
objectdata | specification_basic_type | private |
objectIndex(const aterm &o) | specification_basic_type | inlineprivate |
objectIndex(const aterm &o) const | specification_basic_type | inlineprivate |
obtain_initial_distribution(const process_identifier &procId) | specification_basic_type | inlineprivate |
obtain_initial_distribution_term(const process_expression &t) | specification_basic_type | inlineprivate |
occursin(const variable &name, const variable_list &pars) | specification_basic_type | inlineprivatestatic |
occursinpCRLterm(const variable &var, const process_expression &p, const bool strict) | specification_basic_type | inlineprivate |
occursintermlist(const variable &var, const data_expression_list &r) | specification_basic_type | inlineprivatestatic |
occursintermlist(const variable &var, const assignment_list &r, const process_identifier &proc_name) const | specification_basic_type | inlineprivate |
occursinvarandremove(const variable &var, variable_list &vl) | specification_basic_type | inlineprivatestatic |
operator=(const specification_basic_type &)=delete | specification_basic_type | |
options | specification_basic_type | private |
parallelcomposition(const stochastic_action_summand_vector &action_summands1, const deadlock_summand_vector &deadlock_summands1, const variable_list &pars1, const data_expression_list &init1, const stochastic_distribution &initial_stochastic_distribution1, const lps::detail::ultimate_delay &ultimate_delay_condition1, const stochastic_action_summand_vector &action_summands2, const deadlock_summand_vector &deadlock_summands2, const variable_list &pars2, const data_expression_list &init2, const stochastic_distribution &initial_stochastic_distribution2, const lps::detail::ultimate_delay &ultimate_delay_condition2, const action_name_multiset_list &allowlist1, const bool is_allow, const bool is_block, stochastic_action_summand_vector &action_summands, deadlock_summand_vector &deadlock_summands, variable_list &pars_result, data_expression_list &init_result, stochastic_distribution &initial_stochastic_distribution, lps::detail::ultimate_delay &ultimate_delay_condition) | specification_basic_type | inlineprivate |
parameters_that_occur_in_body(const variable_list ¶meters, const process_expression &body) | specification_basic_type | inlineprivate |
parameters_to_assignment_list(const variable_list ¶meters, const std::set< variable > &variables_bound_in_sum) | specification_basic_type | inlineprivatestatic |
parscollect(const process_expression &oldbody, process_expression &newbody) | specification_basic_type | inlineprivate |
pCRLrewrite(const process_expression &t) | specification_basic_type | inlineprivate |
processencoding(std::size_t i, const assignment_list &t1, const stacklisttype &stack) | specification_basic_type | inlineprivate |
processencoding(std::size_t i, const data_expression_list &t1, const stacklisttype &stack) | specification_basic_type | inlineprivate |
procs | specification_basic_type | private |
procstorealGNF(const process_identifier &procsIdDecl, const bool regular) | specification_basic_type | inlineprivate |
procstorealGNFbody(const process_expression &body, variableposition v, std::vector< process_identifier > &todo, const bool regular, processstatustype mode, const variable_list &freevars, const std::set< variable > &variables_bound_in_sum) | specification_basic_type | inlineprivate |
procstorealGNFrec(const process_identifier &procIdDecl, const variableposition v, std::vector< process_identifier > &todo, const bool regular) | specification_basic_type | inlineprivate |
procstovarheadGNF(const std::vector< process_identifier > &procs) | specification_basic_type | inlineprivate |
push_regular(const process_identifier &procId, const assignment_list &args, const stacklisttype &stack, const std::set< process_identifier > &pCRLprocs, bool singlestate, const variable_list &stochastic_variables) | specification_basic_type | inlineprivate |
push_stack(const process_identifier &procId, const assignment_list &args, const data_expression_list &t2, const stacklisttype &stack, const std::set< process_identifier > &pCRLprocs, const variable_list &vars, const variable_list &stochastic_variables) | specification_basic_type | inlineprivate |
pushdummy_regular(const variable_list &pars, const stacklisttype &stack, const variable_list &stochastic_variables) | specification_basic_type | inlineprivate |
pushdummy_regular_data_expressions(const variable_list &pars, const stacklisttype &stack) | specification_basic_type | inlineprivate |
pushdummy_stack(const variable_list ¶meters, const stacklisttype &stack, const variable_list &stochastic_variables) | specification_basic_type | inlineprivate |
pushdummyrec_stack(const variable_list &totalpars, const variable_list &pars, const stacklisttype &stack, const variable_list &stochastic_variables) | specification_basic_type | inlineprivate |
putbehind(const process_expression &body1, const process_expression &body2) | specification_basic_type | inlineprivate |
real_times_optimized(const data_expression &r1, const data_expression &r2) | specification_basic_type | inlineprivatestatic |
remove_stochastic_operators_from_front(const std::set< process_identifier > &reachable_process_identifiers, process_identifier &initial_process_id, stochastic_distribution &initial_stochastic_distribution) | specification_basic_type | inlineprivate |
replace_variables_capture_avoiding_alt(const Expression &e, Substitution &sigma) | specification_basic_type | inlineprivate |
representative_generator_internal(const sort_expression &s, const bool allow_dont_care_var=true) | specification_basic_type | inlineprivate |
representedprocesses | specification_basic_type | private |
rewr | specification_basic_type | private |
rewrite_assignments(const assignment_list &t) | specification_basic_type | inlineprivate |
RewriteAction(const action &t) | specification_basic_type | inlineprivate |
RewriteMultAct(const process_expression &t) | specification_basic_type | inlineprivate |
RewriteProcess(const process_instance_assignment &t) | specification_basic_type | inlineprivate |
RewriteTerm(const data_expression &t) | specification_basic_type | inlineprivate |
RewriteTermList(const data_expression_list &t) | specification_basic_type | inlineprivate |
searchProcDeclaration(const variable_list ¶meters, const process_expression &body, const processstatustype s, const bool canterminate, const bool containstime, process_identifier &p) const | specification_basic_type | inlineprivate |
seq_state enum value | specification_basic_type | private |
seq_varnames | specification_basic_type | private |
set_proc_identifier_map(std::map< process_identifier, process_identifier > &identifier_identifier_map, const process_identifier &id1_, const process_identifier &id2_, const process_identifier &initial_process) | specification_basic_type | inlineprivatestatic |
SieveProcDataVarsAssignments(const std::set< variable > &vars, const data_expression_list &initial_state_expressions) | specification_basic_type | inline |
SieveProcDataVarsSummands(const std::set< variable > &vars, const stochastic_action_summand_vector &action_summands, const deadlock_summand_vector &deadlock_summands, const variable_list ¶meters) | specification_basic_type | inline |
sigma_variables(const SUBSTITUTION &sigma) | specification_basic_type | inlineprivate |
sort_assignments(const assignment_list &ass, const variable_list ¶meters) | specification_basic_type | inlineprivatestatic |
specification_basic_type(const specification_basic_type &)=delete | specification_basic_type | |
specification_basic_type(const process::action_label_list &as, const std::vector< process_equation > &ps, const variable_list &idvs, const data_specification &ds, const std::set< data::variable > &glob_vars, const t_lin_options &opt, const process_specification &procspec) | specification_basic_type | inline |
split_body(const process_expression &t, std::map< process_identifier, process_identifier > &visited_id, std::map< process_expression, process_expression > &visited_proc, const variable_list ¶meters) | specification_basic_type | inlineprivate |
split_process(const process_identifier &procId, std::map< process_identifier, process_identifier > &visited_id, std::map< process_expression, process_expression > &visited_proc) | specification_basic_type | inlineprivate |
splitmCRLandpCRLprocsAndAddTerminatedAction(const process_identifier &procId) | specification_basic_type | inlineprivate |
stack_operations_list | specification_basic_type | private |
state enum name | specification_basic_type | private |
stochastic_operator_is_being_used | specification_basic_type | private |
storeact(const process::action_label_list &acts) | specification_basic_type | inlineprivate |
storeinit(const process_expression &init) | specification_basic_type | inline |
storeprocs(const std::vector< process_equation > &procs) | specification_basic_type | inlineprivate |
substitute_assignmentlist(const assignment_list &assignments, const variable_list ¶meters, const bool replacelhs, const bool replacerhs, Substitution &sigma) | specification_basic_type | inlineprivate |
substitute_pCRLproc(const process_expression &p, Substitution &sigma) | specification_basic_type | inlineprivate |
sum_state enum value | specification_basic_type | private |
summandsCanBeClustered(const stochastic_action_summand &summand1, const stochastic_action_summand &summand2) | specification_basic_type | inlineprivatestatic |
tau_process | specification_basic_type | private |
terminatedProcId | specification_basic_type | private |
terminating enum value | specification_basic_type | private |
terminationAction | specification_basic_type | private |
terminationstatus enum name | specification_basic_type | private |
timeIsBeingUsed | specification_basic_type | private |
to_action_list(const process_expression &p) | specification_basic_type | inlineprivatestatic |
to_regular_form(const process_expression &t, std::vector< process_identifier > &todo, const variable_list &freevars, const std::set< variable > &variables_bound_in_sum) | specification_basic_type | inlineprivate |
to_sorted_action_list(const process_expression &p) | specification_basic_type | inlineprivatestatic |
transform(const process_identifier &init, stochastic_action_summand_vector &action_summands, deadlock_summand_vector &deadlock_summands, variable_list ¶meters, data_expression_list &initial_state, stochastic_distribution &initial_stochastic_distribution) | specification_basic_type | inline |
transform_initial_distribution_term(const process_expression &t, const std::map< process_identifier, process_pid_pair > &processes_with_initial_distribution) | specification_basic_type | inlineprivate |
transform_matching_list(const variable_list &matchinglist) | specification_basic_type | inlineprivate |
transform_process_arguments(const process_identifier &procId, std::set< process_identifier > &visited_processes) | specification_basic_type | inlineprivate |
transform_process_arguments(const process_identifier &procId) | specification_basic_type | inlineprivate |
transform_process_arguments_body(const process_expression &t, const std::set< variable > &bound_variables, std::set< process_identifier > &visited_processes) | specification_basic_type | inlineprivate |
transform_process_instance_to_process_instance_assignment(const process_instance &procId, const std::set< variable > &bound_variables=std::set< variable >()) | specification_basic_type | inlineprivate |
upperpowerof2(std::size_t i) | specification_basic_type | inlineprivatestatic |
variableposition enum name | specification_basic_type | private |
variables_are_equal_to_default_values(const variable_list &vl) | specification_basic_type | inlineprivate |
wraptime(const process_expression &body, const data_expression &time, const variable_list &freevars) | specification_basic_type | inlineprivate |
~specification_basic_type() | specification_basic_type | inline |