package pds-reachability

Represents the push of a single stack element.

Represents the pop of a single stack element.

Represents no action being taken on the stack.

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.