package Snowflake

You can search for identifiers within the package.

in-package search v0.2.0

package Snowflake

Snowflake
- Snowflake
  - CoSTreD
    
    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
  - MlbddExample
    
    AndL
    
    Argmax_UInt
    
    Argmax_UInt_Select
  - MlbddUInt
    
    P
    
    ToCir
    
    ToS
  - MlbddUtils
    
    OOPS
    
    PSubst
    
    ToCir
    
    ToS
  - Wap_exchange
  - Wap_exchange_utils
    
    OfStree
    
    ToS
    
    ToSTree
    
    ToShiftS
  - Wap_lightspeed
  - Wap_lightweight

Legend:
Library
Module
Module type
Parameter
Class
Class type

val prefix : string

module ToS : sig ... end

module ToShiftS : sig ... end

module ToSTree : sig ... end

module OfStree : sig ... end

val check_input : Wap_exchange.input -> bool

val check_output_component : 
  int ->
  int ->
  Wap_exchange.output_component ->
  bool

val check_sequence_pred : ?i:int -> Wap_exchange.sequence -> bool

val check_output : Wap_exchange.output -> bool

val assert_input : Wap_exchange.input -> unit

val assert_sequence_pred : ?i:int -> Wap_exchange.sequence -> unit

val assert_output : Wap_exchange.output -> unit

val list_sort : 'a list -> 'a list

val normalize_input : Wap_exchange.input -> Wap_exchange.input

val operator_SO : 
  Wap_exchange.input ->
  int list ->
  Wap_exchange.output_component * Wap_exchange.input

val update_tree : ?vlen:int option -> Wap_exchange.output -> unit

val operator_SSO : 
  ?verbose:bool ->
  ?optimal:bool ->
  Wap_exchange.input ->
  int list list ->
  Wap_exchange.output

val to_GraphKD : 
  ?verbose:int ->
  ?check:bool ->
  Wap_exchange.input ->
  GuaCaml.GraphKD.graph

type graph_output_model =

| GOM_FT
| GOM_HFT
| GOM_CFT

val to_graphviz_file : 
  ?verbose:int ->
  ?check:bool ->
  ?gom:graph_output_model ->
  ?astree:bool ->
  ?name:string ->
  string ->
  Wap_exchange.input ->
  unit

val ocaml_file_of_boolean_constraint_system : 
  ?ninput:'a option ->
  int list ->
  int list ->
  MLBDD.t list ->
  string ->
  unit

val ocaml_file_of_puint_constraint_system : 
  ?ninput:'a option ->
  int list ->
  int list ->
  MlbddUInt.puint list ->
  string ->
  unit

val cir_file_of_boolean_constraint_system : 
  ?ninput:int option ->
  int list ->
  int list ->
  MLBDD.t list ->
  string ->
  unit

val cir_file_of_puint_constraint_system : 
  ?ninput:int option ->
  int list ->
  int list ->
  MlbddUInt.puint list ->
  string ->
  unit