spot::is_a_kripkecube_ptr< T, State, SuccIter > Class Template Reference

This class allows to ensure (at compile time) if a given parameter is of type kripkecube. It also check if the iterator has the good interface. More...

#include <spot/kripke/kripke.hh>

Collaboration diagram for spot::is_a_kripkecube_ptr< T, State, SuccIter >:

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, typename State, typename SuccIter>
class spot::is_a_kripkecube_ptr< T, State, SuccIter >

This class allows to ensure (at compile time) if a given parameter is of type kripkecube. It also check if the iterator has the good interface.

Member Data Documentation

value

template<typename T , typename State , typename SuccIter >

constexpr bool spot::is_a_kripkecube_ptr< T, State, SuccIter >::value

staticconstexpr

Initial value:

=
      std::is_same< decltype(test_kripke<T, SuccIter*>(nullptr, 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/kripke/kripke.hh