Struct LoweringContext 

pub struct LoweringContext<'a> { /* private fields */ }

One solve’s immutable model metadata and lazy expression decompositions.

Original IDs, expressions, bounds and activity flags are retained. Native ordering, capability checks and generated entities belong to the adapter. Create a fresh preparation after model or parameter changes. Resident solver handles should retain their native state, not this borrowed view.

Implementations

impl<'a> LoweringContext<'a>

pub fn new(model: &'a Model) -> Result<Self, SolverError>

Validate the objective declaration and capture the current parameter values.

Errors

Returns a core error if neither an objective nor feasibility was declared.

pub fn variables(&self) -> &[Variable]

pub fn constraints(&self) -> &ModelConstraints<'a>

pub fn objective(&self) -> Option<&Objective>

pub fn kind(&self) -> ModelKind

pub fn sense(&self) -> ObjectiveSense

pub fn nonlinear_error( &self, expr: ExprId, location: impl Into<String>, ) -> SolverError

Explain an unsupported expression using original variable names.

pub fn require_linear( &self, expr: ExprId, location: impl FnOnce() -> String, ) -> Result<AffineTerms<'_>, SolverError>

Require an affine expression.

Errors

Returns a named nonlinear-expression error when extraction fails.

pub fn require_linear_once( &self, expr: ExprId, location: impl FnOnce() -> String, ) -> Result<LinearTerms<'_>, SolverError>

Require an affine expression for a one-use streaming consumer.

This bypasses reuse admission and returns the expression crate’s native borrowed/owned representation. Prefer Self::require_linear when the same root is likely to be requested again during this preparation.

Errors

Returns a lazily named nonlinear-expression error when extraction fails.

pub fn require_quadratic( &self, expr: ExprId, location: impl FnOnce() -> String, ) -> Result<Extracted<QuadraticTerms>, SolverError>

Require a polynomial of degree at most two.

Errors

Returns a named nonlinear-expression error when extraction fails.

pub fn require_polynomial( &self, expr: ExprId, location: impl FnOnce() -> String, ) -> Result<PolynomialTerms<'_>, SolverError>

Require a polynomial while retaining the direct-affine borrowed path. Non-direct nodes are traversed once as quadratics, avoiding a failed affine pass before quadratic/SOC handling.

Errors

Returns a lazily named nonlinear-expression error when extraction fails.

pub fn detected_soc(&self, row: &Constraint) -> Option<SocForm>

An optional alternative, never a replacement for the original row.

Methods from Deref<Target = PreparedExpressions>

pub fn arena(&self) -> &ExprArena

pub fn linear(&self, expr: ExprId) -> Option<AffineTerms<'_>>

Direct affine nodes retain their zero-copy path. Reused compound roots may be cached, including failed extractions, within this snapshot’s budget.

Panics

Panics for an expression outside this arena or a poisoned cache.

pub fn quadratic(&self, expr: ExprId) -> Option<Extracted<QuadraticTerms>>

Extract a quadratic polynomial, sharing terms only after observed reuse.

Panics

Panics for an expression outside this arena or a poisoned cache.

pub fn detected_soc( &self, variables: &[Variable], row: &Constraint, ) -> Option<SocForm>

Detect an optional cone representation using cached polynomial terms.

pub fn explicit_soc(&self, soc: &SocConstraint) -> Result<SocForm, SolverError>

Extract an explicit cone in one streaming pass over its affine members.

Errors

Returns a backend error for invalid affine cone members.

Methods from Deref<Target = ExprArena>

pub fn len(&self) -> usize

pub fn is_empty(&self) -> bool

pub fn get(&self, id: ExprId) -> &ExprNode

pub fn nodes(&self) -> &[ExprNode]

pub fn num_params(&self) -> usize

pub fn param_value(&self, p: ParamId) -> f64

Current value bound to parameter p.

Panics

Panics if p was not allocated by Self::new_param on this arena.

pub fn try_param_value(&self, p: ParamId) -> Option<f64>

Look up the value of p, returning None if p is out of range.

Trait Implementations

impl<'a> Debug for LoweringContext<'a>

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

Formats the value using the given formatter.

impl Deref for LoweringContext<'_>

type Target = PreparedExpressions

The resulting type after dereferencing.

fn deref(&self) -> &Self::Target

Dereferences the value.