Struct flag_algebra::tools::FlagSolver

pub struct FlagSolver<F: Flag> {
    pub optimal_value: Option<f64>,
    /* private fields */
}

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 + Flag> 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 + Flag> Debug for FlagSolver<F>

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

Formats the value using the given formatter.