Module FixpointThreshold

module FixpointThreshold: sig .. end
Fixpoint analysis of an equation system: inference of thresholds


Public datatypes


type ('vertex, 'hedge, 'threshold) parameter = {
   mutable compare :'threshold -> 'threshold -> int; (*Comparison of thresholds (for creating sets of type 'threshold PSette.t)*)
   mutable print :Format.formatter -> 'threshold -> unit; (*Printing thresholds*)
   mutable init :'vertex -> 'threshold PSette.t; (*Initial thresholds*)
   mutable apply :'hedge -> 'threshold PSette.t array -> 'threshold PSette.t; (*Propagating thresholds (like the apply field in type ).*)
   mutable iteration_nb :int; (*Number of iterations (advise: 2)*)
}
Manager for thresholds
val inference : ('vertex, 'hedge, 'abstract, 'arc) FixpointType.manager ->
('vertex, 'hedge, 'threshold) parameter ->
('vertex, 'hedge, 'a, 'b, 'c) PSHGraph.t ->
('vertex, 'hedge) FixpointType.strategy ->
('vertex, 'threshold PSette.t) PHashhe.t
Inference functions, taking a standard manager, a threshold manager, an equation graph, and an iteration strategy.