package pds-reachability

  1. Overview
  2. Docs
Legend:
Library
Module
Module type
Parameter
Class
Class type
type t =
  1. | Push of stack_element
    (*

    Represents the push of a single stack element.

    *)
  2. | Pop of stack_element
    (*

    Represents the pop of a single stack element.

    *)
  3. | Nop
    (*

    Represents no action being taken on the stack.

    *)
  4. | Pop_dynamic_targeted of targeted_dynamic_pop_action
    (*

    Represents a pop operation which leads to the target node only after performing a series of stack actions. These stack actions are not fixed; they vary depending upon the stack element which is provided. This operation may also be non-deterministic, providing several chains of operations to the same target.

    *)