/usr/lib/ocaml/facile/fcl_gcc.mli is in libfacile-ocaml-dev 1.1.1-1build2.
This file is owned by root:root, with mode 0o644.
The actual contents of the file can be viewed below.
1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 | (***********************************************************************)
(* *)
(* FaCiLe *)
(* A Functional Constraint Library *)
(* *)
(* Nicolas Barnier, Pascal Brisset, LOG, CENA *)
(* *)
(* Copyright 2004 CENA. All rights reserved. This file is distributed *)
(* under the terms of the GNU Lesser General Public License. *)
(***********************************************************************)
(* $Id: fcl_gcc.mli,v 1.15 2004/07/23 16:37:34 barnier Exp $ *)
(** Global Cardinality Constraint *)
type level = Basic | Medium | High
val cstr : ?level:level -> Fcl_var.Fd.t array -> (Fcl_var.Fd.t * int) array -> Fcl_cstr.t
(** [cstr (?level:High) vars distribution] returns a constraint ensuring
that for each pair [(c,v)] of cardinal variable [c] and integer
value [v] in the list [distribution], [c] variables in the array
[vars] will be instantiated to [v], i.e. [card \{vi = v | vi in vars\} = c].
All values [v] in [distribution] must be different otherwise the exception
[Invalid_argument] is raised. Three levels of propagation are provided :
[Basic] is the quickest, [High] performs the highest amount of propagation.
[level] default value is [High].
The constraint posts the redundant constraint stating that the sum of the
cardinals is equal to the number of variables. This constraint is also
known as the "distribute" constraint.
Not reifiable. *)
|