Searched defs:getMonomial (Results 1 – 3 of 3) sorted by relevance
38 MonomType getMonomial(const DDType& dd) const { in getMonomial() function
24 bool ArithMSum::getMonomial(Node n, Node& c, Node& v) in getMonomial() function in CVC4::theory::ArithMSum35 bool ArithMSum::getMonomial(Node n, std::map<Node, Node>& msum) in getMonomial() function in CVC4::theory::ArithMSum