Struct ConflictHistory 

pub struct ConflictHistory { /* private fields */ }

Dynamic conflict-history state threaded through backtracking search.

Implementations

impl ConflictHistory

pub fn new(num_constraints: usize, enabled: bool) -> Self

Create history for num_constraints. enabled gates the ERWA update; when disabled the weights are the frozen 1.0 vector the pre-CHS code used, so Ordering::Mrv stays bit-for-bit the frozen-weight scan.

pub fn from_seed(seed: &[f64], enabled: bool) -> Self

Create history seeded from an existing weight vector (e.g. the constraint_weights built by finalize()). Behaves like new when the seed is the conventional all-1.0 vector.

pub fn weights(&self) -> &[f64]

Current weight vector, consumed by the ordering heuristic.

pub fn conflicts(&self) -> u64

Total conflicts recorded so far (used by the restart driver).

pub fn bump(&mut self, ci: usize)

Register a conflict caused by constraint ci and apply the ERWA update. A no-op when disabled.

Trait Implementations

impl Clone for ConflictHistory

fn clone(&self) -> ConflictHistory

Returns a duplicate of the value.

fn clone_from(&mut self, source: &Self)

Performs copy-assignment from source.

impl Debug for ConflictHistory

fn fmt(&self, f: &mut Formatter<'_>) -> Result

Formats the value using the given formatter.