Module model

Structs

Constraint

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

Model

Represents a complete optimization model.

Objective

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

Enums

Exp

Represents a mathematical expression in the optimization model.

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.