Home
last modified time | relevance | path

Searched refs:conflict_trail_index (Results 1 – 3 of 3) sorted by relevance

/dports/math/py-or-tools/or-tools-9.2/ortools/sat/
H A Drestart.cc144 void RestartPolicy::OnConflict(int conflict_trail_index, in OnConflict() argument
154 trail_size_running_average_.Add(conflict_trail_index); in OnConflict()
164 conflict_trail_index > in OnConflict()
H A Drestart.h48 void OnConflict(int conflict_trail_index, int conflict_decision_level,
H A Dsat_solver.cc573 const int conflict_trail_index = trail_->Index(); in PropagateAndStopAfterOneConflictResolution() local
814 restart_->OnConflict(conflict_trail_index, conflict_decision_level, in PropagateAndStopAfterOneConflictResolution()