OKlibrary  0.2.1.6
OKlib::SATCompetition::LexicographicalEvaluationRandom_from_file< ParserExtension > Struct Template Reference

#include <LexicographicalEvaluation.hpp>

List of all members.

Public Types

typedef ResultRandomSat result_type
typedef
Result_database_from_file
< ParserResult, result_type,
ParserExtension > 
result_database_from_file
typedef
result_database_from_file::database_type 
database
typedef ElementaryAnalysis
< database
indexed_database
typedef
LexicographicalEvaluationRandom
< indexed_database
lexicographical_evaluation_unfolded_type
typedef
LexicographicalEvaluationRandom
< indexed_database,
LexicographicalSortingPolicy_induced_lexicographical
lexicographical_evaluation_induced_type

Public Member Functions

 LexicographicalEvaluationRandom_from_file (const std::string &file_name)

Public Attributes

result_database_from_file rdb
database rdb_sat
database rdb_unsat
bool dummy
indexed_database idb_all
indexed_database idb_sat
indexed_database idb_unsat
lexicographical_evaluation_unfolded_type evaluation_unfolded_all
lexicographical_evaluation_unfolded_type evaluation_unfolded_sat
lexicographical_evaluation_unfolded_type evaluation_unfolded_unsat
lexicographical_evaluation_induced_type evaluation_induced_all
lexicographical_evaluation_induced_type evaluation_induced_sat
lexicographical_evaluation_induced_type evaluation_induced_unsat

Detailed Description

template<template< typename CharT, typename ParseIterator > class ParserExtension = ParserEmpty>
struct OKlib::SATCompetition::LexicographicalEvaluationRandom_from_file< ParserExtension >

Definition at line 341 of file LexicographicalEvaluation.hpp.


Member Typedef Documentation

template<template< typename CharT, typename ParseIterator > class ParserExtension = ParserEmpty>
typedef result_database_from_file::database_type OKlib::SATCompetition::LexicographicalEvaluationRandom_from_file< ParserExtension >::database

Definition at line 345 of file LexicographicalEvaluation.hpp.

template<template< typename CharT, typename ParseIterator > class ParserExtension = ParserEmpty>
typedef ElementaryAnalysis<database> OKlib::SATCompetition::LexicographicalEvaluationRandom_from_file< ParserExtension >::indexed_database

Definition at line 346 of file LexicographicalEvaluation.hpp.

Definition at line 349 of file LexicographicalEvaluation.hpp.

template<template< typename CharT, typename ParseIterator > class ParserExtension = ParserEmpty>
typedef LexicographicalEvaluationRandom<indexed_database> OKlib::SATCompetition::LexicographicalEvaluationRandom_from_file< ParserExtension >::lexicographical_evaluation_unfolded_type

Definition at line 348 of file LexicographicalEvaluation.hpp.

template<template< typename CharT, typename ParseIterator > class ParserExtension = ParserEmpty>
typedef Result_database_from_file<ParserResult, result_type, ParserExtension> OKlib::SATCompetition::LexicographicalEvaluationRandom_from_file< ParserExtension >::result_database_from_file

Definition at line 344 of file LexicographicalEvaluation.hpp.

template<template< typename CharT, typename ParseIterator > class ParserExtension = ParserEmpty>
typedef ResultRandomSat OKlib::SATCompetition::LexicographicalEvaluationRandom_from_file< ParserExtension >::result_type

Definition at line 343 of file LexicographicalEvaluation.hpp.


Constructor & Destructor Documentation

template<template< typename CharT, typename ParseIterator > class ParserExtension = ParserEmpty>
OKlib::SATCompetition::LexicographicalEvaluationRandom_from_file< ParserExtension >::LexicographicalEvaluationRandom_from_file ( const std::string &  file_name) [inline]

Member Data Documentation

template<template< typename CharT, typename ParseIterator > class ParserExtension = ParserEmpty>
bool OKlib::SATCompetition::LexicographicalEvaluationRandom_from_file< ParserExtension >::dummy
template<template< typename CharT, typename ParseIterator > class ParserExtension = ParserEmpty>
lexicographical_evaluation_induced_type OKlib::SATCompetition::LexicographicalEvaluationRandom_from_file< ParserExtension >::evaluation_induced_all

Definition at line 363 of file LexicographicalEvaluation.hpp.

template<template< typename CharT, typename ParseIterator > class ParserExtension = ParserEmpty>
lexicographical_evaluation_induced_type OKlib::SATCompetition::LexicographicalEvaluationRandom_from_file< ParserExtension >::evaluation_induced_sat

Definition at line 364 of file LexicographicalEvaluation.hpp.

template<template< typename CharT, typename ParseIterator > class ParserExtension = ParserEmpty>
lexicographical_evaluation_induced_type OKlib::SATCompetition::LexicographicalEvaluationRandom_from_file< ParserExtension >::evaluation_induced_unsat

Definition at line 365 of file LexicographicalEvaluation.hpp.

template<template< typename CharT, typename ParseIterator > class ParserExtension = ParserEmpty>
lexicographical_evaluation_unfolded_type OKlib::SATCompetition::LexicographicalEvaluationRandom_from_file< ParserExtension >::evaluation_unfolded_all

Definition at line 359 of file LexicographicalEvaluation.hpp.

template<template< typename CharT, typename ParseIterator > class ParserExtension = ParserEmpty>
lexicographical_evaluation_unfolded_type OKlib::SATCompetition::LexicographicalEvaluationRandom_from_file< ParserExtension >::evaluation_unfolded_sat

Definition at line 360 of file LexicographicalEvaluation.hpp.

template<template< typename CharT, typename ParseIterator > class ParserExtension = ParserEmpty>
lexicographical_evaluation_unfolded_type OKlib::SATCompetition::LexicographicalEvaluationRandom_from_file< ParserExtension >::evaluation_unfolded_unsat

Definition at line 361 of file LexicographicalEvaluation.hpp.

template<template< typename CharT, typename ParseIterator > class ParserExtension = ParserEmpty>
indexed_database OKlib::SATCompetition::LexicographicalEvaluationRandom_from_file< ParserExtension >::idb_all

Definition at line 357 of file LexicographicalEvaluation.hpp.

template<template< typename CharT, typename ParseIterator > class ParserExtension = ParserEmpty>
indexed_database OKlib::SATCompetition::LexicographicalEvaluationRandom_from_file< ParserExtension >::idb_sat

Definition at line 357 of file LexicographicalEvaluation.hpp.

template<template< typename CharT, typename ParseIterator > class ParserExtension = ParserEmpty>
indexed_database OKlib::SATCompetition::LexicographicalEvaluationRandom_from_file< ParserExtension >::idb_unsat

Definition at line 357 of file LexicographicalEvaluation.hpp.

template<template< typename CharT, typename ParseIterator > class ParserExtension = ParserEmpty>
result_database_from_file OKlib::SATCompetition::LexicographicalEvaluationRandom_from_file< ParserExtension >::rdb

Definition at line 351 of file LexicographicalEvaluation.hpp.

template<template< typename CharT, typename ParseIterator > class ParserExtension = ParserEmpty>
database OKlib::SATCompetition::LexicographicalEvaluationRandom_from_file< ParserExtension >::rdb_sat

Definition at line 352 of file LexicographicalEvaluation.hpp.

template<template< typename CharT, typename ParseIterator > class ParserExtension = ParserEmpty>
database OKlib::SATCompetition::LexicographicalEvaluationRandom_from_file< ParserExtension >::rdb_unsat

Definition at line 353 of file LexicographicalEvaluation.hpp.


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