OKlibrary  0.2.1.6
OKlib::SATCompetition::Copy_results_from_file< ParserResult, OutputIterator, Result_, ParserExtension > Struct Template Reference

#include <ParsingResultSequences.hpp>

List of all members.

Public Types

typedef char char_type
typedef
boost::spirit::file_iterator
< char_type
file_iterator
typedef
boost::spirit::position_iterator
< file_iterator
ParseIterator
typedef
boost::spirit::parse_info
< ParseIterator
parse_info_f
typedef ParserResult< Result_,
char_type, ParseIterator,
ParserExtension< char_type,
ParseIterator > > 
Parser

Public Member Functions

parse_info_f operator() (const boost::filesystem::path &filename, OutputIterator begin_out) const

Detailed Description

template<template< typename Result, typename CharT, typename ParseIterator, class ParserExtension > class ParserResult, class OutputIterator, class Result_ = Result, template< typename CharT, typename ParseIterator > class ParserExtension = ParserEmpty>
struct OKlib::SATCompetition::Copy_results_from_file< ParserResult, OutputIterator, Result_, ParserExtension >

Definition at line 86 of file ParsingResultSequences.hpp.


Member Typedef Documentation

template<template< typename Result, typename CharT, typename ParseIterator, class ParserExtension > class ParserResult, class OutputIterator , class Result_ = Result, template< typename CharT, typename ParseIterator > class ParserExtension = ParserEmpty>
typedef char OKlib::SATCompetition::Copy_results_from_file< ParserResult, OutputIterator, Result_, ParserExtension >::char_type

Definition at line 88 of file ParsingResultSequences.hpp.

template<template< typename Result, typename CharT, typename ParseIterator, class ParserExtension > class ParserResult, class OutputIterator , class Result_ = Result, template< typename CharT, typename ParseIterator > class ParserExtension = ParserEmpty>
typedef boost::spirit::file_iterator<char_type> OKlib::SATCompetition::Copy_results_from_file< ParserResult, OutputIterator, Result_, ParserExtension >::file_iterator

Definition at line 89 of file ParsingResultSequences.hpp.

template<template< typename Result, typename CharT, typename ParseIterator, class ParserExtension > class ParserResult, class OutputIterator , class Result_ = Result, template< typename CharT, typename ParseIterator > class ParserExtension = ParserEmpty>
typedef boost::spirit::parse_info<ParseIterator> OKlib::SATCompetition::Copy_results_from_file< ParserResult, OutputIterator, Result_, ParserExtension >::parse_info_f

Definition at line 91 of file ParsingResultSequences.hpp.

template<template< typename Result, typename CharT, typename ParseIterator, class ParserExtension > class ParserResult, class OutputIterator , class Result_ = Result, template< typename CharT, typename ParseIterator > class ParserExtension = ParserEmpty>
typedef boost::spirit::position_iterator<file_iterator> OKlib::SATCompetition::Copy_results_from_file< ParserResult, OutputIterator, Result_, ParserExtension >::ParseIterator

Definition at line 90 of file ParsingResultSequences.hpp.

template<template< typename Result, typename CharT, typename ParseIterator, class ParserExtension > class ParserResult, class OutputIterator , class Result_ = Result, template< typename CharT, typename ParseIterator > class ParserExtension = ParserEmpty>
typedef ParserResult<Result_, char_type, ParseIterator, ParserExtension<char_type, ParseIterator> > OKlib::SATCompetition::Copy_results_from_file< ParserResult, OutputIterator, Result_, ParserExtension >::Parser

Definition at line 92 of file ParsingResultSequences.hpp.


Member Function Documentation

template<template< typename Result, typename CharT, typename ParseIterator, class ParserExtension > class ParserResult, class OutputIterator , class Result_ = Result, template< typename CharT, typename ParseIterator > class ParserExtension = ParserEmpty>
parse_info_f OKlib::SATCompetition::Copy_results_from_file< ParserResult, OutputIterator, Result_, ParserExtension >::operator() ( const boost::filesystem::path &  filename,
OutputIterator  begin_out 
) const [inline]

Definition at line 94 of file ParsingResultSequences.hpp.


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