Struct flag_algebra::QFlag

pub struct QFlag<N, F> {
    pub basis: Basis<F>,
    pub data: Array1<N>,
    pub scale: u64,
    pub expr: Expr,
}

An element of a flag algebra.

Fields

basis: Basis<F>

Basis of the space where the element lives. This corresponds to the size and type of the flags.

data: Array1<N>

The vector of the element in the corresponding basis is (1/self.scale).self.data.

scale: u64

Scaling factor of the vector.

expr: Expr

Expression recording how the vector was computed.

Methods

impl<N, F> QFlag<N, F> where
    N: Copy + Num + Default + NumCast + AddAssign,
    F: Flag, 

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

Projection to a basis of larger flag.

pub fn untype(&self) -> Self

Unlabeling operator 〚.〛 to the flag algebra of completly unlabeled flags.

impl<N, F> QFlag<N, F>

pub fn with_expr(self, expr: Expr) -> Self

Return the same element with modified pretty-print expression

impl<N, F> QFlag<N, F> where
    N: Num + NumCast + Display,
    F: Flag, 

pub fn at_least(self, x: N) -> Ineq<N, F>

Return the inequality "self ≥ n".

pub fn at_most(self, n: N) -> Ineq<N, F> where
    N: Clone + Neg<Output = N>, 

Return the inequality "self ≤ n".

pub fn non_negative(self) -> Ineq<N, F> where
    N: Num, 

Return the inequality "self ≥ 0".

pub fn equal(self, n: N) -> Ineq<N, F> where
    N: Clone + Neg<Output = N>, 

Return the equality "self = n".

Trait Implementations

impl<N: Clone, F: Clone> Clone for QFlag<N, F>

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

Returns a copy of the value.

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

Performs copy-assignment from source.

impl<N, F> PartialEq<QFlag<N, F>> for QFlag<N, F> where
    N: Num + NumCast + Copy,
    F: Flag, 

fn eq(&self, other: &Self) -> bool

This method tests for self and other values to be equal, and is used by ==.

#[must_use] fn ne(&self, other: &Rhs) -> bool

This method tests for !=.

impl<N: Debug, F: Debug> Debug for QFlag<N, F>

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

Formats the value using the given formatter.

impl<'a, N, F> Sub<&'a QFlag<N, F>> for &'a QFlag<N, F> where
    N: Clone + Num + NumCast + ScalarOperand,
    F: Flag, 

type Output = QFlag<N, F>

The resulting type after applying the - operator.

fn sub(self, other: Self) -> Self::Output

Performs the - operation.

impl<N, F> Sub<QFlag<N, F>> for QFlag<N, F> where
    N: Clone + Num + NumCast + ScalarOperand,
    F: Flag, 

type Output = Self

The resulting type after applying the - operator.

fn sub(self, other: Self) -> Self::Output

Performs the - operation.

impl<'_, N, F> Add<&'_ QFlag<N, F>> for QFlag<N, F> where
    N: Clone + NumCast + Num + ScalarOperand,
    F: Flag, 

type Output = Self

The resulting type after applying the + operator.

fn add(self, other: &Self) -> Self::Output

Performs the + operation.

impl<N, F> Add<QFlag<N, F>> for QFlag<N, F> where
    N: Clone + Num + NumCast + ScalarOperand,
    F: Flag, 

type Output = Self

The resulting type after applying the + operator.

fn add(self, other: Self) -> Self::Output

Performs the + operation.

impl<S, N, F> Mul<S> for QFlag<N, F> where
    N: Num + ScalarOperand + NumCast + Display,
    F: Flag,
    S: ToPrimitive, 

type Output = Self

The resulting type after applying the * operator.

fn mul(self, rhs: S) -> Self::Output

Performs the * operation.

impl<'a, N, F> Mul<&'a QFlag<N, F>> for &'a QFlag<N, F> where
    N: Num + Copy + AddAssign + Default + NumCast,
    F: Flag, 

type Output = QFlag<N, F>

The resulting type after applying the * operator.

fn mul(self, other: Self) -> QFlag<N, F>

Performs the * operation.

impl<N, F> Mul<QFlag<N, F>> for QFlag<N, F> where
    N: Num + Copy + AddAssign + Default + NumCast,
    F: Flag, 

type Output = Self

The resulting type after applying the * operator.

fn mul(self, other: Self) -> Self

Performs the * operation.

impl<N, F> Neg for QFlag<N, F> where
    N: Clone + Neg<Output = N>, 

type Output = Self

The resulting type after applying the - operator.

fn neg(self) -> Self::Output

Performs the unary - operation.

impl<'a, N, F> Neg for &'a QFlag<N, F> where
    N: Clone + Neg<Output = N>, 

type Output = QFlag<N, F>

The resulting type after applying the - operator.

fn neg(self) -> Self::Output

Performs the unary - operation.