Struct RuleResult 

pub struct RuleResult {
    pub continue_search: bool,
    pub modified_bound: Option<f64>,
    pub reason: Reason,
    pub optimal: Option<bool>,
    pub leaf: Option<bool>,
}

What a rule decided for a node.

Fields

continue_search: bool

Whether the search goes on below the node.

modified_bound: Option<f64>

A new upper bound to record on the node, if any.

reason: Reason

Why the search stops, when it does.

optimal: Option<bool>

Mark the node as solved optimally.

leaf: Option<bool>

Turn the node into a leaf.

Implementations

impl RuleResult

pub fn continue_search() -> Self

Lets the search continue.

pub fn stop_search(reason: Reason) -> Self

Stops the search at the node.

pub fn stop_with_bound(bound: f64, reason: Reason) -> Self

Stops the search at the node and records bound as its upper bound.

pub fn optimal(self) -> Self

Also marks the node as solved optimally.

pub fn leaf(self) -> Self

Also turns the node into a leaf.

pub fn with_reason(self, reason: Reason) -> Self

Replaces the reason.

Trait Implementations

impl Clone for RuleResult

fn clone(&self) -> RuleResult

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for RuleResult

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

Formats the value using the given formatter.