Home
last modified time | relevance | path

Searched refs:matrix_num (Results 1 – 16 of 16) sorted by relevance

/dports/math/py-cryptominisat/cryptominisat-5.8.0/src/
H A Dgausswatched.h36 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 Dmatrixfinder.h57 MatrixShape(uint32_t matrix_num) :
58 num(matrix_num)
H A Dpropby.h77 PropBy(const uint32_t matrix_num, const uint32_t row_num): in PropBy() argument
78 data1(matrix_num) in PropBy()
H A Dgaussian.cpp269 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 Dsearcher.cpp3102 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 Dsolver.cpp4000 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 Dgausswatched.h36 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 Dmatrixfinder.h57 MatrixShape(uint32_t matrix_num) : in MatrixShape()
58 num(matrix_num) in MatrixShape()
H A Dpropby.h77 PropBy(const uint32_t matrix_num, const uint32_t row_num): in PropBy() argument
78 data1(matrix_num) in PropBy()
H A Dgaussian.cpp269 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 Dsearcher.cpp3102 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 Dsolver.cpp4000 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 Dmodel3.h358 void load_matrix(int matrix_num, MATRIX *out);
/dports/emulators/mame/mame-mame0226/src/mame/includes/
H A Dmodel3.h358 void load_matrix(int matrix_num, MATRIX *out);
/dports/emulators/mess/mame-mame0226/src/mame/video/
H A Dmodel3.cpp1823 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 Dmodel3.cpp1823 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()