package sawja

  1. Overview
  2. Docs
package sawja
Legend:
Library
Module
Module type
Parameter
Class
Class type
type workset_strategy =
  1. | Decr
  2. | Incr
type (!'a, !'b) manager = {
  1. bot : 'a;
  2. join : 'a -> 'a -> 'a;
  3. leq : 'a -> 'a -> bool;
  4. normalize : 'a -> 'a;
  5. eval : 'b -> 'a -> 'a;
  6. size : int;
  7. workset_strategy : workset_strategy;
  8. cstrs : (int * 'b * int) list;
  9. init_points : int list;
  10. init_value : int -> 'a;
  11. verbose : bool;
  12. dom_to_string : 'a -> string;
  13. transfer_to_string : 'b -> string;
}
val run : ('a, 'b) manager -> int -> 'a