smtrat::groebner Namespace Reference

Typedefs
typedef std::map< carl::Variable, std::pair< TermT, carl::BitVector > >	RewriteRules

Functions
template<typename Polynomial >
static Polynomial	rewritePolynomial (const Polynomial &inputPolynomial, const RewriteRules &rules)

Typedef Documentation

RewriteRules

typedef std::map<carl::Variable, std::pair<TermT, carl::BitVector> > smtrat::groebner::RewriteRules

Definition at line 16 of file RewriteRules.h.

Function Documentation

rewritePolynomial()

template<typename Polynomial >

static Polynomial smtrat::groebner::rewritePolynomial ( const Polynomial &  inputPolynomial, const RewriteRules &  rules  )

static

Definition at line 19 of file RewriteRules.h.

Here is the call graph for this function: