mcrl2/pbes/pbes_gauss_elimination.h

Include file:

#include "mcrl2/pbes/pbes_gauss_elimination.h"

add your file description here.

Classes

  • mcrl2::pbes_system::pbes_equation_solver
  • mcrl2::pbes_system::pbes_traits

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.