OKlibrary  0.2.1.6
floating_point_type.hpp File Reference

Traits-metafunctions to extract the floating point type. More...

Go to the source code of this file.

Classes

class  OKlib::SATCompetition::traits::floating_point_type< T >
 Traits meta-function to extract the floating_point 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

Defines

#define FLOATING_POINTTYPE_lalHe3

Detailed Description

Traits-metafunctions to extract the floating point type.

Definition in file floating_point_type.hpp.


Define Documentation

Definition at line 14 of file floating_point_type.hpp.