OKlibrary  0.2.1.6
OKlib::Satisfiability::Values::traits::first_value< Assignment_status > Struct Template Reference

#include <StatusTypes.hpp>

List of all members.

Public Types

enum  { value = val0 }

Detailed Description

template<>
struct OKlib::Satisfiability::Values::traits::first_value< Assignment_status >

Definition at line 42 of file StatusTypes.hpp.


Member Enumeration Documentation

anonymous enum
Enumerator:
value 

Definition at line 43 of file StatusTypes.hpp.


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