Pds_reachability_structure (p.pds-reachability.0.2.2.doc.pds-reachability.Pds_reachability

This module defines a data structure used in a PDS reachability analysis.

Sourcemodule type Structure = sig ... end

The type of the module which defines the data structure used within the analysis.

module Make
  (Basis : Pds_reachability_basis.Basis)
  (Dph : 
    Pds_reachability_types_stack.Dynamic_pop_handler
      with module Stack_element = Basis.Stack_element
       and module State = Basis.State)
  (Types : 
    Pds_reachability_types.Types
      with module State = Basis.State
       and module Stack_element = Basis.Stack_element
       and module Targeted_dynamic_pop_action = Dph.Targeted_dynamic_pop_action
       and module Untargeted_dynamic_pop_action =
             Dph.Untargeted_dynamic_pop_action) : 
  Structure
    with module Stack_element = Basis.Stack_element
     and module Edge = Types.Edge
     and module Node = Types.Node
     and module Targeted_dynamic_pop_action = Types.Targeted_dynamic_pop_action
     and module Untargeted_dynamic_pop_action =
           Types.Untargeted_dynamic_pop_action