SMT-RAT  24.02
Toolbox for Strategic and Parallel Satisfiability-Modulo-Theories Solving
triangular_ordering.h
Go to the documentation of this file.
1 #pragma once
2 
3 #include <smtrat-common/smtrat-common.h>
4 
5 #include <vector>
6 
7 namespace smtrat::cad::variable_ordering {
8 
9 std::vector<carl::Variable> triangular_ordering(const std::vector<Poly>& polys);
10 
11 }
smtrat::cad::variable_ordering
Definition: triangular_ordering.cpp:6
smtrat::cad::variable_ordering::triangular_ordering
std::vector< carl::Variable > triangular_ordering(const std::vector< Poly > &polys)
Definition: triangular_ordering.cpp:41