package pds-reachability

You can search for identifiers within the package.

in-package search v0.2.0

Legend:
Library
Module
Module type
Parameter
Class
Class type

The types module for the PDS reachability analysis.

module State = B.State

The decorated type of states in the PDS.

module Stack_element = B.Stack_element

The decorated type of stack elements in the PDS.

module Targeted_dynamic_pop_action : Pds_reachability_utils.Decorated_type

The decorated type of targeted dynamic pop actions in the PDS.

module Untargeted_dynamic_pop_action : Pds_reachability_utils.Decorated_type

The decorated type of untargeted dynamic pop actions in the PDS.

type stack_action =
  (Stack_element.t, Targeted_dynamic_pop_action.t)
    Pds_reachability_types_stack.pds_stack_action

Stack actions which may be performed in the PDS.

val pp_stack_action : stack_action Jhupllib.Pp_utils.pretty_printer

val show_stack_action : stack_action -> string

val stack_action_to_yojson : stack_action -> Yojson.Safe.json

type node =

module Node : Pds_reachability_utils.Decorated_type with type t = node

The decorated type of node used for reachability.

type edge = {

}

module Edge : Pds_reachability_utils.Decorated_type with type t = edge

The decorated type of edge used in reachability.