OKlibrary  0.2.1.6
OKlib::DPv::Test_DimacsParser_ClauseSet< DimacsParser > Class Template Reference

#include <Input_output_Tests.hpp>

Inheritance diagram for OKlib::DPv::Test_DimacsParser_ClauseSet< DimacsParser >:
OKlib::TestSystem::TestBase OKlib::TestSystem::Test OKlib::TestSystem::Test

List of all members.

Public Types

typedef Test_DimacsParser_ClauseSet test_type

Public Member Functions

 Test_DimacsParser_ClauseSet ()

Detailed Description

template<template< class ClauseSet > class DimacsParser>
class OKlib::DPv::Test_DimacsParser_ClauseSet< DimacsParser >

Definition at line 65 of file Input_output_Tests.hpp.


Member Typedef Documentation

template<template< class ClauseSet > class DimacsParser>
typedef Test_DimacsParser_ClauseSet OKlib::DPv::Test_DimacsParser_ClauseSet< DimacsParser >::test_type

Reimplemented from OKlib::TestSystem::Test.

Definition at line 67 of file Input_output_Tests.hpp.


Constructor & Destructor Documentation

template<template< class ClauseSet > class DimacsParser>
OKlib::DPv::Test_DimacsParser_ClauseSet< DimacsParser >::Test_DimacsParser_ClauseSet ( ) [inline]

Definition at line 68 of file Input_output_Tests.hpp.

References OKlib::TestSystem::TestBase::insert().


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