package facile

  1. Overview
  2. Docs
type t
val name : t -> string
val fprint : 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 : Var.Fd.t -> int -> t
val indomain : Var.Fd.t -> t
val instantiate : (Domain.t -> int) -> Var.Fd.t -> t
val dichotomic : 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 =
  1. | Restart
  2. | Continue
val minimize : ?step:int -> ?mode:bb_mode -> t -> Var.Fd.t -> (int -> unit) -> t
val sigma : ?domain:Domain.t -> (Var.Fd.t -> t) -> t
module Conjunto : sig ... end