Module model_transformer

Modules

model

transform_error

transformer_context

Structs

Constraint

Represents a constraint in the optimization model (lhs comparison rhs).

DomainVariable

Represents a variable in the domain of a model, tracking its type and usage.

Frame

Represents a single scope frame containing variable bindings. Used to implement variable scoping and shadowing.

Model

Represents a complete optimization model.

Objective

Represents an optimization objective (minimize/maximize an expression).

TransformerContext

Maintains the context for transforming a model, including variable scopes and domains.

Enums

Exp

Represents a mathematical expression in the optimization model.

TransformError

Represents errors that can occur during model transformation.

VariableKind

Represents different kinds of variables in the model.

Functions

transform_constraint

Transforms a pre-constraint into a constraint.

transform_constraint_with_iteration

Transforms a pre-constraint with iteration into multiple constraints.

transform_model

Transforms a pre-model into a complete optimization model.

transform_objective

Transforms a pre-objective into an objective.

transform_parsed_problem

Transforms a parsed problem into a complete optimization model.

Type Aliases

PrimitiveSet

Represents a set of primitive values.