package asak

You can search for identifiers within the package.

in-package search v0.2.0

asak
- Asak
  - Clustering
    
    Distance
  - Factorization
  - Lambda_utils
  - Monad_error
    
    ErrS
    
    Make
    
    T
    
    T
  - Parse_structure
  - Partition
  - Wtree

Legend:
Library
Module
Module type
Parameter
Class
Class type

type 'a partition = {

bad_type : 'a list;
(*
Keys identifying codes that either don't implement the searched function, or implement it with a bad type.
*)
clusters : ('a * string) list Wtree.wtree list;
(*
Main result. Each class is composed of a tree representing a hierarchical clustering of "similar codes". Each leaf is a list of keys identifying "totally similar" codes, plus the considered code.
*)

}

Type used for presenting a partition.

val create : int -> string -> string -> ('a * string) list -> 'a partition

Partitioning OCaml codes. Usage: create threshold name sol list.

parameter threshold
Weight threshold required to keep a sub-AST. It is a percentage (a number between 0 and 100) of the weight of the whole AST.
- A value of 0 means "keep all sub-ASTs"
- A value of 100 means "don't keep any sub-AST"

parameter name
The name of the searched function.

parameter sol
A reference implementation, used only for typing.

parameter list
List of valid OCaml codes, using only installed modules, that may contains the searched function.

returns
The partition.