This file is indexed.

/usr/lib/ocaml/facile/fcl_genesis.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
(***********************************************************************)
(*                                                                     *)
(*                           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_genesis.mli,v 1.4 2000/11/15 15:31:48 barnier Exp $ *)

(* Module [Genesis]: uniform random binary CSP generation *)

val urbcsp : int -> int -> int -> int -> (int * int * (int * int) list) list
  (* _Undocumented_
     [urbcsp nbvar sizedom cstrd tight] return the specifications of a
     uniform random binary CSP with [nbvar] variables whose domain size is
     [sizedom], with a constraindness of [cstrd]% (density of the constraint
     graph) and a tightness (density of each constraint) of [tight]%.
     The return value is a list of triples [(i, j, l)], [0<=i,j<nbvar] such
     that [l] is the list of nogoods (forbidden value couples) for variables
     [(vi,vj)]. *)