returns nullptr if monom is not present, otherwise returns the pointer equivalent to 'monom'.
Definition at line 259 of file monomial-sets.hpp.
260 {
263 if (found)
265 else
266 return nullptr;
267 }
std::unordered_set< const int *, MonomialHashAndEqVarSize, MonomialHashAndEqVarSize > mHash
VALGRIND_MAKE_MEM_DEFINED & result(result)
References mHash, and result().