Struct Clip 

#[non_exhaustive]
pub struct Clip {
    pub pos: Vec<Vec<Q>>,
    pub neg: Vec<Vec<Q>>,
    pub on: Vec<Vec<Q>>,
    /* private fields */
}

The result of Polytope::clip: the vertex sets of the two closed pieces of a polytope cut by a hyperplane, in no particular order.

Fields (Non-exhaustive)

Non-exhaustive structs could have additional fields added in future. Therefore, non-exhaustive structs cannot be constructed in external crates using the traditional Struct { .. } syntax; cannot be matched against without a wildcard ..; and struct update syntax will not work.

pos: Vec<Vec<Q>>

Vertices of P ∩ {h ≥ 0}.

neg: Vec<Vec<Q>>

Vertices of P ∩ {h ≤ 0}.

on: Vec<Vec<Q>>

Vertices on the hyperplane h = 0 — the edge crossings and the original vertices with h = 0 — which belong to both pieces.

Implementations

impl Clip

pub fn pos_is_full_dimensional(&self) -> bool

Does P ∩ {h ≥ 0} have dimension n? One exact rank on the vertex set, no LP; exact for a bounded parent (see Polytope::is_full_dimensional_from_vertices).

pub fn neg_is_full_dimensional(&self) -> bool

Does P ∩ {h ≤ 0} have dimension n? As pos_is_full_dimensional.

pub fn pos_polytope( &self, parent: &Polytope, h: &HalfSpace, ) -> Result<Polytope, SymplexError>

The piece P ∩ {h ≥ 0} as a polytope (parent with h appended) whose vertex cache is already filled from the clip, so a following volume, vertices or clip does no enumeration. parent and h must be the polytope and half-space the clip was taken from; only their shapes can be checked here.

Errors

SymplexError::InvalidArgument if parent or h does not have the shape of the clip’s inputs (dimension, number of half-spaces, number of vertices).

pub fn neg_polytope( &self, parent: &Polytope, h: &HalfSpace, ) -> Result<Polytope, SymplexError>

The piece P ∩ {h ≤ 0} as a polytope (parent with the flipped half-space appended), with its vertex cache filled; otherwise as pos_polytope.

Errors

As pos_polytope.

Trait Implementations

impl Clone for Clip

fn clone(&self) -> Self

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for Clip

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

Formats the value using the given formatter.