Searched refs:branch_strategy (Results 1 – 14 of 14) sorted by relevance
184 switch(branch_strategy) { in add_lit_to_learnt()842 switch(branch_strategy) { in analyze_conflict()1180 switch(branch_strategy) { in print_order_heap()1351 if (branch_strategy == branch::maple in update_branch_params()1877 if (branch_strategy == branch::vsids) { in handle_conflict()2256 branch_strategy = branch::vsids; in set_branch_strategy()2365 branch_strategy = select[which].branch; in set_branch_strategy()2371 if (branch_strategy == branch::maple) { in set_branch_strategy()2881 switch (branch_strategy) { in pickBranchLit()3740 switch(branch_strategy) { in check_var_in_branch_strategy()[all …]
394 if (solver->branch_strategy == branch::vsids) { in deal_with_solution()402 if (solver->branch_strategy == branch::vsids) { in deal_with_solution()
439 branch_strategy == branch::maple && in enqueue()
461 insert_var_order(x, branch_strategy);
127 branch branch_strategy = branch::vsids; variable
673 sqlite3_bind_int(stmt, bindAt++, branch_type_to_int(solver->branch_strategy)); in restart()
461 insert_var_order(x, branch_strategy); in insert_var_order()
161 `branch_strategy` int NOT NULL,