OKlibrary  0.2.1.6
OKlib::SATCompetition::traits Namespace Reference

Classes

class  floating_point_type
 Traits meta-function to extract the floating_point type. More...
class  natural_number_type
 Traits meta-function to extract the natural-number type. More...
class  string_type
 Traits meta-function to extract the string type. More...