package pds-reachability

You can search for identifiers within the package.

in-package search v0.2.0

Legend:
Page
Library
Module
Module type
Parameter
Class
Class type
Source

Module `Work_type.T`Source

The types module for the PDS reachability analysis.

Sourcemodule State = B.State

The decorated type of states in the PDS.

Sourcemodule Stack_element = B.Stack_element

The decorated type of stack elements in the PDS.

Sourcemodule Targeted_dynamic_pop_action : Pds_reachability_utils.Decorated_type

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

Sourcemodule 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.

Sourceval pp_stack_action : stack_action Jhupllib.Pp_utils.pretty_printer

Sourceval show_stack_action : stack_action -> string

Sourceval stack_action_to_yojson : stack_action -> Yojson.Safe.json

Sourcetype node =

Sourcemodule Node : Pds_reachability_utils.Decorated_type with type t = node

The decorated type of node used for reachability.

Sourcetype edge = {

}

Sourcemodule Edge : Pds_reachability_utils.Decorated_type with type t = edge

The decorated type of edge used in reachability.