Struct Iis 

pub struct Iis {
    pub constraints: Vec<ConstraintId>,
    pub soc_constraints: Vec<SocConstraintId>,
    pub var_bounds: Vec<(VarId, VarBoundKind)>,
}

An irreducible infeasible subsystem (IIS).

A minimal set of constraints and variable bounds that together make the model infeasible. Removing any single member makes the remaining subsystem feasible.

Backends that can diagnose infeasibility return one via InfeasibilityDiagnosis::compute_iis. The members are keyed by the same ids the model assigns (ConstraintId, SocConstraintId, VarId), so Iis::report can name them against the Model.

Fields

constraints: Vec<ConstraintId>

Algebraic constraints in the IIS.

soc_constraints: Vec<SocConstraintId>

Second-order-cone constraints in the IIS.

var_bounds: Vec<(VarId, VarBoundKind)>

Variable bounds in the IIS, each (variable, which bound).

Implementations

impl Iis

pub fn is_empty(&self) -> bool

Whether the IIS carries no members.

pub fn len(&self) -> usize

The total number of members (constraints, SOC constraints, and variable bounds) in the IIS.

pub fn report<'a>(&'a self, model: &'a Model) -> IisReport<'a>

A human-readable, model-aware listing of this IIS.

It names every constraint and variable bound in the subsystem using the model’s own names. Render with ToString::to_string or by printing.

Trait Implementations

impl Clone for Iis

fn clone(&self) -> Iis

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for Iis

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

Formats the value using the given formatter.

impl Default for Iis

fn default() -> Iis

Returns the “default value” for a type.