smtrat::expression::simplifier Namespace Reference

Data Structures
struct	BaseSimplifier
struct	DuplicateSimplifier
struct	MergeSimplifier
struct	NegationSimplifier
struct	SimplifierChainCaller
struct	SimplifierChainCaller< 0 >
class	Simplifier
struct	SingletonSimplifier

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

Typedef Documentation

SimplifierChain

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

Definition at line 17 of file Simplifier.h.