[−][src]Struct flag_algebra::Ineq
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,
[src]
N: Num + Neg<Output = N> + Clone,
F: Flag + Clone,
pub fn opposite(self) -> Self
[src]
If self is "f ≥ x
", returns "f ≤ x
".
pub fn equality(self) -> Self
[src]
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,
[src]
N: Num + Copy + Default + AddAssign + NumCast + ScalarOperand,
F: Flag + Clone,
impl<N, F> Ineq<N, F> where
N: Num + Copy + Default + AddAssign + SubAssign + ScalarOperand + NumCast,
F: Flag + Clone,
[src]
N: Num + Copy + Default + AddAssign + SubAssign + ScalarOperand + NumCast,
F: Flag + Clone,
pub fn multiply_by_qflag(&self, g: &QFlag<N, F>) -> Self
[src]
If self is "f
≥ x
", return the inequality "f*g ≥ x.g
".
pub fn multiply_by_all(self, outbasis: Basis<F>) -> Self
[src]
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
[src]
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>
[src]
fn clone(&self) -> Ineq<N, F>
[src]
fn clone_from(&mut self, source: &Self)
1.0.0[src]
Performs copy-assignment from source
. Read more
impl<N: Debug, F: Debug> Debug for Ineq<N, F>
[src]
Auto Trait Implementations
impl<N, F> Send for Ineq<N, F> where
F: Send,
N: Send,
F: Send,
N: Send,
impl<N, F> Unpin for Ineq<N, F> where
F: Unpin,
N: Unpin,
F: Unpin,
N: Unpin,
impl<N, F> Sync for Ineq<N, F> where
F: Sync,
N: Sync,
F: Sync,
N: Sync,
impl<N, F> UnwindSafe for Ineq<N, F> where
F: UnwindSafe,
N: RefUnwindSafe + UnwindSafe,
F: UnwindSafe,
N: RefUnwindSafe + UnwindSafe,
impl<N, F> RefUnwindSafe for Ineq<N, F> where
F: RefUnwindSafe,
N: RefUnwindSafe,
F: RefUnwindSafe,
N: RefUnwindSafe,
Blanket Implementations
impl<T> ToOwned for T where
T: Clone,
[src]
T: Clone,
type Owned = T
The resulting type after obtaining ownership.
fn to_owned(&self) -> T
[src]
fn clone_into(&self, target: &mut T)
[src]
impl<T> From<T> for T
[src]
impl<T, U> Into<U> for T where
U: From<T>,
[src]
U: From<T>,
impl<T, U> TryFrom<U> for T where
U: Into<T>,
[src]
U: Into<T>,
type Error = Infallible
The type returned in the event of a conversion error.
fn try_from(value: U) -> Result<T, <T as TryFrom<U>>::Error>
[src]
impl<T, U> TryInto<U> for T where
U: TryFrom<T>,
[src]
U: TryFrom<T>,
type Error = <U as TryFrom<T>>::Error
The type returned in the event of a conversion error.
fn try_into(self) -> Result<U, <U as TryFrom<T>>::Error>
[src]
impl<T> BorrowMut<T> for T where
T: ?Sized,
[src]
T: ?Sized,
fn borrow_mut(&mut self) -> &mut T
[src]
impl<T> Borrow<T> for T where
T: ?Sized,
[src]
T: ?Sized,
impl<T> Any for T where
T: 'static + ?Sized,
[src]
T: 'static + ?Sized,
impl<SS, SP> SupersetOf<SS> for SP where
SS: SubsetOf<SP>,
SS: SubsetOf<SP>,