Searched defs:improved_rar_ (Results 1 – 1 of 1) sorted by relevance
168 MoveState::downwards_init(int current_idx, bool improved_rar_, bool may_form_clauses) in downwards_init()307 MoveState::upwards_init(int source_idx, bool improved_rar_) in upwards_init()