package pds-reachability

  1. Overview
  2. Docs
package pds-reachability
Legend:
Library
Module
Module type
Parameter
Class
Class type

This module is meant to test reachability in a push-down system which accepts by empty stack.

module type Decorated_type = Pds_reachability_utils.Decorated_type
module type Basis = Pds_reachability_basis.Basis
module type Dynamic_pop_handler = Pds_reachability_types_stack.Dynamic_pop_handler