Searched refs:matrix_num (Results 1 – 16 of 16) sorted by relevance
/dports/math/py-cryptominisat/cryptominisat-5.8.0/src/ |
H A D | gausswatched.h | 36 row_n(r) , matrix_num(m) in GaussWatched() 40 uint32_t matrix_num; // watch matrix member 43 if (matrix_num < other.matrix_num) { 47 if (matrix_num > other.matrix_num) {
|
H A D | matrixfinder.h | 57 MatrixShape(uint32_t matrix_num) : 58 num(matrix_num)
|
H A D | propby.h | 77 PropBy(const uint32_t matrix_num, const uint32_t row_num): in PropBy() argument 78 data1(matrix_num) in PropBy()
|
H A D | gaussian.cpp | 269 if (i->matrix_num != matrix_no) { in clear_gwatches() 563 && ws_t[tmpi].matrix_num == matrix_no in delete_gausswatch() 1232 if (x.matrix_num == matrix_no && x.row_n == row_num) { in check_row_not_in_watch() 1250 << "(Mat num: " << x.matrix_num in print_gwatches() 1290 if (w.matrix_num == matrix_no && w.row_n == row) { in check_no_prop_or_unsat_rows() 1311 if (w.matrix_num == matrix_no) { in check_watchlist_sanity()
|
H A D | searcher.cpp | 3102 if (gqueuedata[i->matrix_num].engaus_disable) { in gauss_jordan_elim() 3107 gqueuedata[i->matrix_num].new_resp_var = std::numeric_limits<uint32_t>::max(); in gauss_jordan_elim() 3108 gqueuedata[i->matrix_num].new_resp_row = std::numeric_limits<uint32_t>::max(); in gauss_jordan_elim() 3109 gqueuedata[i->matrix_num].do_eliminate = false; in gauss_jordan_elim() 3110 gqueuedata[i->matrix_num].currLevel = currLevel; in gauss_jordan_elim() 3112 if (gmatrices[i->matrix_num]->find_truths( in gauss_jordan_elim() 3113 i, j, p.var(), i->row_n, gqueuedata[i->matrix_num]) in gauss_jordan_elim()
|
H A D | solver.cpp | 4000 if (k->matrix_num == i) { in init_all_matrices() 4001 k->matrix_num = j; in init_all_matrices()
|
/dports/math/cryptominisat/cryptominisat-5.8.0/src/ |
H A D | gausswatched.h | 36 row_n(r) , matrix_num(m) in GaussWatched() 40 uint32_t matrix_num; // watch matrix member 43 if (matrix_num < other.matrix_num) { 47 if (matrix_num > other.matrix_num) {
|
H A D | matrixfinder.h | 57 MatrixShape(uint32_t matrix_num) : in MatrixShape() 58 num(matrix_num) in MatrixShape()
|
H A D | propby.h | 77 PropBy(const uint32_t matrix_num, const uint32_t row_num): in PropBy() argument 78 data1(matrix_num) in PropBy()
|
H A D | gaussian.cpp | 269 if (i->matrix_num != matrix_no) { in clear_gwatches() 563 && ws_t[tmpi].matrix_num == matrix_no in delete_gausswatch() 1232 if (x.matrix_num == matrix_no && x.row_n == row_num) { in check_row_not_in_watch() 1250 << "(Mat num: " << x.matrix_num in print_gwatches() 1290 if (w.matrix_num == matrix_no && w.row_n == row) { in check_no_prop_or_unsat_rows() 1311 if (w.matrix_num == matrix_no) { in check_watchlist_sanity()
|
H A D | searcher.cpp | 3102 if (gqueuedata[i->matrix_num].engaus_disable) { in gauss_jordan_elim() 3107 gqueuedata[i->matrix_num].new_resp_var = std::numeric_limits<uint32_t>::max(); in gauss_jordan_elim() 3108 gqueuedata[i->matrix_num].new_resp_row = std::numeric_limits<uint32_t>::max(); in gauss_jordan_elim() 3109 gqueuedata[i->matrix_num].do_eliminate = false; in gauss_jordan_elim() 3110 gqueuedata[i->matrix_num].currLevel = currLevel; in gauss_jordan_elim() 3112 if (gmatrices[i->matrix_num]->find_truths( in gauss_jordan_elim() 3113 i, j, p.var(), i->row_n, gqueuedata[i->matrix_num]) in gauss_jordan_elim()
|
H A D | solver.cpp | 4000 if (k->matrix_num == i) { in init_all_matrices() 4001 k->matrix_num = j; in init_all_matrices()
|
/dports/emulators/mess/mame-mame0226/src/mame/includes/ |
H A D | model3.h | 358 void load_matrix(int matrix_num, MATRIX *out);
|
/dports/emulators/mame/mame-mame0226/src/mame/includes/ |
H A D | model3.h | 358 void load_matrix(int matrix_num, MATRIX *out);
|
/dports/emulators/mess/mame-mame0226/src/mame/video/ |
H A D | model3.cpp | 1823 void model3_state::load_matrix(int matrix_num, MATRIX *out) in load_matrix() argument 1825 float *matrix = (float *)get_memory_pointer(m_matrix_base_address + matrix_num * 12); in load_matrix()
|
/dports/emulators/mame/mame-mame0226/src/mame/video/ |
H A D | model3.cpp | 1823 void model3_state::load_matrix(int matrix_num, MATRIX *out) in load_matrix() argument 1825 float *matrix = (float *)get_memory_pointer(m_matrix_base_address + matrix_num * 12); in load_matrix()
|