mcrl2/process/balance_nesting_depth.h

Include file:

#include "mcrl2/process/balance_nesting_depth.h"

add your file description here.

Classes

  • mcrl2::process::detail::balance_summands_builder

Functions

void mcrl2::process::balance_summands(T &x, typename std::enable_if<!std::is_base_of<atermpp::aterm, T>::value>::type * = nullptr)

Reduces the nesting depth of the choice operator.

T mcrl2::process::balance_summands(const T &x, typename std::enable_if<std::is_base_of<atermpp::aterm, T>::value>::type * = nullptr)

Reduces the nesting depth of the choice operator.