OKlibrary  0.2.1.6
OKlib::SATCompetition::Result_database_from_file< ParserResult, Result_, ParserExtension, Container > Struct Template Reference

#include <ResultProcessing.hpp>

List of all members.

Public Types

typedef Result_ result_type
typedef
Copy_results_from_file_to_container
< ParserResult, Container,
result_type, ParserExtension > 
copy_type
typedef copy_type::container_type container_type
typedef
container_type::const_iterator 
result_iterator_type
typedef ResultDatabase
< result_iterator_type
database_type

Public Member Functions

 Result_database_from_file (const boost::filesystem::path &filename)

Public Attributes

container_type result_sequence
copy_type copy
database_type db

Detailed Description

template<template< typename Result, typename CharT, typename ParseIterator, class ParserExtension > class ParserResult, class Result_ = Result, template< typename CharT, typename Parseiterator > class ParserExtension = ParserEmpty, template< typename Value > class Container = std::vector>
struct OKlib::SATCompetition::Result_database_from_file< ParserResult, Result_, ParserExtension, Container >

Definition at line 253 of file ResultProcessing.hpp.


Member Typedef Documentation

template<template< typename Result, typename CharT, typename ParseIterator, class ParserExtension > class ParserResult, class Result_ = Result, template< typename CharT, typename Parseiterator > class ParserExtension = ParserEmpty, template< typename Value > class Container = std::vector>
typedef copy_type::container_type OKlib::SATCompetition::Result_database_from_file< ParserResult, Result_, ParserExtension, Container >::container_type

Definition at line 257 of file ResultProcessing.hpp.

template<template< typename Result, typename CharT, typename ParseIterator, class ParserExtension > class ParserResult, class Result_ = Result, template< typename CharT, typename Parseiterator > class ParserExtension = ParserEmpty, template< typename Value > class Container = std::vector>
typedef Copy_results_from_file_to_container<ParserResult, Container, result_type, ParserExtension> OKlib::SATCompetition::Result_database_from_file< ParserResult, Result_, ParserExtension, Container >::copy_type

Definition at line 256 of file ResultProcessing.hpp.

template<template< typename Result, typename CharT, typename ParseIterator, class ParserExtension > class ParserResult, class Result_ = Result, template< typename CharT, typename Parseiterator > class ParserExtension = ParserEmpty, template< typename Value > class Container = std::vector>
typedef ResultDatabase<result_iterator_type> OKlib::SATCompetition::Result_database_from_file< ParserResult, Result_, ParserExtension, Container >::database_type

Definition at line 259 of file ResultProcessing.hpp.

template<template< typename Result, typename CharT, typename ParseIterator, class ParserExtension > class ParserResult, class Result_ = Result, template< typename CharT, typename Parseiterator > class ParserExtension = ParserEmpty, template< typename Value > class Container = std::vector>
typedef container_type::const_iterator OKlib::SATCompetition::Result_database_from_file< ParserResult, Result_, ParserExtension, Container >::result_iterator_type

Definition at line 258 of file ResultProcessing.hpp.

template<template< typename Result, typename CharT, typename ParseIterator, class ParserExtension > class ParserResult, class Result_ = Result, template< typename CharT, typename Parseiterator > class ParserExtension = ParserEmpty, template< typename Value > class Container = std::vector>
typedef Result_ OKlib::SATCompetition::Result_database_from_file< ParserResult, Result_, ParserExtension, Container >::result_type

Definition at line 255 of file ResultProcessing.hpp.


Constructor & Destructor Documentation

template<template< typename Result, typename CharT, typename ParseIterator, class ParserExtension > class ParserResult, class Result_ = Result, template< typename CharT, typename Parseiterator > class ParserExtension = ParserEmpty, template< typename Value > class Container = std::vector>
OKlib::SATCompetition::Result_database_from_file< ParserResult, Result_, ParserExtension, Container >::Result_database_from_file ( const boost::filesystem::path &  filename) [inline]

Definition at line 265 of file ResultProcessing.hpp.


Member Data Documentation

template<template< typename Result, typename CharT, typename ParseIterator, class ParserExtension > class ParserResult, class Result_ = Result, template< typename CharT, typename Parseiterator > class ParserExtension = ParserEmpty, template< typename Value > class Container = std::vector>
copy_type OKlib::SATCompetition::Result_database_from_file< ParserResult, Result_, ParserExtension, Container >::copy

Definition at line 262 of file ResultProcessing.hpp.

template<template< typename Result, typename CharT, typename ParseIterator, class ParserExtension > class ParserResult, class Result_ = Result, template< typename CharT, typename Parseiterator > class ParserExtension = ParserEmpty, template< typename Value > class Container = std::vector>
database_type OKlib::SATCompetition::Result_database_from_file< ParserResult, Result_, ParserExtension, Container >::db
template<template< typename Result, typename CharT, typename ParseIterator, class ParserExtension > class ParserResult, class Result_ = Result, template< typename CharT, typename Parseiterator > class ParserExtension = ParserEmpty, template< typename Value > class Container = std::vector>
container_type OKlib::SATCompetition::Result_database_from_file< ParserResult, Result_, ParserExtension, Container >::result_sequence

Definition at line 261 of file ResultProcessing.hpp.


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