Enum GeometricSet 

pub enum GeometricSet {
    Box {
        lower: Vec<f32>,
        upper: Vec<f32>,
    },
    Ball {
        center: Vec<f32>,
        radius: f32,
    },
    Ellipsoid {
        center: Vec<f32>,
        shape_inv: Vec<f32>,
    },
    Polytope {
        a_matrix: Vec<f32>,
        b_vector: Vec<f32>,
        num_constraints: usize,
        dimension: usize,
    },
    LInfBall {
        center: Vec<f32>,
        radius: f32,
    },
    Simplex {
        dimension: usize,
    },
}

Geometric set types for membership constraints

Variants

Box

Axis-aligned box: l <= x <= u

Fields

lower: Vec<f32>

upper: Vec<f32>

Ball

Euclidean ball: ||x - center||₂ <= radius

Fields

center: Vec<f32>

radius: f32

Ellipsoid

Ellipsoid: (x-c)ᵀ P (x-c) <= 1

Fields

center: Vec<f32>

shape_inv: Vec<f32>

Inverse covariance matrix (flattened)

Polytope

Polytope: Ax <= b

Fields

a_matrix: Vec<f32>

Constraint matrix A (row-major)

b_vector: Vec<f32>

Right-hand side b

num_constraints: usize

Number of rows in A

dimension: usize

Number of columns in A (dimension)

LInfBall

L-infinity ball: ||x - center||_∞ <= radius

Fields

center: Vec<f32>

radius: f32

Simplex

Simplex: x_i >= 0, Σx_i <= 1

Fields

dimension: usize

Implementations

impl GeometricSet

pub fn box_constraint(lower: Vec<f32>, upper: Vec<f32>) -> Self

Create a box constraint

pub fn ball(center: Vec<f32>, radius: f32) -> Self

Create a ball constraint

pub fn ellipsoid(center: Vec<f32>, shape_inv: Vec<f32>) -> Self

Create an ellipsoid constraint

pub fn polytope( a_matrix: Vec<f32>, b_vector: Vec<f32>, num_constraints: usize, dimension: usize, ) -> Self

Create a polytope constraint Ax <= b

pub fn l_inf_ball(center: Vec<f32>, radius: f32) -> Self

Create an L-infinity ball

pub fn simplex(dimension: usize) -> Self

Create a simplex constraint

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

Check if a point is in the set

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

Compute distance to the set (0 if inside)

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

Project a point onto the set

Trait Implementations

impl Clone for GeometricSet

fn clone(&self) -> GeometricSet

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for GeometricSet

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

Formats the value using the given formatter.

impl<'de> Deserialize<'de> for GeometricSet

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

where __D: Deserializer<'de>,

Deserialize this value from the given Serde deserializer.

impl Serialize for GeometricSet

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

where __S: Serializer,

Serialize this value into the given Serde serializer.