17 #ifndef IDEAL_MINIMIZER_GUARD 18 #define IDEAL_MINIMIZER_GUARD 31 iterator
minimize(iterator begin, iterator end)
const;
bool dividesAny(iterator begin, iterator end, const Exponent *term)
bool dominatesAny(iterator begin, iterator end, const Exponent *term)
void colon(Word *res, const Word *resEnd, const Word *a, const Word *b)
iterator minimize(iterator begin, iterator end) const
Minimizer(size_t varCount)
vector< Exponent * >::const_iterator const_iterator
vector< Exponent * >::iterator iterator
bool isMinimallyGenerated(const_iterator begin, const_iterator end)
pair< iterator, bool > colonReminimize(iterator begin, iterator end, const Exponent *colon)