Home
last modified time | relevance | path

Searched refs:selectLargest (Results 1 – 6 of 6) sorted by relevance

/dports/math/cvc3/cvc3-2.4.1/src/include/
H A Dtheory_arith3.h125 void selectLargest(const std::vector<Expr>& v1, std::vector<Expr>& v2);
H A Dtheory_arith_new.h128 void selectLargest(const std::vector<Expr>& v1, std::vector<Expr>& v2);
H A Dtheory_arith_old.h147 void selectLargest(const std::vector<Expr>& v1, std::vector<Expr>& v2);
/dports/math/cvc3/cvc3-2.4.1/src/theory_arith/
H A Dtheory_arith3.cpp1671 d_graph.selectLargest(vars, largest); in pickMonomial()
1780 void TheoryArith3::VarOrderGraph::selectLargest(const vector<Expr>& v1, in selectLargest() function in TheoryArith3::VarOrderGraph
H A Dtheory_arith_old.cpp2046 d_graph.selectLargest(vars, largest); in pickMonomial()
2198 void TheoryArithOld::VarOrderGraph::selectLargest(const vector<Expr>& v1, in selectLargest() function in TheoryArithOld::VarOrderGraph
H A Dtheory_arith_new.cpp1026 void TheoryArithNew::VarOrderGraph::selectLargest(const vector<Expr>& v1, in selectLargest() function in TheoryArithNew::VarOrderGraph