Struct DensePolyhedron

pub struct DensePolyhedron {
    pub A: DenseIntegerMatrix,
    pub b: Vec<i64>,
    pub columns: Vec<String>,
    pub integer_columns: Vec<String>,
}

Dense representation of a polyhedron defined by linear constraints.

Represents the constraint system Ax >= b where:

• A is the constraint matrix
• b is the right-hand side vector
• columns maps matrix columns to variable names

Fields

A: DenseIntegerMatrix

Constraint matrix A

b: Vec<i64>

Right-hand side vector b

columns: Vec<String>

Variable names corresponding to matrix columns

integer_columns: Vec<String>

Subset of columns that represent integer variables

Implementations

impl DensePolyhedron

pub fn to_vector(&self, from_assignments: &HashMap<String, i64>) -> Vec<i64>

Converts a variable assignment map to a vector ordered by the polyhedron’s columns.

Arguments

• from_assignments - Map of variable names to their assigned values

Returns

A vector where each position corresponds to a column in the polyhedron, with values from the assignment map or 0 if not assigned

pub fn assume(&self, values: &HashMap<String, i64>) -> DensePolyhedron

Creates a new polyhedron by fixing certain variables to specific values.

This operation eliminates the specified variables from the polyhedron by substituting their fixed values into the constraints and removing their columns.

Arguments

• values - Map of variable names to their fixed values

Returns

A new DensePolyhedron with the specified variables eliminated

pub fn evaluate(&self, assignments: &IndexMap<String, Bound>) -> Bound

Evaluates the polyhedron constraints against variable bounds.

Tests whether the lower and upper bounds of the given variables satisfy all constraints in the polyhedron.

Arguments

• assignments - Map of variable names to their bounds (min, max)

Returns

A bound where:

• .0 is 1 if lower bounds satisfy all constraints, 0 otherwise
• .1 is 1 if upper bounds satisfy all constraints, 0 otherwise

Trait Implementations

impl From<DensePolyhedron> for SparsePolyhedron

fn from(dense: DensePolyhedron) -> SparsePolyhedron

Converts to this type from the input type.

impl From<SparsePolyhedron> for DensePolyhedron

fn from(sparse: SparsePolyhedron) -> DensePolyhedron

Converts to this type from the input type.