returns nullptr if monom is not present, otherwise returns the pointer equivalent to 'monom'.
Definition at line 211 of file monomial-sets.hpp.
212 {
215 if (found)
217 else
218 return nullptr;
219 }
std::unordered_set< const int *, MonomialHashAndEqFixedSize, MonomialHashAndEqFixedSize > mHash
VALGRIND_MAKE_MEM_DEFINED & result(result)
References mHash, and result().