Module Wto_iteration.WTOFixpoint

Parameters

module L : AbstractDomain

Signature

module CLMap : sig ... end
module CLPair : sig ... end
module CLPairMap : sig ... end
module CLPairHash : sig ... end
val hashtbl : L.t CLPairHash.t
val reduce : L.t list -> L.t
val pre : L.t CLMap.t -> CLMap.key -> (L.t CLPairMap.t * 'a) -> L.t
val max_iterations : int Stdlib.ref
module RecursiveStrategy : sig ... end
module IterativeStrategy : sig ... end
val iteration_strategy : [> `iterative ]
val fixpoint_partition : 'a -> L.t CLMap.t -> CLMap.key Wto.partition -> L.t CLMap.t