dlvhex
2.5.0
|
#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>
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) |
void houtput | ( | Attrib const & | a | ) |
Definition at line 137 of file DLVresultParserDriver.cpp.
Referenced by houtput(), and handle_dbg::operator()().
void houtput | ( | std::vector< char > const & | a | ) |
Definition at line 145 of file DLVresultParserDriver.cpp.
void houtput | ( | boost::optional< Content > const & | a | ) |
Definition at line 152 of file DLVresultParserDriver.cpp.
References houtput().