mcrl2/bes/gauss_elimination.h

Include file:

#include "mcrl2/bes/gauss_elimination.h"

add your file description here.

Classes

• mcrl2::bes::bes_traits
• mcrl2::bes::boolean_equation_solver

Functions

bool mcrl2::bes::gauss_elimination(boolean_equation_system &p)

Solves a boolean equation system using Gauss elimination.

Parameters:

• p A bes

Returns: The solution of the system

boolean_equation_solver<Rewriter> mcrl2::bes::make_boolean_equation_solver(const Rewriter &rewriter)

Utility function for creating a boolean_equation_solver.