Enum OptimisationStrategy 

pub enum OptimisationStrategy {
    LinearSatUnsat,
    LinearUnsatSat,
}

The type of search which is performed by the solver.

Variants

LinearSatUnsat

Linear SAT-UNSAT - Starts with a satisfiable solution and tightens the bound on the objective variable until an UNSAT result is reached. Can be seen as upper-bounding search.

LinearUnsatSat

Linear UNSAT-SAT - Starts with an unsatisfiable solution and tightens the bound on the objective variable until a SAT result is reached. Can be seen as lower-bounding search.

Trait Implementations

impl Clone for OptimisationStrategy

fn clone(&self) -> OptimisationStrategy

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for OptimisationStrategy

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

Formats the value using the given formatter.

impl Default for OptimisationStrategy

fn default() -> OptimisationStrategy

Returns the “default value” for a type.

impl ValueEnum for OptimisationStrategy

fn value_variants<'a>() -> &'a [OptimisationStrategy]

All possible argument values, in display order.

fn to_possible_value<'a>(&self) -> Option<PossibleValue>

The canonical argument value.

fn from_str(input: &str, ignore_case: bool) -> Result<Self, String>

Parse an argument into Self.

impl Copy for OptimisationStrategy