bes_equation_limit.h File Reference

A global variable for counting the number of BES equations in pbesinst and parity_game_generator. If the number of equations exceeds a limit, an exception is thrown. A static template class variable is used, that can be set from everywhere. More...

Go to the source code of this file.

Classes
struct	mcrl2::pbes_system::detail::bes_equation_limit< T >

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

Functions
void	mcrl2::pbes_system::detail::set_bes_equation_limit (std::size_t size)
void	mcrl2::pbes_system::detail::check_bes_equation_limit (std::size_t size)

Detailed Description

A global variable for counting the number of BES equations in pbesinst and parity_game_generator. If the number of equations exceeds a limit, an exception is thrown. A static template class variable is used, that can be set from everywhere.

Definition in file bes_equation_limit.h.