mcrl2::pbes_system::pbes_equation_solver< Rewriter > Struct Template Reference

Solves an equation. More...

#include <pbes_gauss_elimination.h>

Public Member Functions
	pbes_equation_solver (const Rewriter &rewriter)
pbes_expression	sigma (const pbes_equation &e)
	Returns true if e.symbol() == nu(), else false.
void	operator() (pbes_equation &e)
	Solves the equation e.

Public Attributes
const Rewriter &	m_rewriter

Detailed Description

template<typename Rewriter>
struct mcrl2::pbes_system::pbes_equation_solver< Rewriter >

Solves an equation.

Parameters

e	A pbes equation

Definition at line 82 of file pbes_gauss_elimination.h.

Constructor & Destructor Documentation

pbes_equation_solver()

template<typename Rewriter >

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

inline

Definition at line 86 of file pbes_gauss_elimination.h.

Member Function Documentation

operator()()

template<typename Rewriter >

void mcrl2::pbes_system::pbes_equation_solver< Rewriter >::operator() ( pbes_equation &  e )

inline

Solves the equation e.

Definition at line 100 of file pbes_gauss_elimination.h.

sigma()

template<typename Rewriter >

pbes_expression mcrl2::pbes_system::pbes_equation_solver< Rewriter >::sigma ( const pbes_equation &  e )

inline

Returns true if e.symbol() == nu(), else false.

Parameters

e	A pbes equation

Returns

True if e.symbol() == nu(), else false.

Definition at line 93 of file pbes_gauss_elimination.h.

Member Data Documentation

m_rewriter

template<typename Rewriter >

const Rewriter& mcrl2::pbes_system::pbes_equation_solver< Rewriter >::m_rewriter

Definition at line 84 of file pbes_gauss_elimination.h.

---

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

• pbes/include/mcrl2/pbes/pbes_gauss_elimination.h