Struct BackboneFilter 

pub struct BackboneFilter { /* private fields */ }

Backbone filter for literal selection

Use backbone information to improve branching decisions

Implementations

impl BackboneFilter

pub fn new() -> Self

Create a new backbone filter

pub fn filter(&self, candidates: &[Lit]) -> Vec<Lit>

Filter literals based on backbone

Prioritize or deprioritize backbone literals based on configuration

pub fn detector(&self) -> &BackboneDetector

Get the backbone detector

pub fn detector_mut(&mut self) -> &mut BackboneDetector

Get mutable backbone detector

pub fn set_prefer_backbone(&mut self, prefer: bool)

Set whether to prefer backbone literals

Trait Implementations

impl Debug for BackboneFilter

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

Formats the value using the given formatter.

impl Default for BackboneFilter

fn default() -> Self

Returns the “default value” for a type.