Struct DynamicSubsumptionConfig 

pub struct DynamicSubsumptionConfig {
    pub enable_forward: bool,
    pub enable_backward: bool,
    pub enable_self_subsumption: bool,
    pub check_on_learn: bool,
    pub periodic_interval: u64,
    pub max_clause_size: usize,
    pub time_budget_us: u64,
}

Configuration for dynamic subsumption.

Fields

enable_forward: bool

Enable forward subsumption (new clause subsumes old).

enable_backward: bool

Enable backward subsumption (old clause subsumes new).

enable_self_subsumption: bool

Enable self-subsumption (clause strengthening).

check_on_learn: bool

Check subsumption on every learned clause.

periodic_interval: u64

Periodic subsumption check interval (conflicts).

max_clause_size: usize

Maximum clause size for subsumption checks (avoid quadratic blowup).

time_budget_us: u64

Time budget for subsumption per learned clause (microseconds).

Trait Implementations

impl Clone for SubsumptionConfig

fn clone(&self) -> SubsumptionConfig

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for SubsumptionConfig

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

Formats the value using the given formatter.

impl Default for SubsumptionConfig

fn default() -> Self

Returns the “default value” for a type.