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
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
|
(***********************************************************************)
(* *)
(* 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_reify.mli,v 1.20 2004/07/28 16:01:00 barnier Exp $ *)
(** Constraints Reification *)
(** All the reification functions and operators only work on
{b reifiable} constraints, i.e. constraints endowed with a [check] function
{b and} a [not] function (or built-in constraints for which the
documentation does not mention "Not reifiable"). Otherwise a [Failure]
(fatal error) exception is raised. *)
val boolean : ?delay_on_negation:bool -> Fcl_cstr.t -> Fcl_var.Fd.t
(** [boolean ~delay_on_negation:true c] returns a boolean (0..1)
variable associated to the constraint [c]. The constraint is
satisfied iff the boolean variable is instantiated to
1. Conversely, its negation is satisfied iff it is instantiated to
0. The waking conditions of the contraint relating [c] and the
boolean variable are the ones set by the [delay] function of [c] (set by the
[delay] argument of [Cstr.create]). If the optional argument
[delay_on_negation] is set to [true], the new constraint is also
attached to the events that awake the negation of [c] (i.e. the constraint
returned by the [not] function of [c]), otherwise it is not.
[delay_on_negation] default value is [true]. *)
val cstr : ?delay_on_negation:bool -> Fcl_cstr.t -> Fcl_var.Fd.t -> Fcl_cstr.t
(** [cstr ~delay_on_negation:true c b] is equivalent to the
constraint [boolean ?delay_on_negation c =~ b].
[delay_on_negation] default value is [true]. *)
(** {% \subsection{Operators} %} *)
val (&&~~) : Fcl_cstr.t -> Fcl_cstr.t -> Fcl_cstr.t
val (||~~) : Fcl_cstr.t -> Fcl_cstr.t -> Fcl_cstr.t
val (=>~~) : Fcl_cstr.t -> Fcl_cstr.t -> Fcl_cstr.t
val (<=>~~) : Fcl_cstr.t -> Fcl_cstr.t -> Fcl_cstr.t
val xor : Fcl_cstr.t -> Fcl_cstr.t -> Fcl_cstr.t
val not : Fcl_cstr.t -> Fcl_cstr.t
(** Logical reification operators on constraints, namely
and, or, implies, equivalent, exclusive or, not. *)
|
