OKlib::SATCompetition::traits::natural_number_type< T > Class Template Reference

Traits meta-function to extract the natural-number type. More...

#include <natural_number_type.hpp>

List of all members.

Public Types
typedef T::natural_number_type	type

---

Detailed Description

template<typename T>
class OKlib::SATCompetition::traits::natural_number_type< T >

Traits meta-function to extract the natural-number type.

Definition at line 26 of file natural_number_type.hpp.

---

Member Typedef Documentation

template<typename T>

typedef T::natural_number_type OKlib::SATCompetition::traits::natural_number_type< T >::type

Definition at line 27 of file natural_number_type.hpp.

---

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

• Experimentation/Competition/traits/natural_number_type.hpp