spot::is_a_mc_algorithm< T > Class Template Reference

This class allows to ensure (at compile time) if a given parameter can be considered as a modelchecking algorithm (i.e., usable by instantiate). More...

#include <spot/mc/mc_instanciator.hh>

Collaboration diagram for spot::is_a_mc_algorithm< T >:

Static Public Attributes
static constexpr bool	value
	Checking this value will ensure, at compile time, that the Kripke specialisation respects the required interface.

Detailed Description

template<typename T>
class spot::is_a_mc_algorithm< T >

This class allows to ensure (at compile time) if a given parameter can be considered as a modelchecking algorithm (i.e., usable by instantiate).

Member Data Documentation

value

template<typename T>

bool spot::is_a_mc_algorithm< T >::value

staticconstexpr

Initial value:

Checking this value will ensure, at compile time, that the Kripke specialisation respects the required interface.

---

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

• spot/mc/mc_instanciator.hh