sig
type t
type attr
type domain
type elt
type event
val create :
?name:string -> Facile.Var.BASICFD.domain -> Facile.Var.BASICFD.t
val interval :
?name:string ->
Facile.Var.BASICFD.elt -> Facile.Var.BASICFD.elt -> Facile.Var.BASICFD.t
val array :
?name:string ->
int ->
Facile.Var.BASICFD.elt ->
Facile.Var.BASICFD.elt -> Facile.Var.BASICFD.t array
val elt : Facile.Var.BASICFD.elt -> Facile.Var.BASICFD.t
val is_var : Facile.Var.BASICFD.t -> bool
val is_bound : Facile.Var.BASICFD.t -> bool
val value :
Facile.Var.BASICFD.t ->
(Facile.Var.BASICFD.attr, Facile.Var.BASICFD.elt) Facile.Var.concrete
val min : Facile.Var.BASICFD.t -> Facile.Var.BASICFD.elt
val max : Facile.Var.BASICFD.t -> Facile.Var.BASICFD.elt
val min_max :
Facile.Var.BASICFD.t -> Facile.Var.BASICFD.elt * Facile.Var.BASICFD.elt
val elt_value : Facile.Var.BASICFD.t -> Facile.Var.BASICFD.elt
val int_value : Facile.Var.BASICFD.t -> Facile.Var.BASICFD.elt
val size : Facile.Var.BASICFD.t -> int
val member : Facile.Var.BASICFD.t -> Facile.Var.BASICFD.elt -> bool
val id : Facile.Var.BASICFD.t -> int
val name : Facile.Var.BASICFD.t -> string
val compare : Facile.Var.BASICFD.t -> Facile.Var.BASICFD.t -> int
val equal : Facile.Var.BASICFD.t -> Facile.Var.BASICFD.t -> bool
val fprint : Pervasives.out_channel -> Facile.Var.BASICFD.t -> unit
val fprint_array :
Pervasives.out_channel -> Facile.Var.BASICFD.t array -> unit
val unify : Facile.Var.BASICFD.t -> Facile.Var.BASICFD.elt -> unit
val refine : Facile.Var.BASICFD.t -> Facile.Var.BASICFD.domain -> unit
val refine_low : Facile.Var.BASICFD.t -> Facile.Var.BASICFD.elt -> unit
val refine_up : Facile.Var.BASICFD.t -> Facile.Var.BASICFD.elt -> unit
val refine_low_up :
Facile.Var.BASICFD.t ->
Facile.Var.BASICFD.elt -> Facile.Var.BASICFD.elt -> unit
val on_refine : Facile.Var.BASICFD.event
val on_subst : Facile.Var.BASICFD.event
val on_min : Facile.Var.BASICFD.event
val on_max : Facile.Var.BASICFD.event
val delay :
Facile.Var.BASICFD.event list ->
Facile.Var.BASICFD.t -> ?waking_id:int -> Facile.Cstr.t -> unit
val int : Facile.Var.BASICFD.elt -> Facile.Var.BASICFD.t
val subst : Facile.Var.BASICFD.t -> Facile.Var.BASICFD.elt -> unit
val unify_cstr :
Facile.Var.BASICFD.t -> Facile.Var.BASICFD.elt -> Facile.Cstr.t
end