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