module Goals: sig
.. end
type
t
val name : t -> string
val fprint : Pervasives.out_channel -> t -> unit
val atomic : ?name:string -> (unit -> unit) -> t
val create : ?name:string -> ('a -> t) -> 'a -> t
val create_rec : ?name:string -> (t -> t) -> t
val fail : t
val success : t
val (&&~) : t -> t -> t
val (||~) : t -> t -> t
val once : t -> t
val solve : ?control:(int -> unit) -> t -> bool
val lds : ?step:int -> t -> t
val unify : Facile.Var.Fd.t -> int -> t
val indomain : Facile.Var.Fd.t -> t
val instantiate : (Facile.Domain.t -> int) -> Facile.Var.Fd.t -> t
val dichotomic : Facile.Var.Fd.t -> t
val forto : int -> int -> (int -> t) -> t
val fordownto : int -> int -> (int -> t) -> t
module Array: sig
.. end
module GlArray: sig
.. end
module List: sig
.. end
module GlList: sig
.. end
type
bb_mode =
val minimize : ?step:int ->
?mode:bb_mode ->
t -> Facile.Var.Fd.t -> (int -> unit) -> t
val sigma : ?domain:Facile.Domain.t ->
(Facile.Var.Fd.t -> t) -> t
module Conjunto: sig
.. end