BooleanEncoding.cpp File Reference

#include "BooleanEncoding.h"
#include "ParserState.h"
#include "Conversions.h"
#include "FunctionInstantiator.h"
#include <boost/spirit/include/qi.hpp>

Include dependency graph for BooleanEncoding.cpp:

Go to the source code of this file.

Data Structures
struct	smtrat::parser::EncodingInstantiator
struct	smtrat::parser::AtMostInstantiator

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

Macros
#define	BOOST_SPIRIT_USE_PHOENIX_V3

Functions
void	smtrat::parser::at_most_k_helper (size_t k, const std::vector< FormulaT > &set, FormulasT &working, long long int prev_idx, FormulasT &results)
FormulaT	smtrat::parser::at_most_k (size_t k, const std::vector< FormulaT > &set)

Macro Definition Documentation

BOOST_SPIRIT_USE_PHOENIX_V3

#define BOOST_SPIRIT_USE_PHOENIX_V3

Definition at line 6 of file BooleanEncoding.cpp.