mcrl2/process/replace_subterm.h

Include file:

#include "mcrl2/process/replace_subterm.h"

add your file description here.

Classes

  • mcrl2::process::detail::find_subterm_traverser

  • mcrl2::process::detail::replace_subterm_builder

Functions

process_expression mcrl2::process::find_subterm(const process_specification &procspec, std::size_t x, std::size_t y)
process_expression mcrl2::process::replace_subterm(const process_expression &expr, std::size_t x, std::size_t y, const process_expression &replacement)

Replace the subterm at position (x, y) with a given term.

process_specification mcrl2::process::replace_subterm(const process_specification &procspec, std::size_t x, std::size_t y, const process_expression &replacement)

Replace the subterm at position (x, y) with a given term.