Skip to main content

build_net_structure

libpetri_debug::debug_session_registry

Function build_net_structure 

Source 
pub fn build_net_structure(session: &DebugSession) -> NetStructure
Expand description

Builds the NetStructure from a session’s stored place and transition info.