Searched refs:selectLargest (Results 1 – 6 of 6) sorted by relevance
125 void selectLargest(const std::vector<Expr>& v1, std::vector<Expr>& v2);
128 void selectLargest(const std::vector<Expr>& v1, std::vector<Expr>& v2);
147 void selectLargest(const std::vector<Expr>& v1, std::vector<Expr>& v2);
1671 d_graph.selectLargest(vars, largest); in pickMonomial()1780 void TheoryArith3::VarOrderGraph::selectLargest(const vector<Expr>& v1, in selectLargest() function in TheoryArith3::VarOrderGraph
2046 d_graph.selectLargest(vars, largest); in pickMonomial()2198 void TheoryArithOld::VarOrderGraph::selectLargest(const vector<Expr>& v1, in selectLargest() function in TheoryArithOld::VarOrderGraph
1026 void TheoryArithNew::VarOrderGraph::selectLargest(const vector<Expr>& v1, in selectLargest() function in TheoryArithNew::VarOrderGraph