Module debug_response 

Responses sent from server to debug UI client via WebSocket.

Structs

ArchiveSummary

Summary of an archived session.

NetEventInfo

Serializable event information.

NetStructure

Structure of a Petri net for the debug UI.

PlaceInfo

Information about a place in the net structure.

SessionSummary

Summary of a debug session.

TokenInfo

Serializable token information.

TransitionInfo

Information about a transition in the net structure.

Enums

DebugResponse

Responses from server to debug UI client.