Searched refs:MoveState (Results 1 – 1 of 1) sorted by relevance
50 struct MoveState { struct89 MoveState mv;115 void MoveState::downwards_advance_helper() in downwards_advance_helper()121 void MoveState::downwards_init(int current_idx, bool improved_rar_, bool may_form_clauses) in downwards_init()150 MoveResult MoveState::downwards_move(bool clause) in downwards_move()208 void MoveState::downwards_skip() in downwards_skip()226 void MoveState::upwards_init(int source_idx_, bool improved_rar_) in upwards_init()242 bool MoveState::upwards_check_deps() in upwards_check_deps()252 void MoveState::upwards_set_insert_idx(int before) in upwards_set_insert_idx()258 MoveResult MoveState::upwards_move() in upwards_move()[all …]