package lp

  1. Overview
  2. Docs
Legend:
Library
Module
Module type
Parameter
Class
Class type
type attr =
  1. | Continuous of float * float
  2. | General of float * float
  3. | Binary
type t = {
  1. name : string;
  2. attr : attr;
}
val pattern : Str.regexp
val keywords : string list
val validate_name : string -> bool
val delim : Str.regexp
val compare_name : t -> t -> int
val collision : t -> t -> bool
val make : ?integer:bool -> ?lb:float -> ?ub:float -> string -> t
val make_binary : string -> t
val range : ?integer:bool -> ?lb:float -> ?ub:float -> string -> int -> t array
val to_string : t -> string
val to_bound : t -> float * float
val to_bound_string : ?short:bool -> t -> string option
val trans_bound : float -> float -> t -> t
val to_binary : t -> t
val to_integer : t -> t
OCaml

Innovation. Community. Security.