OKlibrary  0.2.1.6
OKlib::SATCompetition::tuple_type< Result > Struct Template Reference

#include <SingleResult.hpp>

List of all members.

Public Types

typedef TupleResult type

Detailed Description

template<>
struct OKlib::SATCompetition::tuple_type< Result >

Definition at line 391 of file SingleResult.hpp.


Member Typedef Documentation

typedef TupleResult OKlib::SATCompetition::tuple_type< Result >::type

Definition at line 392 of file SingleResult.hpp.


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