Lines Matching refs:DownwardsCursor
56 struct DownwardsCursor {
68 DownwardsCursor(int current_idx, RegisterDemand initial_clause_demand)
112 DownwardsCursor downwards_init(int current_idx, bool improved_rar, bool may_form_clauses);
113 MoveResult downwards_move(DownwardsCursor&, bool clause);
114 void downwards_skip(DownwardsCursor&);
159 DownwardsCursor::verify_invariants(const RegisterDemand* register_demand)
179 DownwardsCursor
199 DownwardsCursor cursor(current_idx, register_demand[current_idx]);
208 MoveState::downwards_move(DownwardsCursor& cursor, bool add_to_clause)
282 MoveState::downwards_skip(DownwardsCursor& cursor)
661 DownwardsCursor cursor = ctx.mv.downwards_init(idx, false, false);
804 DownwardsCursor cursor = ctx.mv.downwards_init(idx, true, true);
967 DownwardsCursor cursor = ctx.mv.downwards_init(idx, true, false);