Lines Matching refs:decision_level
1272 if (solver->base_level == solver->decision_level && in idl_make_atom()
1334 assert(solver->decision_level == solver->base_level); in idl_add_axiom_edge()
1359 assert(solver->stack.top == solver->decision_level + 1); in idl_add_axiom_edge()
1418 assert(solver->stack.top == solver->decision_level + 1); in idl_add_edge()
1576 solver->decision_level ++; in idl_increase_decision_level()
1691 assert(solver->base_level <= back_level && back_level < solver->decision_level); in idl_backtrack()
1719 i = solver->decision_level; in idl_backtrack()
1729 solver->decision_level = back_level; in idl_backtrack()
1744 assert(solver->base_level == solver->decision_level); in idl_push()
1750 assert(solver->decision_level == solver->base_level); in idl_push()
1762 assert(solver->base_level > 0 && solver->base_level == solver->decision_level); in idl_pop()
1800 solver->decision_level = 0; in idl_reset()
2788 solver->decision_level = 0; in init_idl_solver()