mcrl2::pbes_system::approximate< BooleanExpressionTraits, Compare > Struct Template Reference

Approximation algorithm. More...

#include <gauss_elimination_algorithm.h>

Public Member Functions
	approximate (Compare compare)
void	operator() (typename BooleanExpressionTraits::equation_type &eq) const

Public Attributes
Compare	m_compare

Detailed Description

template<typename BooleanExpressionTraits, typename Compare>
struct mcrl2::pbes_system::approximate< BooleanExpressionTraits, Compare >

Approximation algorithm.

Definition at line 84 of file gauss_elimination_algorithm.h.

Constructor & Destructor Documentation

approximate()

template<typename BooleanExpressionTraits , typename Compare >

mcrl2::pbes_system::approximate< BooleanExpressionTraits, Compare >::approximate ( Compare  compare )

inline

Definition at line 88 of file gauss_elimination_algorithm.h.

Member Function Documentation

operator()()

template<typename BooleanExpressionTraits , typename Compare >

void mcrl2::pbes_system::approximate< BooleanExpressionTraits, Compare >::operator() ( typename BooleanExpressionTraits::equation_type &  eq ) const

inline

Definition at line 93 of file gauss_elimination_algorithm.h.

Member Data Documentation

m_compare

template<typename BooleanExpressionTraits , typename Compare >

Compare mcrl2::pbes_system::approximate< BooleanExpressionTraits, Compare >::m_compare

Definition at line 86 of file gauss_elimination_algorithm.h.

---

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

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