package Snowflake

You can search for identifiers within the package.

in-package search v0.2.0

Snowflake
- Snowflake
  - MlbddExample
    
    AndL
    
    Argmax_UInt
    
    Argmax_UInt_Select
  - MlbddUInt
    
    P
  - MlbddUtils
    
    OOPS
    
    PSubst
  - Rbtf
    
    MSig
    
    MSigBPP
    
    MSigFRP
    
    Make
    
    BPP
    
    M
    
    FRP
    
    M
    
    M
    
    M0
    
    MakeBPP
    
    M
    
    M0
    
    MakeFRP
    
    M
    
    M0
    
    Sig
    
    BPP
    
    M
    
    FRP
    
    M
    
    M
    
    SigBPP
    
    M
    
    SigFRP
    
    M
  - Wap_exchange
  - Wap_exchange_utils
    
    OfStree
    
    ToS
    
    ToSTree
  - Wap_lightspeed
    
    ToS
  - Wap_lightweight

Legend:
Library
Module
Module type
Parameter
Class
Class type

type wap_solver = Wap_exchange.input -> Wap_exchange.output

val wap_of_system : 
  MLBDD.man ->
  int list ->
  MlbddUInt.puint list ->
  Wap_exchange.input

val default_wap_solver : wap_solver

val compute : 
  ?verbose:int ->
  ?wap_solver:wap_solver ->
  ?halt_bpp:(MLBDD.man -> MLBDD.t list -> 'res option) ->
  ?support_consistency:bool ->
  MLBDD.man ->
  int list ->
  MlbddUInt.puint list ->
  ((MLBDD.var * MLBDD.t) list, 'res option) result