Struct ExactConfig 

pub struct ExactConfig {
    pub time_limit_ms: u64,
    pub gap_tolerance: f64,
    pub max_items: usize,
    pub grid_step: f64,
    pub rotation_steps: usize,
    pub use_symmetry_breaking: bool,
    pub use_cuts: bool,
    pub verbosity: u32,
    pub seed: Option<u64>,
}

Configuration for exact (MILP-based) solvers.

Fields

time_limit_ms: u64

Maximum computation time in milliseconds.

gap_tolerance: f64

Relative MIP gap tolerance (0.0 = optimal, 0.01 = 1% gap allowed).

max_items: usize

Maximum number of items for exact solving (fallback to heuristic if exceeded).

grid_step: f64

Grid discretization step for position variables.

rotation_steps: usize

Number of discrete rotation angles to consider.

use_symmetry_breaking: bool

Whether to use symmetry breaking constraints.

use_cuts: bool

Whether to use valid inequalities (cuts).

verbosity: u32

Verbosity level (0 = silent, 1 = summary, 2+ = detailed).

seed: Option<u64>

Random seed for reproducibility.

Implementations

impl ExactConfig

pub fn new() -> Self

Create a new configuration with default values.

pub fn with_time_limit_ms(self, ms: u64) -> Self

Set time limit in milliseconds.

pub fn with_gap_tolerance(self, gap: f64) -> Self

Set MIP gap tolerance.

pub fn with_max_items(self, max: usize) -> Self

Set maximum number of items for exact solving.

pub fn with_grid_step(self, step: f64) -> Self

Set grid discretization step.

pub fn with_rotation_steps(self, steps: usize) -> Self

Set number of discrete rotation angles.

pub fn with_symmetry_breaking(self, enable: bool) -> Self

Enable or disable symmetry breaking constraints.

pub fn with_cuts(self, enable: bool) -> Self

Enable or disable valid inequalities (cuts).

pub fn with_verbosity(self, level: u32) -> Self

Set verbosity level.

pub fn with_seed(self, seed: u64) -> Self

Set random seed for reproducibility.

pub fn is_within_limit(&self, num_items: usize) -> bool

Check if the number of items is within the exact solving limit.

pub fn rotation_angles(&self) -> Vec<f64>

Get discrete rotation angles in radians.

Trait Implementations

impl Clone for ExactConfig

fn clone(&self) -> ExactConfig

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for ExactConfig

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

Formats the value using the given formatter.

impl Default for ExactConfig

fn default() -> Self

Returns the “default value” for a type.