Enum SelectionGoal 

pub enum SelectionGoal {
    FastBaseline,
    StrongerOptimization,
    GeneralModeling,
    LogicalCounterexample,
}

What the use case values most.

Variants

FastBaseline

Prefer a portable, low-latency baseline.

StrongerOptimization

Prefer stronger optimization if available, while keeping a baseline as fallback.

GeneralModeling

Prefer a general modeler over a domain-shaped Suggestor.

LogicalCounterexample

This is not optimization; route toward SMT/SAT counterexample search.

Trait Implementations

impl Clone for SelectionGoal

fn clone(&self) -> SelectionGoal

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for SelectionGoal

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

Formats the value using the given formatter.

impl PartialEq for SelectionGoal

fn eq(&self, other: &SelectionGoal) -> 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 SelectionGoal

impl Eq for SelectionGoal

impl StructuralPartialEq for SelectionGoal