package Snowflake

You can search for identifiers within the package.

in-package search v0.2.0

package Snowflake

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 input = {

variables : int list;
parameters : int list;
kdecomp : int list list;

}

type proto_solver = input -> int list list * int list

type output_component = {

index : int;
is_param : bool;
support : int list;
internal : int list;
interface : int list;
var_interface : int list;
param_interface : int list;
tree_pred : int option;

}

type sequence = output_component array

type output = {

input : input;
sequence : sequence;
cost : int list;
optimal : bool;

}

type solver = input -> output