Enum SearchCost 

pub enum SearchCost {
    Decided {
        sat: bool,
        nodes: usize,
    },
    Exceeded {
        budget: usize,
    },
}

The measured cost of a branch search: either it decided within the node budget, or the search blew past it (the exponential explosion, captured rather than hung).

Variants

Decided

Fields

sat: bool

nodes: usize

Exceeded

Fields

budget: usize

Trait Implementations

impl Clone for SearchCost

fn clone(&self) -> SearchCost

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Copy for SearchCost

impl Debug for SearchCost

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

Formats the value using the given formatter.

impl Eq for SearchCost

impl PartialEq for SearchCost

fn eq(&self, other: &SearchCost) -> bool

Equality operator ==.

fn ne(&self, other: &Rhs) -> bool

Inequality operator !=.

impl StructuralPartialEq for SearchCost