Legend:
Page
Library
Module
Module type
Parameter
Class
Class type
Source
Page
Library
Module
Module type
Parameter
Class
Class type
Source
Lp.Problem
SourceModule for the optimization problem (model).
Type for an optimization problem (model).
Make problem from an Objective.t
and a constraint (Cnstr.t
) list. String name
can be given optionally.
Take Objective.t
of the problem.
Get problem content as a pair of Objective.t
and constraint (Cnstr.t
) list.
Make list of variables with unique structure (name and attributes) in the problem.
Check whether a collision (a variable with same name but different attributes) exists in the problem.
Validate the problem. true
(false) means the problem is valid (invalid).