Common.h File Reference

#include <smtrat-common/smtrat-common.h>
#include "theories/Common.h"
#include <algorithm>
#include <functional>
#include <iostream>
#include <sstream>
#include <boost/fusion/include/std_pair.hpp>
#include <boost/spirit/include/qi.hpp>
#include <boost/spirit/include/qi_parse.hpp>
#include <boost/phoenix.hpp>
#include <boost/phoenix/core.hpp>
#include <boost/phoenix/object.hpp>
#include <boost/phoenix/operator.hpp>
#include <boost/phoenix/statement.hpp>
#include <boost/phoenix/stl.hpp>
#include <boost/spirit/include/support_line_pos_iterator.hpp>
#include <carl-formula/model/Assignment.h>

Include dependency graph for Common.h:

This graph shows which files directly or indirectly include this file:

Go to the source code of this file.

Data Structures
struct	smtrat::parser::Skipper

Namespaces
	smtrat
	Class to create the formulas for axioms.
	smtrat::parser

Macros
#define	BOOST_SPIRIT_USE_PHOENIX_V3
#define	PARSER_BITVECTOR
#define	EXIT_ON_ERROR
#define	HANDLE_ERROR   std::cout << "(unknown)" << std::endl; exit(123);

Typedefs
typedef boost::spirit::istream_iterator	smtrat::parser::BaseIteratorType
typedef boost::spirit::line_pos_iterator< BaseIteratorType >	smtrat::parser::PositionIteratorType
typedef PositionIteratorType	smtrat::parser::Iterator

Detailed Description

Author

Gereon Kremer gereo.nosp@m.n.kr.nosp@m.emer@.nosp@m.cs.r.nosp@m.wth-a.nosp@m.ache.nosp@m.n.de

Definition in file Common.h.

Macro Definition Documentation

BOOST_SPIRIT_USE_PHOENIX_V3

#define BOOST_SPIRIT_USE_PHOENIX_V3

Definition at line 17 of file Common.h.

EXIT_ON_ERROR

#define EXIT_ON_ERROR

Definition at line 33 of file Common.h.

HANDLE_ERROR

#define HANDLE_ERROR   std::cout << "(unknown)" << std::endl; exit(123);

Definition at line 35 of file Common.h.

PARSER_BITVECTOR

#define PARSER_BITVECTOR

Definition at line 31 of file Common.h.