libpetri-debug 1.5.1

Debug protocol for libpetri Coloured Time Petri Net engine
Documentation 
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17

//! Session archive support for persisting and replaying debug sessions.

mod session_archive;
mod session_archive_storage;

#[cfg(feature = "archive")]
mod session_archive_reader;
#[cfg(feature = "archive")]
mod session_archive_writer;

pub use session_archive::{CURRENT_VERSION, SessionArchive};
pub use session_archive_storage::{ArchivedSessionSummary, SessionArchiveStorage};

#[cfg(feature = "archive")]
pub use session_archive_reader::{ImportedSession, SessionArchiveReader};
#[cfg(feature = "archive")]
pub use session_archive_writer::SessionArchiveWriter;