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

#include <ParsingResultSequences.hpp>

List of all members.

Public Types

typedef Result_ result_type
typedef Container< result_typecontainer_type
typedef
std::back_insert_iterator
< container_type
output_iterator_type
typedef Copy_results_from_file
< ParserResult,
output_iterator_type,
result_type, ParserExtension > 
copy_type
typedef copy_type::ParseIterator parse_iterator_type
typedef copy_type::parse_info_f info_type

Public Member Functions

 Copy_results_from_file_to_container (const boost::filesystem::path &filename, container_type &C)

Detailed Description

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

Definition at line 110 of file ParsingResultSequences.hpp.


Member Typedef Documentation

template<template< typename Result, typename CharT, typename ParseIterator, class ParserExtension=ParserEmpty< CharT, ParseIterator > > class ParserResult, template< typename Value > class Container, class Result_ = Result, template< typename CharT, typename ParseIterator > class ParserExtension = ParserEmpty>
typedef Container<result_type> OKlib::SATCompetition::Copy_results_from_file_to_container< ParserResult, Container, Result_, ParserExtension >::container_type

Definition at line 113 of file ParsingResultSequences.hpp.

template<template< typename Result, typename CharT, typename ParseIterator, class ParserExtension=ParserEmpty< CharT, ParseIterator > > class ParserResult, template< typename Value > class Container, class Result_ = Result, template< typename CharT, typename ParseIterator > class ParserExtension = ParserEmpty>
typedef Copy_results_from_file<ParserResult, output_iterator_type, result_type, ParserExtension> OKlib::SATCompetition::Copy_results_from_file_to_container< ParserResult, Container, Result_, ParserExtension >::copy_type

Definition at line 115 of file ParsingResultSequences.hpp.

template<template< typename Result, typename CharT, typename ParseIterator, class ParserExtension=ParserEmpty< CharT, ParseIterator > > class ParserResult, template< typename Value > class Container, class Result_ = Result, template< typename CharT, typename ParseIterator > class ParserExtension = ParserEmpty>
typedef copy_type::parse_info_f OKlib::SATCompetition::Copy_results_from_file_to_container< ParserResult, Container, Result_, ParserExtension >::info_type

Definition at line 117 of file ParsingResultSequences.hpp.

template<template< typename Result, typename CharT, typename ParseIterator, class ParserExtension=ParserEmpty< CharT, ParseIterator > > class ParserResult, template< typename Value > class Container, class Result_ = Result, template< typename CharT, typename ParseIterator > class ParserExtension = ParserEmpty>
typedef std::back_insert_iterator<container_type> OKlib::SATCompetition::Copy_results_from_file_to_container< ParserResult, Container, Result_, ParserExtension >::output_iterator_type

Definition at line 114 of file ParsingResultSequences.hpp.

template<template< typename Result, typename CharT, typename ParseIterator, class ParserExtension=ParserEmpty< CharT, ParseIterator > > class ParserResult, template< typename Value > class Container, class Result_ = Result, template< typename CharT, typename ParseIterator > class ParserExtension = ParserEmpty>
typedef copy_type::ParseIterator OKlib::SATCompetition::Copy_results_from_file_to_container< ParserResult, Container, Result_, ParserExtension >::parse_iterator_type

Definition at line 116 of file ParsingResultSequences.hpp.

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

Definition at line 112 of file ParsingResultSequences.hpp.


Constructor & Destructor Documentation

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

Definition at line 119 of file ParsingResultSequences.hpp.


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