Struct LinearSession 

pub struct LinearSession { /* private fields */ }

An incremental solve session for repeated solves of one linear problem whose constants change (see the module documentation).

Implementations

impl LinearSession

pub fn new( problem: &Problem, moving: &[usize], opts: SolveOptions, ) -> Option<Self>

Build a session for problem. moving are indices into problem.rules of the rules whose constants change from solve to solve (drag targets); their rows must be equalities. Returns None when the problem has a nonlinear component, an unsupported rule, a non-finite value, or required rules that already contradict each other — a full solve handles those.

pub fn is_broken(&self) -> bool

Whether the session can no longer be used (a constraint could not be re-added); build a new one.

pub fn resolve(&mut self, problem: &Problem) -> Option<Solution>

Solve problem, which must have the structure of the problem the session was built from (same variables, fixed flags, rules and targets; constants, coefficients and reference values may differ). Returns an accepted, independently verified solution, or None when a full solve is needed.

Trait Implementations

impl Debug for LinearSession

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

Formats the value using the given formatter.