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
  - Debug
  - Domain
  - Easy
    
    Fd
  - Expr
  - FdArray
  - Gcc
  - Goals
    
    Array
    
    Conjunto
    
    GlArray
    
    GlList
    
    List
  - Interval
  - Invariant
    
    Array
    
    FD
    
    Fd
    
    SetFd
  - Misc
    
    Operators
  - Opti
  - Reify
  - SetDomain
    
    S
  - Sorting
  - Stak
  - Var
    
    ATTR
    
    Attr
    
    BASICFD
    
    FD
    
    Fd
    
    SetAttr
    
    SetFd

Legend:
Library
Module
Module type
Parameter
Class
Class type

val i2e : int -> Arith.t

val fd2e : Var.Fd.t -> Arith.t

val (+~) : Arith.t -> Arith.t -> Arith.t

val (*~) : Arith.t -> Arith.t -> Arith.t

val (-~) : Arith.t -> Arith.t -> Arith.t

val (/~) : Arith.t -> Arith.t -> Arith.t

val (**~) : Arith.t -> int -> Arith.t

val (%~) : Arith.t -> Arith.t -> Arith.t

val (<=~) : Arith.t -> Arith.t -> Cstr.t

val (<~) : Arith.t -> Arith.t -> Cstr.t

val (>~) : Arith.t -> Arith.t -> Cstr.t

val (=~) : Arith.t -> Arith.t -> Cstr.t

val (<>~) : Arith.t -> Arith.t -> Cstr.t

val (>=~) : Arith.t -> Arith.t -> Cstr.t

val (<=~~) : Arith.t -> Arith.t -> Arith.t

val (<~~) : Arith.t -> Arith.t -> Arith.t

val (>~~) : Arith.t -> Arith.t -> Arith.t

val (=~~) : Arith.t -> Arith.t -> Arith.t

val (<>~~) : Arith.t -> Arith.t -> Arith.t

val (>=~~) : Arith.t -> Arith.t -> Arith.t

val (&&~~) : Cstr.t -> Cstr.t -> Cstr.t

val (||~~) : Cstr.t -> Cstr.t -> Cstr.t

val (=>~~) : Cstr.t -> Cstr.t -> Cstr.t

val (<=>~~) : Cstr.t -> Cstr.t -> Cstr.t

val (&&~) : Goals.t -> Goals.t -> Goals.t

val (||~) : Goals.t -> Goals.t -> Goals.t

module Fd : 
  Var.FD
    with type t = Var.Fd.t
     and type domain = Domain.t
     and type elt = Domain.elt
     and type attr = Var.Attr.t
     and type event = Var.Attr.event

type ('a, 'b) concrete' = ('a, 'b) Var.concrete =

| Unk of 'a
| Val of 'b

type concrete_fd = (Fd.attr, Fd.elt) concrete'