dlvhex  2.5.0
src/DLVresultParserDriver.cpp File Reference
#include "dlvhex2/DLVresultParserDriver.h"
#include "dlvhex2/Benchmarking.h"
#include "dlvhex2/ID.h"
#include "dlvhex2/Term.h"
#include "dlvhex2/Atoms.h"
#include "dlvhex2/Registry.h"
#include "dlvhex2/Printer.h"
#include "dlvhex2/ProgramCtx.h"
#include <boost/optional.hpp>
#include <boost/spirit/include/qi.hpp>
#include <boost/spirit/include/phoenix_core.hpp>
#include <boost/spirit/include/phoenix_operator.hpp>
#include <boost/spirit/include/phoenix_object.hpp>
#include <boost/spirit/include/phoenix_fusion.hpp>
#include <boost/spirit/include/support_multi_pass.hpp>
#include <boost/algorithm/string/trim.hpp>
#include <sstream>
#include <iostream>
Include dependency graph for DLVresultParserDriver.cpp:

Go to the source code of this file.

Data Structures

struct  ParserState
struct  handle_dbg
struct  handle_int
struct  handle_ident
struct  handle_finished_answerset
struct  handle_fact
struct  DLVResultGrammar< Iterator >

Functions

template<typename Attrib >
void houtput (Attrib const &a)
template<>
void houtput (std::vector< char > const &a)
template<typename Content >
void houtput (boost::optional< Content > const &a)

Function Documentation

template<typename Attrib >
void houtput ( Attrib const &  a)

Definition at line 137 of file DLVresultParserDriver.cpp.

Referenced by houtput(), and handle_dbg::operator()().

template<>
void houtput ( std::vector< char > const &  a)

Definition at line 145 of file DLVresultParserDriver.cpp.

template<typename Content >
void houtput ( boost::optional< Content > const &  a)

Definition at line 152 of file DLVresultParserDriver.cpp.

References houtput().