OKlibrary  0.2.1.6
OKlib::InputOutput::Test_StandardDIMACSInput< StandardDIMACSInput > Class Template Reference

Test the standard DIMACS cnf reader. More...

#include <Dimacs_Tests.hpp>

Inheritance diagram for OKlib::InputOutput::Test_StandardDIMACSInput< StandardDIMACSInput >:
OKlib::TestSystem::TestBase OKlib::TestSystem::Test OKlib::TestSystem::Test

List of all members.

Public Types

typedef Test_StandardDIMACSInput test_type

Public Member Functions

 Test_StandardDIMACSInput ()

Detailed Description

template<template< class CLSAdaptor > class StandardDIMACSInput>
class OKlib::InputOutput::Test_StandardDIMACSInput< StandardDIMACSInput >

Test the standard DIMACS cnf reader.

Todo:

Extending the tests (not just checking whether the statistics are right).

Test with the archetype of a CLSAdaptor.

For the negative tests:

  • catch all exceptions thrown
  • test the specific exceptions thrown.

For the positive tests:

  • catch all exceptions thrown.

Test for errors where the numbers read-in are too large to be represented.

Definition at line 52 of file Dimacs_Tests.hpp.


Member Typedef Documentation

template<template< class CLSAdaptor > class StandardDIMACSInput>
typedef Test_StandardDIMACSInput OKlib::InputOutput::Test_StandardDIMACSInput< StandardDIMACSInput >::test_type

Reimplemented from OKlib::TestSystem::Test.

Definition at line 54 of file Dimacs_Tests.hpp.


Constructor & Destructor Documentation

template<template< class CLSAdaptor > class StandardDIMACSInput>
OKlib::InputOutput::Test_StandardDIMACSInput< StandardDIMACSInput >::Test_StandardDIMACSInput ( ) [inline]

Definition at line 55 of file Dimacs_Tests.hpp.

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


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