Struct flag_algebra::Ineq

pub struct Ineq<N, F: Flag> { /* private fields */ }

A set of bounds on elements of a flag algebra.

This correpond to a set of inequalities constructed in a similar way.

Implementations

impl<N, F> Ineq<N, F>where N: Clone + Num, F: Flag,

pub fn opposite(self) -> Selfwhere N: Neg<Output = N>,

If self is “f ≥ x”, returns “f ≤ x”.

pub fn equality(self) -> Self

If self is “f ≥ x”, returns “f = x”.

pub fn relaxed(self, eps: N) -> Selfwhere N: SubAssign,

If self is “f ≥ x”, returns “f ≥ x - eps”.

pub fn lhs(&self, i: usize) -> QFlag<N, F>

Return the flag member of the ith inequality

pub fn check(&self)where N: Debug + Neg<Output = N> + Clone + FromPrimitive + ScalarOperand + Display,

impl<N, F> Ineq<N, F>where N: Num + Clone + Send + Sync + Default + FromPrimitive + AddAssign + Sum + MulAcc, F: Flag,

pub fn untype(&self) -> Self

If self is “f ≥ x”, return the projection “〚f〛 ≥ x”.

pub fn multiply_by_all(self, outbasis: Basis<F>) -> Selfwhere N: Neg<Output = N>,

If self is “f ≥ x”, return the set of inequalities “f*g ≥ x.g”, where g is chosen such that f*g is a vector of outbasis.

pub fn multiply_and_unlabel(self, outbasis: Basis<F>) -> Selfwhere N: Neg<Output = N>,

If self is “f ≥ x”, return the set of inequalities “〚f*g〛 ≥ x.〚g〛”, where g is chosen such that 〚f*g〛 is a vector of outbasis.

Trait Implementations

impl<N: Clone, F: Clone + Flag> Clone for Ineq<N, F>

fn clone(&self) -> Ineq<N, F>

Returns a copy of the value.

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

Performs copy-assignment from source.

impl<N: Debug, F: Debug + Flag> Debug for Ineq<N, F>

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

Formats the value using the given formatter.

impl<N, F: Flag> Display for Ineq<N, F>where N: Display,

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

Formats the value using the given formatter.