Struct flag_algebra::sdp::Selector
source · pub struct Selector {
pub ineqs: Vec<Vec<usize>>,
/* private fields */
}Expand description
An object that specify a subset of constraint of a flag problem.
Fields§
§ineqs: Vec<Vec<usize>>Implementations§
source§impl Selector
impl Selector
pub fn new<N, F>(prob: &Problem<N, F>) -> Selfwhere F: Flag,
pub fn variant_reduced<N, F>(self, problem: &Problem<N, F>) -> Selfwhere F: Flag,
pub fn cs_subspace_constraints( &self ) -> impl Iterator<Item = (usize, &CsMat<f64>)>
pub fn weight(&self) -> (usize, usize)
pub fn refine_with_certificate( &self, cert: &Certificate<f64>, protected: &[bool] ) -> Self
pub fn cs_dim(&self, (i, mode): (usize, CSMode)) -> usize
pub fn remove_cs(&self, (i, mode): (usize, CSMode)) -> Result<Self, ()>
pub fn cs_vec(&self) -> Vec<(usize, CSMode)>
pub fn restrict_cs( &self, (i, mode): (usize, CSMode), mat: CsMat<f64> ) -> Result<Self, ()>
Trait Implementations§
source§impl PartialEq<Selector> for Selector
impl PartialEq<Selector> for Selector
impl StructuralPartialEq for Selector
Auto Trait Implementations§
impl RefUnwindSafe for Selector
impl Send for Selector
impl Sync for Selector
impl Unpin for Selector
impl UnwindSafe for Selector
Blanket Implementations§
source§impl<T> BorrowMut<T> for Twhere
T: ?Sized,
impl<T> BorrowMut<T> for Twhere T: ?Sized,
source§fn borrow_mut(&mut self) -> &mut T
fn borrow_mut(&mut self) -> &mut T
Mutably borrows from an owned value. Read more
§impl<T> Pointable for T
impl<T> Pointable for T
§impl<SS, SP> SupersetOf<SS> for SPwhere
SS: SubsetOf<SP>,
impl<SS, SP> SupersetOf<SS> for SPwhere SS: SubsetOf<SP>,
§fn to_subset(&self) -> Option<SS>
fn to_subset(&self) -> Option<SS>
The inverse inclusion map: attempts to construct
self from the equivalent element of its
superset. Read more§fn is_in_subset(&self) -> bool
fn is_in_subset(&self) -> bool
Checks if
self is actually part of its subset T (and can be converted to it).§unsafe fn to_subset_unchecked(&self) -> SS
unsafe fn to_subset_unchecked(&self) -> SS
Use with care! Same as
self.to_subset but without any property checks. Always succeeds.§fn from_subset(element: &SS) -> SP
fn from_subset(element: &SS) -> SP
The inclusion map: converts
self to the equivalent element of its superset.