Module Fcl_invariant.SetFd

module SetFd: FD 
with
   type fd = Fcl_var.SetFd.t
   and type elt = Fcl_var.SetFd.elt

Module for accessing set domain variables with BIRs.


type fd 

Type of a finite domain variable.

type elt 

Type of elements in the domain.

val min : fd -> elt Fcl_invariant.unsetable_t
val max : fd -> elt Fcl_invariant.unsetable_t
val size : fd -> int Fcl_invariant.unsetable_t
val is_var : fd -> bool Fcl_invariant.unsetable_t

BIR variants of Fd.Var access functions.

val unary : ?name:string ->
(fd -> 'a) ->
fd -> 'a Fcl_invariant.unsetable_t

unary ~name:"Invariant.XxxFd.unary" f v Wrapper of any access function over fd type.