mcrl2/pbes/gauss_elimination.h

Include file:

#include "mcrl2/pbes/gauss_elimination.h"

Gauss elimination algorithm for pbes equation systems.

Classes

Functions

int mcrl2::pbes_system::gauss_elimination(pbes &p)

Solves a PBES equation system using Gauss elimination.

Pre: The pbes p is a bes.

Parameters:

  • p A pbes

Returns: 0 if the solution is false, 1 if the solution is true, 2 if the solution is unknown

pbes_equation_solver<Rewriter> mcrl2::pbes_system::make_pbes_equation_solver(const Rewriter &rewriter)

Utility function for creating a pbes_equation_solver.