pub struct OptimizationModel {
pub name: String,
/* private fields */
}Expand description
Optimization model builder
Fields§
§name: StringModel name
Implementations§
Source§impl OptimizationModel
impl OptimizationModel
Sourcepub fn add_metadata(&mut self, key: impl Into<String>, value: impl Into<String>)
pub fn add_metadata(&mut self, key: impl Into<String>, value: impl Into<String>)
Add metadata to the model
Sourcepub fn add_binary(&mut self, name: impl Into<String>) -> DslResult<Variable>
pub fn add_binary(&mut self, name: impl Into<String>) -> DslResult<Variable>
Add a binary variable
Sourcepub fn add_binary_vector(
&mut self,
name: impl Into<String>,
size: usize,
) -> DslResult<VariableVector>
pub fn add_binary_vector( &mut self, name: impl Into<String>, size: usize, ) -> DslResult<VariableVector>
Add a binary variable vector
Sourcepub fn add_integer(
&mut self,
name: impl Into<String>,
min: i32,
max: i32,
) -> DslResult<Variable>
pub fn add_integer( &mut self, name: impl Into<String>, min: i32, max: i32, ) -> DslResult<Variable>
Add an integer variable
Sourcepub fn add_constraint(
&mut self,
constraint: impl Into<Constraint>,
) -> DslResult<()>
pub fn add_constraint( &mut self, constraint: impl Into<Constraint>, ) -> DslResult<()>
Add a constraint to the model
Sourcepub fn minimize(&mut self, expression: impl Into<Expression>) -> DslResult<()>
pub fn minimize(&mut self, expression: impl Into<Expression>) -> DslResult<()>
Add an objective function (minimize)
Sourcepub fn maximize(&mut self, expression: impl Into<Expression>) -> DslResult<()>
pub fn maximize(&mut self, expression: impl Into<Expression>) -> DslResult<()>
Add an objective function (maximize)
Sourcepub fn compile_to_qubo(&self) -> DslResult<QuboModel>
pub fn compile_to_qubo(&self) -> DslResult<QuboModel>
Compile the model to QUBO formulation
Sourcepub fn compile_to_ising(&self) -> DslResult<IsingModel>
pub fn compile_to_ising(&self) -> DslResult<IsingModel>
Compile the model to Ising formulation
Sourcepub fn summary(&self) -> ModelSummary
pub fn summary(&self) -> ModelSummary
Get model summary
Auto Trait Implementations§
impl Freeze for OptimizationModel
impl RefUnwindSafe for OptimizationModel
impl Send for OptimizationModel
impl Sync for OptimizationModel
impl Unpin for OptimizationModel
impl UnwindSafe for OptimizationModel
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
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<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.