pds-reachability

API

Library pds-reachability

• Pds_reachability This module is meant to test reachability in a push-down system which accepts by empty stack.
• Pds_reachability_analysis This module defines the actual PDS reachability analysis.
• Pds_reachability_basis This module defines a module type signature used as the basis for the PDS reachability functor.
• Pds_reachability_structure
• Pds_reachability_types
• Pds_reachability_types_stack
• Pds_reachability_utils This module contains some convenient definitions used throughout the rest of this library.
• Pds_reachability_work
• Pds_reachability_work_collection
• Pds_reachability_work_collection_templates