spot::is_a_mc_algorithm< T > Class Template Reference

This class allows to ensure (at compile time) if a given parameter can be compsidered as a modelchecking algorithm (i.e., usable by instanciate) 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. More...

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 compsidered as a modelchecking algorithm (i.e., usable by instanciate)

Member Data Documentation

value

template<typename T >

constexpr bool spot::is_a_mc_algorithm< T >::value

staticconstexpr

Initial value:

=
      std::is_same< decltype(test_mc_algo<T>(nullptr)), yes>::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