Struct HalfspaceIntersection 

pub struct HalfspaceIntersection { /* private fields */ }

Result of halfspace intersection computation

Implementations

impl HalfspaceIntersection

pub fn new( halfspaces: &[Halfspace], interior_point: Option<Array1<f64>>, ) -> SpatialResult<Self>

Compute the intersection of halfspaces

Arguments

• halfspaces - Vector of halfspaces to intersect
• interior_point - Optional interior point for unbounded regions

Returns

• HalfspaceIntersection result or error

Examples

let halfspaces = vec![
    Halfspace::new(array![-1.0, 0.0], 0.0),   // x ≥ 0
    Halfspace::new(array![0.0, -1.0], 0.0),   // y ≥ 0
    Halfspace::new(array![1.0, 1.0], 2.0),    // x + y ≤ 2
];

let intersection = HalfspaceIntersection::new(&halfspaces, None)?;

pub fn vertices(&self) -> &Array2<f64>

Get the vertices of the intersection polytope

pub fn faces(&self) -> &[Vec<usize>]

Get the faces of the intersection polytope

pub fn dim(&self) -> usize

Get the dimension of the space

pub fn is_bounded(&self) -> bool

Check if the polytope is bounded

pub fn num_vertices(&self) -> usize

Get the number of vertices

pub fn num_faces(&self) -> usize

Get the number of faces

pub fn is_feasible(&self) -> bool

Check if the intersection is feasible (non-empty)

pub fn halfspaces(&self) -> &[Halfspace]

Get the input halfspaces

pub fn volume(&self) -> SpatialResult<f64>

Compute the volume of the polytope (2D area, 3D volume)

Trait Implementations

impl Clone for HalfspaceIntersection

fn clone(&self) -> HalfspaceIntersection

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for HalfspaceIntersection

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

Formats the value using the given formatter.