List of all items

Structs

• archive::ArchivedSessionSummary
• archive::SessionArchive
• debug_aware_event_store::DebugAwareEventStore
• debug_command::BreakpointConfig
• debug_command::EventFilter
• debug_event_store::DebugEventStore
• debug_event_store::Subscription
• debug_protocol_handler::DebugProtocolHandler
• debug_response::ArchiveSummary
• debug_response::NetEventInfo
• debug_response::NetStructure
• debug_response::PlaceInfo
• debug_response::SessionSummary
• debug_response::TokenInfo
• debug_response::TransitionInfo
• debug_session_registry::DebugSession
• debug_session_registry::DebugSessionRegistry
• marking_cache::ComputedState
• marking_cache::MarkingCache
• place_analysis::PlaceAnalysis
• place_analysis::PlaceAnalysisInfo

Enums

• debug_command::BreakpointType
• debug_command::DebugCommand
• debug_command::SubscriptionMode
• debug_response::DebugResponse

Traits

• archive::SessionArchiveStorage
• debug_protocol_handler::ResponseSink

Functions

• debug_session_registry::build_net_structure
• marking_cache::apply_events
• marking_cache::compute_state
• net_event_converter::event_type_name
• net_event_converter::extract_place_name
• net_event_converter::extract_transition_name
• net_event_converter::to_event_info

Type Aliases

• debug_session_registry::EventStoreFactory
• debug_session_registry::SessionCompletionListener

Constants

• archive::CURRENT_VERSION
• debug_event_store::DEFAULT_MAX_EVENTS
• marking_cache::SNAPSHOT_INTERVAL