Struct flag_algebra::Ineq

pub struct Ineq<N, F> {
    pub meta: IneqMeta<F>,
    pub data: Vec<IneqData<N>>,
}

A set of bounds on elements of a flag algebra.

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

Fields

meta: IneqMeta<F>

Common information about the set of inequalities.

data: Vec<IneqData<N>>

List of data of the inequalities in the set.

Methods

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

pub fn opposite(self) -> Self

If self is "f ≥ x", returns "f ≤ x".

pub fn equality(self) -> Self

If self is "f ≥ x", returns "f = x".

impl<N, F> Ineq<N, F> where     N: Num + Copy + Default + AddAssign + NumCast + ScalarOperand,     F: Flag + Clone,

pub fn untype(self) -> Self

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

impl<N, F> Ineq<N, F> where     N: Num + Copy + Default + AddAssign + SubAssign + ScalarOperand + NumCast,     F: Flag + Clone,

pub fn multiply_by_qflag(&self, g: &QFlag<N, F>) -> Self

If self is "f ≥ x", return the inequality "f*g ≥ x.g".

pub fn multiply_by_all(self, outbasis: Basis<F>) -> Self

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>) -> Self

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> 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> Debug for Ineq<N, F>

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

Formats the value using the given formatter.