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> mcrl2::bes::local_fixpoints_algorithm::indices

const boolean_equation_system &mcrl2::bes::local_fixpoints_algorithm::m_bes

std::size_t mcrl2::bes::local_fixpoints_algorithm::max_rank

std::vector<std::size_t> mcrl2::bes::local_fixpoints_algorithm::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)