libpetri-debug 1.7.0

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
18
19
20
21
22
23
24
25

//! 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;

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

pub use session_archive::{
    CURRENT_VERSION, MIN_SUPPORTED_VERSION, SessionArchive, SessionArchiveV1, SessionArchiveV2,
    SessionMetadata,
};
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;
#[cfg(feature = "archive")]
pub use session_metadata::compute_metadata;