FormulaEvaluationGraph.h File Reference

#include "FormulaEvaluation.h"

Include dependency graph for FormulaEvaluationGraph.h:

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

Go to the source code of this file.

Data Structures
struct	smtrat::covering_ng::formula::formula_ds::TRUE
struct	smtrat::covering_ng::formula::formula_ds::FALSE
struct	smtrat::covering_ng::formula::formula_ds::NOT
struct	smtrat::covering_ng::formula::formula_ds::AND
struct	smtrat::covering_ng::formula::formula_ds::OR
struct	smtrat::covering_ng::formula::formula_ds::IFF
struct	smtrat::covering_ng::formula::formula_ds::XOR
struct	smtrat::covering_ng::formula::formula_ds::BOOL
struct	smtrat::covering_ng::formula::formula_ds::CONSTRAINT
struct	smtrat::covering_ng::formula::formula_ds::Formula
struct	smtrat::covering_ng::formula::formula_ds::FormulaGraph
class	smtrat::covering_ng::formula::GraphEvaluation

Namespaces
	smtrat
	Class to create the formulas for axioms.
	smtrat::covering_ng
	smtrat::covering_ng::formula
	smtrat::covering_ng::formula::formula_ds

Typedefs
using	smtrat::covering_ng::formula::formula_ds::FormulaID = unsigned
using	smtrat::covering_ng::formula::formula_ds::FormulaDB = std::vector< Formula >
using	smtrat::covering_ng::formula::formula_ds::VariableToFormula = boost::container::flat_map< carl::Variable, std::vector< FormulaID > >