Struct ConstraintHandler 

pub struct ConstraintHandler { /* private fields */ }

Constraint handler for automatic penalty generation

Implementations

impl ConstraintHandler

pub fn new() -> Self

Create new constraint handler

pub fn add_constraint(&mut self, constraint: Constraint)

Add constraint

pub fn add_equality( &mut self, name: String, expression: Expression, target: f64, ) -> Result<(), Box<dyn Error>>

Add equality constraint

pub fn add_inequality( &mut self, name: String, expression: Expression, bound: f64, less_than: bool, ) -> Result<(), Box<dyn Error>>

Add inequality constraint

pub fn add_one_hot( &mut self, name: String, variables: Vec<String>, ) -> Result<(), Box<dyn Error>>

Add one-hot constraint

pub fn add_cardinality( &mut self, name: String, variables: Vec<String>, k: usize, ) -> Result<(), Box<dyn Error>>

Add cardinality constraint

pub fn add_integer_encoding( &mut self, name: String, base_name: String, min: i32, max: i32, encoding_type: EncodingType, ) -> Result<Vec<String>, Box<dyn Error>>

Add integer encoding constraint

pub fn generate_penalty_terms( &self, penalty_weights: &HashMap<String, f64>, ) -> Result<Expression, Box<dyn Error>>

Generate penalty terms for all constraints

pub fn get_all_variables(&self) -> Vec<String>

Get all variables including slack

pub fn decode_integer( &self, variable_name: &str, assignment: &HashMap<String, bool>, ) -> Option<i32>

Decode integer value from bit assignment

pub fn analyze_constraints(&self) -> ConstraintAnalysis

Analyze constraint structure

Trait Implementations

impl Default for ConstraintHandler

fn default() -> Self

Returns the “default value” for a type.