Searched refs:improved_rar_ (Results 1 – 1 of 1) sorted by relevance
121 void MoveState::downwards_init(int current_idx, bool improved_rar_, bool may_form_clauses) in downwards_init() argument123 improved_rar = improved_rar_; in downwards_init()226 void MoveState::upwards_init(int source_idx_, bool improved_rar_) in upwards_init() argument229 improved_rar = improved_rar_; in upwards_init()