pub struct CompiledModel { /* private fields */ }Expand description
A penalty-optimization view of a compiled QUBO/HOBO model: the set of
named constraints (as real, evaluable ConstraintExprs) plus the
variable name -> QUBO index mapping used to interpret sample bit vectors.
Implementations§
Source§impl CompiledModel
impl CompiledModel
pub fn new() -> Self
Sourcepub fn with_variables(variables: &[String]) -> Self
pub fn with_variables(variables: &[String]) -> Self
Build a model with an explicit variable ordering (name -> QUBO index).
Sourcepub fn add_constraint(
&mut self,
name: impl Into<String>,
constraint: ConstraintExpr,
)
pub fn add_constraint( &mut self, name: impl Into<String>, constraint: ConstraintExpr, )
Register a real constraint to be tracked/optimized.
Sourcepub fn set_variable_index(&mut self, name: impl Into<String>, index: usize)
pub fn set_variable_index(&mut self, name: impl Into<String>, index: usize)
Register (or overwrite) a variable’s QUBO index.
pub const fn get_constraints(&self) -> &HashMap<String, ConstraintExpr>
pub const fn get_variable_map(&self) -> &HashMap<String, usize>
pub fn to_qubo(&self) -> (Array2<f64>, HashMap<String, usize>)
Trait Implementations§
Source§impl Clone for CompiledModel
impl Clone for CompiledModel
Source§fn clone(&self) -> CompiledModel
fn clone(&self) -> CompiledModel
Returns a duplicate of the value. Read more
1.0.0 (const: unstable) · Source§fn clone_from(&mut self, source: &Self)
fn clone_from(&mut self, source: &Self)
Performs copy-assignment from
source. Read moreSource§impl Debug for CompiledModel
impl Debug for CompiledModel
Auto Trait Implementations§
impl Freeze for CompiledModel
impl RefUnwindSafe for CompiledModel
impl Send for CompiledModel
impl Sync for CompiledModel
impl Unpin for CompiledModel
impl UnsafeUnpin for CompiledModel
impl UnwindSafe for CompiledModel
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<ST, DT> CastableFrom<ST, Initialized, Initialized> for DT
impl<ST, DT> CastableFrom<ST, Uninit, Uninit> for DT
Source§impl<T> CloneToUninit for Twhere
T: Clone,
impl<T> CloneToUninit for Twhere
T: Clone,
Source§impl<T> Instrument for T
impl<T> Instrument for T
Source§fn instrument(self, span: Span) -> Instrumented<Self> ⓘ
fn instrument(self, span: Span) -> Instrumented<Self> ⓘ
Source§fn in_current_span(self) -> Instrumented<Self> ⓘ
fn in_current_span(self) -> Instrumented<Self> ⓘ
Source§impl<T> IntoEither for T
impl<T> IntoEither for T
Source§fn into_either(self, into_left: bool) -> Either<Self, Self> ⓘ
fn into_either(self, into_left: bool) -> Either<Self, Self> ⓘ
Converts
self into a Left variant of Either<Self, Self>
if into_left is true.
Converts self into a Right variant of Either<Self, Self>
otherwise. Read moreSource§fn into_either_with<F>(self, into_left: F) -> Either<Self, Self> ⓘ
fn into_either_with<F>(self, into_left: F) -> Either<Self, Self> ⓘ
Converts
self into a Left variant of Either<Self, Self>
if into_left(&self) returns true.
Converts self into a Right variant of Either<Self, Self>
otherwise. Read moreSource§impl<T> Pointable for T
impl<T> Pointable for T
Source§impl<T> PolicyExt for Twhere
T: ?Sized,
impl<T> PolicyExt for Twhere
T: ?Sized,
impl<T> Read<Exclusive, BecauseExclusive> for Twhere
T: ?Sized,
Source§impl<SS, SP> SupersetOf<SS> for SPwhere
SS: SubsetOf<SP>,
impl<SS, SP> SupersetOf<SS> for SPwhere
SS: SubsetOf<SP>,
Source§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 moreSource§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).Source§fn to_subset_unchecked(&self) -> SS
fn to_subset_unchecked(&self) -> SS
Use with care! Same as
self.to_subset but without any property checks. Always succeeds.Source§fn from_subset(element: &SS) -> SP
fn from_subset(element: &SS) -> SP
The inclusion map: converts
self to the equivalent element of its superset.