Module Facile.Goals

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 = 
| Restart
| Continue
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