Struct Linearizer 

pub struct Linearizer { /* private fields */ }

Manages the linearization process for expressions and constraints.

Implementations

impl Linearizer

pub fn new() -> Self

Creates a new empty Linearizer.

pub fn new_from( constraints: Vec<Constraint>, domain: IndexMap<String, DomainVariable>, ) -> Self

Creates a Linearizer with initial constraints and domain.

Arguments

• constraints - Initial constraints to process
• domain - Variable domain information

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

Adds a constraint to be processed.

Arguments

• constraint - The constraint to add

pub fn constraints(&self) -> &VecDeque<Constraint>

Returns a reference to the current constraints.

pub fn pop_constraint(&mut self) -> Option<Constraint>

Removes and returns the next constraint to process.

pub fn declare_variable( &mut self, name: String, as_type: VariableType, ) -> Result<(), LinearizationError>

Declares a new variable in the domain.

Arguments

• name - Variable name
• as_type - Variable type

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

Returns names of all variables that are used in constraints.

pub fn linearize(model: Model) -> Result<LinearModel, LinearizationError>

Converts a model into linear form.

Arguments

• model - The model to linearize

Returns

• Ok(LinearModel) - The linearized model
• Err(LinearizationError) - If linearization fails

Trait Implementations

impl Default for Linearizer

fn default() -> Linearizer

Returns the “default value” for a type.