module State = B.StateThe decorated type of states in the PDS.
module Stack_element = B.Stack_elementThe decorated type of stack elements in the PDS.
The type of classes of states in the PDS.
The decorated type of targeted dynamic pop actions in the PDS.
The decorated type of untargeted dynamic pop actions in the PDS.
module Stack_action :
Pds_reachability_types_stack.Decorated_stack_action_type
with type stack_element = Stack_element.t
and type targeted_dynamic_pop_action = Targeted_dynamic_pop_action.tStack actions which may be performed in the PDS.
module Terminus :
Pds_reachability_types_stack.Decorated_terminus_type
with type state = State.t
and type untargeted_dynamic_pop_action = Untargeted_dynamic_pop_action.tTermini of paths which may exist in the PDS.
type intermediate_destination = | Static_destination of node| Dynamic_destination of Untargeted_dynamic_pop_action.tand node = | State_node of State.t| Intermediate_node of intermediate_destination * Stack_action.t listmodule Node : Pds_reachability_utils.Decorated_type with type t = nodeThe decorated type of node used for reachability.
module Edge : Pds_reachability_utils.Decorated_type with type t = edgeThe decorated type of edge used in reachability.