Struct flag_algebra::FlagSolver

pub struct FlagSolver<F> {
    pub optimal_value: Option<f64>,
    // some fields omitted
}

A higher level object to try several selectors on a problem

Fields

optimal_value: Option<f64>

Implementations

impl<F> FlagSolver<F> where
    F: Flag, 

pub fn new<S: Into<String>>(pb: Problem<f64, F>, name: S) -> Self

Create a new instance that owns a problem

pub fn protect(self, i: usize) -> Self

Prevents inequality i to be ruled out

pub fn init(&mut self)

pub fn run(&mut self, select: Selector) -> Result<(), ()>

pub fn minimize_certificate(&mut self)

Try to minimize using the certificate

pub fn cs_elim(&mut self)

Try to remove each cauchy_schwarz to see if they are useful

pub fn thin_cs_elim(&mut self)

pub fn ineqs_elim(&mut self)

pub fn thin_ineqs_elim(&mut self)

pub fn print_report(&self) where
    F: Draw, 

pub fn minimize_once(&mut self) where
    F: Draw, 

pub fn minimize(&mut self) where
    F: Draw, 

pub fn minimize2(&mut self) where
    F: Draw, 

pub fn minimize3(&mut self) where
    F: Draw, 

Trait Implementations

impl<F: Clone> Clone for FlagSolver<F>

fn clone(&self) -> FlagSolver<F>

Returns a copy of the value.

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

Performs copy-assignment from source.

impl<F: Debug> Debug for FlagSolver<F>

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

Formats the value using the given formatter.