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

#include <SingleResult.hpp>

List of all members.

Public Types

typedef TupleResultRandomSat type

Detailed Description

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

Definition at line 491 of file SingleResult.hpp.


Member Typedef Documentation

typedef TupleResultRandomSat OKlib::SATCompetition::tuple_type< ResultRandomSat >::type

Definition at line 492 of file SingleResult.hpp.


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