Struct LinearConstraintSet 

pub struct LinearConstraintSet { /* private fields */ }

A set of linear constraints

Useful for representing polyhedral constraints (intersection of half-spaces).

Implementations

impl LinearConstraintSet

pub fn new(constraints: Vec<LinearConstraint>) -> Self

Create a new constraint set

pub fn check_all(&self, x: &[f32]) -> bool

Check if all constraints are satisfied

pub fn check_each(&self, x: &[f32]) -> Vec<bool>

Get individual check results for each constraint

pub fn total_violation(&self, x: &[f32]) -> f32

Compute total weighted violation

pub fn project(&self, x: &[f32], max_iters: usize) -> Vec<f32>

Project x onto feasible region using cyclic projection (Dykstra’s)

Iteratively projects onto each constraint. May not converge to true projection for non-convex feasible regions.

pub fn len(&self) -> usize

Get the number of constraints

pub fn is_empty(&self) -> bool

Check if the set is empty

pub fn add(&mut self, constraint: LinearConstraint)

Add a constraint to the set

pub fn constraints(&self) -> &[LinearConstraint]

Get constraints

Trait Implementations

impl Clone for LinearConstraintSet

fn clone(&self) -> LinearConstraintSet

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for LinearConstraintSet

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

Formats the value using the given formatter.

impl Default for LinearConstraintSet

fn default() -> Self

Returns the “default value” for a type.

impl<'de> Deserialize<'de> for LinearConstraintSet

fn deserialize<__D>(__deserializer: __D) -> Result<Self, __D::Error>

where __D: Deserializer<'de>,

Deserialize this value from the given Serde deserializer.

impl Serialize for LinearConstraintSet

fn serialize<__S>(&self, __serializer: __S) -> Result<__S::Ok, __S::Error>

where __S: Serializer,

Serialize this value into the given Serde serializer.