package facile

You can search for identifiers within the package.

in-package search v0.2.0

facile
- Library facile
  - Facile
    
    Debug
    
    Misc
    
    Operators
    
    Domain
    
    SetDomain
    
    S
    
    Stak
    
    Data
    
    Array
    
    Hashtbl
    
    Cstr
    
    Var
    
    ATTR
    
    Attr
    
    SetAttr
    
    BASICFD
    
    FD
    
    Fd
    
    SetFd
    
    Reify
    
    Alldiff
    
    Goals
    
    Array
    
    GlArray
    
    List
    
    GlList
    
    Conjunto
    
    Sorting
    
    Boolean
    
    Expr
    
    Arith
    
    Invariant
    
    Array
    
    FD
    
    Fd
    
    SetFd
    
    Interval
    
    FdArray
    
    Gcc
    
    Opti
    
    Conjunto
    
    Easy
    
    Fd
- Sources
  - facile
    
    facile.ml
    
    facile__.ml-gen
    
    fcl_alldiff.ml
    
    fcl_arith.ml
    
    fcl_boolean.ml
    
    fcl_conjunto.ml
    
    fcl_cstr.ml
    
    fcl_data.ml
    
    fcl_debug.ml
    
    fcl_domain.ml
    
    fcl_expr.ml
    
    fcl_fdArray.ml
    
    fcl_float.ml
    
    fcl_gcc.ml
    
    fcl_genesis.ml
    
    fcl_goals.ml
    
    fcl_interval.ml
    
    fcl_invariant.ml
    
    fcl_linear.ml
    
    fcl_misc.ml
    
    fcl_nonlinear.ml
    
    fcl_opti.ml
    
    fcl_reify.ml
    
    fcl_setDomain.ml
    
    fcl_sorting.ml
    
    fcl_stak.ml
    
    fcl_var.ml

Legend:
Page
Library
Module
Module type
Parameter
Class
Class type
Source

Module `Facile.Conjunto`Source

Sourceval subset : Var.SetFd.t -> Var.SetFd.t -> Cstr.t

Sourceval cardinal : Var.SetFd.t -> Var.Fd.t

Sourceval smallest : Var.SetFd.t -> Var.Fd.t

Sourceval union : Var.SetFd.t -> Var.SetFd.t -> Var.SetFd.t

Sourceval inter : Var.SetFd.t -> Var.SetFd.t -> Var.SetFd.t

Sourceval all_disjoint : Var.SetFd.t array -> Cstr.t

Sourceval disjoint : Var.SetFd.t -> Var.SetFd.t -> Cstr.t

Sourceval inside : int -> Var.SetFd.t -> unit

Sourceval outside : int -> Var.SetFd.t -> unit

Sourceval inf_min : Var.SetFd.t -> Var.SetFd.t -> Cstr.t

Sourceval order : Var.SetFd.t -> Var.SetFd.t -> Cstr.t

val order_with_card : 
  Var.SetFd.t ->
  Var.Fd.t ->
  Var.SetFd.t ->
  Var.Fd.t ->
  Cstr.t

Sourceval member : Var.SetFd.t -> SetDomain.elt list -> Cstr.t

Sourceval mem : Var.Fd.t -> Var.SetFd.t -> Cstr.t

Sourceval sum_weight : Var.SetFd.t -> (int * int) list -> Var.Fd.t

Sourceval atmost1 : Var.SetFd.t array -> int -> unit