package facile

You can search for identifiers within the package.

in-package search v0.2.0

package facile

facile
- Facile
  - Alldiff
  - Arith
  - Boolean
  - Conjunto
  - Cstr
  - Data
    
    Array
    
    Hashtbl
  - Domain
  - Easy
    
    Fd
  - Expr
  - FdArray
  - Gcc
  - Goals
    
    Array
    
    Conjunto
    
    GlArray
    
    GlList
    
    List
  - Interval
  - Invariant
    
    Array
    
    FD
    
    Fd
    
    SetFd
  - Opti
  - Reify
  - SetDomain
    
    S
  - Sorting
  - Stak
  - Var
    
    ATTR
    
    Attr
    
    BASICFD
    
    FD
    
    Fd
    
    SetAttr
    
    SetFd

Legend:
Library
Module
Module type
Parameter
Class
Class type

exception DontKnow

type priority

val immediate : priority

val normal : priority

val later : priority

type t

val id : t -> int

val name : t -> string

val priority : t -> priority

val fprint : out_channel -> t -> unit

val is_solved : t -> bool

val create : 
  ?name:string ->
  ?nb_wakings:int ->
  ?fprint:(out_channel -> unit) ->
  ?priority:priority ->
  ?init:(unit -> unit) ->
  ?check:(unit -> bool) ->
  ?not:(unit -> t) ->
  (int -> bool) ->
  (t -> unit) ->
  t

val post : t -> unit

val init : t -> unit

val one : t

val zero : t

val active_store : unit -> t list