package lp

  1. Overview
  2. Docs

Module Lp.VarSource

Module for LP variable. Typically, users don't need to use this module directly. See higher-level module for polynomials (Poly) instead.

Sourcetype attr =
  1. | Continuous of float * float
  2. | General of float * float
  3. | Binary
Sourcetype t = {
  1. name : string;
  2. attr : attr;
}
Sourceval validate_name : string -> bool
Sourceval compare_name : t -> t -> int
Sourceval collision : t -> t -> bool
Sourceval make : ?integer:bool -> ?lb:float -> ?ub:float -> string -> t
Sourceval make_binary : string -> t
Sourceval range : ?integer:bool -> ?lb:float -> ?ub:float -> string -> int -> t array
Sourceval to_string : t -> string
Sourceval to_bound : t -> float * float
Sourceval to_bound_string : ?short:bool -> t -> string option
Sourceval with_bound : float -> float -> t -> t
Sourceval to_binary : t -> t
Sourceval to_integer : t -> t
OCaml

Innovation. Community. Security.