Module Fcl_linear

module Fcl_linear: sig .. end

type operator =

val min_max_plus_inter : int -> int -> int -> int -> int * int

val min_max_minus_inter : int -> int -> int -> int -> int * int

val cstr : ?boolsum:int ->
       (int * Fcl_var.Fd.t) list -> operator -> int -> Fcl_cstr.t

val linear_aux : (int * Fcl_var.Fd.t) list -> int -> Fcl_var.Fd.t

val shift_cstr : Fcl_var.Fd.t -> Fcl_var.Fd.t -> int -> Fcl_cstr.t

shift_cstr y x d returns the constraint y = x+d

val get_boolsum_threshold : unit -> int

Returns the minimum size for boolean sums optimization.

val set_boolsum_threshold : int -> unit

Set the minimum size for boolean sums optimization. boolsum_threshold max_int disables it.