OKlibrary  0.2.1.6
OKlib::SATCompetition::Add_positive_result_tuples< Container, TupleResultRandomSat > Struct Template Reference

#include <ParsingSingleResult_Tests.hpp>

List of all members.

Public Member Functions

void operator() (Container &C)

Detailed Description

template<class Container>
struct OKlib::SATCompetition::Add_positive_result_tuples< Container, TupleResultRandomSat >

Definition at line 578 of file ParsingSingleResult_Tests.hpp.


Member Function Documentation

template<class Container >
void OKlib::SATCompetition::Add_positive_result_tuples< Container, TupleResultRandomSat >::operator() ( Container &  C) [inline]

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