Searched refs:init_parity (Results 1 – 7 of 7) sorted by relevance
58 void init_parity();64 xor_finder(solver& s) : s(s), m_max_xor_size(5) { init_parity(); } in xor_finder()
203 void xor_finder::init_parity() { in init_parity() function in sat::xor_finder
3621 static int init_parity(struct adapter *adap) in init_parity() function3727 ret = init_parity(adapter); in t3_prep_adapter()3792 ret = init_parity(adapter); in t3_replay_prep_adapter()