OKlibrary  0.2.1.6
natural_number_type.hpp File Reference

Traits-metafunctions to extract the natural_number type. More...

Go to the source code of this file.

Classes

class  OKlib::SATCompetition::traits::natural_number_type< T >
 Traits meta-function to extract the natural-number type. More...

Namespaces

namespace  OKlib
 

All components of the OKlibrary.


namespace  OKlib::SATCompetition
 

Tools for evaluating SAT competition (under various circumstances)


namespace  OKlib::SATCompetition::traits

Detailed Description

Traits-metafunctions to extract the natural_number type.

Definition in file natural_number_type.hpp.