mcrl2/process/expand_process_instance_assignments.h

Include file:

#include "mcrl2/process/expand_process_instance_assignments.h"

add your file description here.

Classes

• mcrl2::process::detail::expand_process_instance_assignments_builder

Functions

process_instance mcrl2::process::expand_assignments(const process::process_instance_assignment &x, const std::vector<process_equation> &equations)

process_expression mcrl2::process::expand_process_instance_assignments(const process_expression &x, const std::vector<process_equation> &equations)

Replaces embedded process instances by the right hand sides of the corresponding equations.