mirrors/z3
3
0
Fork 0
mirror of https://github.com/Z3Prover/z3 synced 2025-04-15 13:28:47 +00:00
Code Activity

fix the build

Browse source 
Signed-off-by: Lev Nachmanson <levnach@hotmail.com>
This commit is contained in:
Lev Nachmanson 2018-07-30 09:56:39 -07:00
parent 2de27ae3af
commit 9cb713879e
1 changed files with 0 additions and 8 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

8
src/util/lp/lp_core_solver_base.h
View file

@ -648,14 +648,6 @@ public:
return true; return true;
} }
int find_pivot_index_in_row(unsigned i, const vector<column_cell> & col) const {
for (const auto & c: col) {
if (c.m_i == i)
return c.m_offset;
}
return -1;
}
void transpose_rows_tableau(unsigned i, unsigned ii); void transpose_rows_tableau(unsigned i, unsigned ii);
void pivot_to_reduced_costs_tableau(unsigned i, unsigned j); void pivot_to_reduced_costs_tableau(unsigned i, unsigned j);