Searched refs:getVerticesTopological (Results 1 – 2 of 2) sorted by relevance
152 void getVerticesTopological(std::vector<Expr>& output_list);
2152 void TheoryArithOld::VarOrderGraph::getVerticesTopological(vector<Expr>& output_list) in getVerticesTopological() function in TheoryArithOld::VarOrderGraph5541 if (!diffLogicOnly) d_graph.getVerticesTopological(sorted_vars); in computeTermBounds()