mcrl2::pbes_system::gauss_elimination_algorithm< ExpressionTraits > Class Template Reference

Algorithm class for the Gauss elimination algorithm for solving systems of (P)BES equations. More...

#include <gauss_elimination_algorithm.h>

Public Types
using	expression_type = typename ExpressionTraits::expression_type
using	variable_type = typename ExpressionTraits::variable_type
using	equation_type = typename ExpressionTraits::equation_type

Public Member Functions
template<typename Iter , typename FixpointEquationSolver >
void	run (Iter first, Iter last, FixpointEquationSolver solve)
	Runs the algorithm. Applies Gauss elimination to the sequence of pbes equations [first, last).

Protected Member Functions
std::string	print_equation (const equation_type &eq) const
template<typename Iter >
std::string	print_equations (Iter first, Iter last) const

Detailed Description

template<typename ExpressionTraits>
class mcrl2::pbes_system::gauss_elimination_algorithm< ExpressionTraits >

Algorithm class for the Gauss elimination algorithm for solving systems of (P)BES equations.

Definition at line 24 of file gauss_elimination_algorithm.h.

Member Typedef Documentation

equation_type

template<typename ExpressionTraits >

using mcrl2::pbes_system::gauss_elimination_algorithm< ExpressionTraits >::equation_type = typename ExpressionTraits::equation_type

Definition at line 29 of file gauss_elimination_algorithm.h.

expression_type

template<typename ExpressionTraits >

using mcrl2::pbes_system::gauss_elimination_algorithm< ExpressionTraits >::expression_type = typename ExpressionTraits::expression_type

Definition at line 27 of file gauss_elimination_algorithm.h.

variable_type

template<typename ExpressionTraits >

using mcrl2::pbes_system::gauss_elimination_algorithm< ExpressionTraits >::variable_type = typename ExpressionTraits::variable_type

Definition at line 28 of file gauss_elimination_algorithm.h.

Member Function Documentation

print_equation()

template<typename ExpressionTraits >

std::string mcrl2::pbes_system::gauss_elimination_algorithm< ExpressionTraits >::print_equation ( const equation_type &  eq ) const

inlineprotected

Definition at line 33 of file gauss_elimination_algorithm.h.

print_equations()

template<typename ExpressionTraits >

template<typename Iter >

std::string mcrl2::pbes_system::gauss_elimination_algorithm< ExpressionTraits >::print_equations ( Iter  first, Iter  last  ) const

inlineprotected

Definition at line 39 of file gauss_elimination_algorithm.h.

run()

template<typename ExpressionTraits >

template<typename Iter , typename FixpointEquationSolver >

void mcrl2::pbes_system::gauss_elimination_algorithm< ExpressionTraits >::run ( Iter  first, Iter  last, FixpointEquationSolver  solve  )

inline

Runs the algorithm. Applies Gauss elimination to the sequence of pbes equations [first, last).

Parameters

first	Start of a range of pbes equations
last	End of a range of pbes equations
solve	An equation solver

Definition at line 56 of file gauss_elimination_algorithm.h.

---

The documentation for this class was generated from the following file:

• pbes/include/mcrl2/pbes/gauss_elimination_algorithm.h