Simplifier.h File Reference

#include <tuple>
#include "DuplicateSimplifier.h"
#include "MergeSimplifier.h"
#include "SingletonSimplifier.h"

Include dependency graph for Simplifier.h:

Go to the source code of this file.

Data Structures
struct	smtrat::expression::simplifier::SimplifierChainCaller< chainID >
struct	smtrat::expression::simplifier::SimplifierChainCaller< 0 >
class	smtrat::expression::simplifier::Simplifier

Namespaces
	smtrat
	Class to create the formulas for axioms.
	smtrat::expression
	smtrat::expression::simplifier

Typedefs
typedef std::tuple< MergeSimplifier, DuplicateSimplifier, SingletonSimplifier >	smtrat::expression::simplifier::SimplifierChain