mcrl2/bes/local_fixpoints.h

Include file:

#include "mcrl2/bes/local_fixpoints.h"

Solve a BES by finding fixpoints for groups of equations of the same rank.

Classes

• mcrl2::bes::local_fixpoints_algorithm

Functions

bool mcrl2::bes::local_fixpoints(boolean_equation_system &b, std::vector<bool> *full_solution = nullptr)