[−][src]Struct flag_algebra::sdp::Problem

pub struct Problem<N, F> {
    pub ineqs: Vec<Ineq<N, F>>,
    pub cs: Vec<MulAndUnlabeling<F>>,
    pub obj: QFlag<N, F>,
}

An optimization problem expressed in flags algebra.

Fields

ineqs: Vec<Ineq<N, F>>

Set of contraint inequalities.

cs: Vec<MulAndUnlabeling<F>>

Set of Cauchy-Schwarz inequlities to be used.

obj: QFlag<N, F>

Vector to be optimized.

Methods

impl<N, F> Problem<N, F> where
    N: Display + Zero + Copy + PartialEq,
    F: Flag, 
[src]

pub fn check(&self)
[src]

Panic if the size of the basis involved are inconsistent.

pub fn write_sdpa(&self, filename: &str) -> Result<()>
[src]

Write the semi-definite program in the file filename in the sdpa format.

Trait Implementations

impl<N: Debug, F: Debug> Debug for Problem<N, F>
[src]

Auto Trait Implementations

impl<N, F> Send for Problem<N, F> where
    F: Send,
    N: Send, 

impl<N, F> Sync for Problem<N, F> where
    F: Sync,
    N: Sync, 

Blanket Implementations

impl<T, U> Into for T where
    U: From<T>, 
[src]

impl<T> From for T
[src]

impl<T, U> TryFrom for T where
    T: From<U>, 
[src]

type Error = !

🔬 This is a nightly-only experimental API. (try_from)

The type returned in the event of a conversion error.

impl<T> Borrow for T where
    T: ?Sized, 
[src]

impl<T> Any for T where
    T: 'static + ?Sized, 
[src]

impl<T, U> TryInto for T where
    U: TryFrom<T>, 
[src]

type Error = <U as TryFrom<T>>::Error

🔬 This is a nightly-only experimental API. (try_from)

The type returned in the event of a conversion error.

impl<T> BorrowMut for T where
    T: ?Sized, 
[src]

impl<SS, SP> SupersetOf for SP where
    SS: SubsetOf<SP>,