Struct ParametricSimplexSolver 

pub struct ParametricSimplexSolver { /* private fields */ }

Parametric simplex solver.

Implementations

impl ParametricSimplexSolver

pub fn new(config: ParametricSimplexConfig, simplex: SimplexSolver) -> Self

Create a new parametric simplex solver.

The simplex argument is the base LP whose objective (or RHS) will be perturbed parametrically.

pub fn default_config() -> Self

Create with default configuration and an empty 0-variable LP.

pub fn set_simplex(&mut self, simplex: SimplexSolver)

Replace the base simplex solver.

pub fn set_parametric_coeff(&mut self, id: usize, coeff: BigRational)

Set parametric coefficient for a variable/constraint.

pub fn solve(&mut self) -> ParametricSimplexResult

Solve the parametric LP.

Sweeps λ from lambda_min to lambda_max, solving the LP at each candidate breakpoint. A breakpoint occurs whenever the parametric update changes an objective coefficient (Objective mode) or a RHS value (Rhs mode) enough to alter the optimal basis.

The algorithm:

1. Solve at λ = lambda_min, recording the initial breakpoint.
2. Advance λ to the next candidate (computed from dual feasibility).
3. Re-optimise and record if basis changed.
4. Repeat until lambda_max is reached or the breakpoint limit hit.

pub fn breakpoints(&self) -> &[Breakpoint]

Get breakpoints.

pub fn intervals(&self) -> &[ParametricInterval]

Get intervals.

pub fn evaluate(&self, lambda: &BigRational) -> Option<BigRational>

Evaluate optimal value at parameter λ.

pub fn stats(&self) -> &ParametricSimplexStats

Get statistics.

Trait Implementations

impl Debug for ParametricSimplexSolver

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

Formats the value using the given formatter.