gauss_elimination_algorithm.h File Reference

Gauss elimination algorithm for pbes equation systems. More...

Go to the source code of this file.

Classes
class	mcrl2::pbes_system::gauss_elimination_algorithm< ExpressionTraits >
	Algorithm class for the Gauss elimination algorithm for solving systems of (P)BES equations. More...
struct	mcrl2::pbes_system::approximate< BooleanExpressionTraits, Compare >
	Approximation algorithm. More...

Namespaces
namespace	mcrl2
namespace	mcrl2::pbes_system
	The main namespace for the PBES library.

Detailed Description

Gauss elimination algorithm for pbes equation systems.

Definition in file gauss_elimination_algorithm.h.