mcrl2::bes::local_fixpoints_algorithm

Include file:

#include "mcrl2/bes/local_fixpoints.h
class mcrl2::bes::local_fixpoints_algorithm

Algorithm class.

Protected attributes

std::map<boolean_variable, std::size_t> indices
const boolean_equation_system &m_bes
std::size_t max_rank
std::vector<std::size_t> ranks

Public member functions

local_fixpoints_algorithm(const boolean_equation_system &b)
bool run(std::vector<bool> *full_solution)

Protected member functions

void add_to_occurrence_set(std::size_t i, const boolean_expression &expr, vector<set<std::size_t>> &occurrence_set)
vector<set<std::size_t>> create_occurrence_set(const std::vector<boolean_equation> &eqs, const std::size_t current_rank)
boolean_expression evaluate(boolean_expression expr, std::size_t r, const std::vector<boolean_expression> &approx)