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>

bool spot::is_a_kripkecube_ptr< T, State, SuccIter >::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/kripke/kripke.hh