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 Debug for SearchCost

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

Formats the value using the given formatter.

impl PartialEq for SearchCost

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

Tests for self and other values to be equal, and is used by ==.

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

Tests for !=. The default implementation is almost always sufficient, and should not be overridden without very good reason.

impl Copy for SearchCost

impl Eq for SearchCost

impl StructuralPartialEq for SearchCost