Functor Partitioning_index.Make

module Make: 
functor (Domain : Domain-> sig .. end

Partition of the abstract states, computed for each node by the dataflow analysis.

Parameters:
Domain : Domain

type t 
val empty : unit -> t

Creates an empty index.

val add : Partitioning_index.Domain.t -> t -> bool

Adds a state into an index. Returns true if the state did not belong to the index (and has indeed been added), and false if the index already contained the state.

val pretty : Stdlib.Format.formatter -> t -> unit