Module Partitioning

module Partitioning: sig .. end

Set of states, propagated through the edges by the dataflow analysis.

module type StateSet = sig .. end

module Make_Set: functor (Domain : Abstract_domain.S) -> StateSet  with type state = Domain.t

Set of states, propagated through the edges by the dataflow analysis.

module type Partition = sig .. end

module Make_Partition: functor (Domain : Abstract_domain.External) -> functor (States : StateSet  with type state = Domain.t) -> Partition  with type state = Domain.t
               and type state_set = States.t

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