module Make:
Partition of the abstract states, computed for each node by the dataflow analysis.
Parameters: |
|
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