OKlibrary  0.2.1.6
OKlib::SATCompetition::Test_LexicographicalEvaluationRandom< LexicographicalEvaluationRandom > Class Template Reference

Testing lexicographical evaluation. More...

#include <LexicographicalEvaluation_Tests.hpp>

Inheritance diagram for OKlib::SATCompetition::Test_LexicographicalEvaluationRandom< LexicographicalEvaluationRandom >:
OKlib::TestSystem::TestBase OKlib::TestSystem::Test OKlib::TestSystem::Test

List of all members.

Public Types

typedef
Test_LexicographicalEvaluationRandom 
test_type

Public Member Functions

 Test_LexicographicalEvaluationRandom ()

Detailed Description

template<template< class IndexedDatabase, template< class solver_evaluation_pair_type > class SortingPolicy=LexicographicalSortingPolicy_unfolded_lexicographical, typename NumberType=double > class LexicographicalEvaluationRandom>
class OKlib::SATCompetition::Test_LexicographicalEvaluationRandom< LexicographicalEvaluationRandom >

Testing lexicographical evaluation.

Todo:

Completing like Test_LexicographicalEvaluation.

Checking the average running times.

Checking the order details of the variations on lexicographical ordering.

Definition at line 173 of file LexicographicalEvaluation_Tests.hpp.


Member Typedef Documentation

template<template< class IndexedDatabase, template< class solver_evaluation_pair_type > class SortingPolicy=LexicographicalSortingPolicy_unfolded_lexicographical, typename NumberType=double > class LexicographicalEvaluationRandom>
typedef Test_LexicographicalEvaluationRandom OKlib::SATCompetition::Test_LexicographicalEvaluationRandom< LexicographicalEvaluationRandom >::test_type

Reimplemented from OKlib::TestSystem::Test.

Definition at line 175 of file LexicographicalEvaluation_Tests.hpp.


Constructor & Destructor Documentation

template<template< class IndexedDatabase, template< class solver_evaluation_pair_type > class SortingPolicy=LexicographicalSortingPolicy_unfolded_lexicographical, typename NumberType=double > class LexicographicalEvaluationRandom>
OKlib::SATCompetition::Test_LexicographicalEvaluationRandom< LexicographicalEvaluationRandom >::Test_LexicographicalEvaluationRandom ( ) [inline]

Definition at line 176 of file LexicographicalEvaluation_Tests.hpp.


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