mcrl2/process/eliminate_trivial_equations.h

Include file:

#include "mcrl2/process/eliminate_trivial_equations.h"

add your file description here.

Classes

  • mcrl2::process::eliminate_trivial_equations_algorithm
  • mcrl2::process::detail::process_instance_replace_builder

Functions

void mcrl2::process::eliminate_trivial_equations(process_specification &procspec)

Eliminates trivial equations, that have a process instance as the right hand side.

process_expression mcrl2::process::process_instance_replace(const process_expression &x, const std::map<process_identifier, process_instance> &substitutions)
void mcrl2::process::process_instance_replace(process_specification &procspec, const std::map<process_identifier, process_instance> &substitutions)

Functions

process_instance mcrl2::process::detail::apply_substitution(const process_instance &x, data::mutable_map_substitution<> &sigma)

Applies sigma to the arguments of x.

data::data_expression_list mcrl2::process::detail::make_data_expression_list(const data::variable_list &x)

Convert data::variable_list to data::expression_list.

process_instance mcrl2::process::detail::make_process_instance(const process_instance_assignment &x)

Convert a process instance assignment to a process instance.

process_instance mcrl2::process::detail::make_process_instance(const process_expression &x)

Precondition: x is a process instance or a process instance assignment.

data::mutable_map_substitution mcrl2::process::detail::make_process_instance_substitution(const process_instance &x)

Given P(2, 3) it returns the substitution [x := 2, y := 3] for process identifier P(x, y).