Enum Timing 

pub enum Timing {
    Immediate,
    Deadline {
        by_ms: u64,
    },
    Delayed {
        after_ms: u64,
    },
    Window {
        earliest_ms: u64,
        latest_ms: u64,
    },
    Exact {
        at_ms: u64,
    },
}

Firing timing specification for transitions.

Based on classical Time Petri Net (TPN) semantics:

• Transition CANNOT fire before earliest time (lower bound)
• Transition MUST fire by deadline OR become disabled (upper bound)

All durations are in milliseconds.

Variants

Immediate

Can fire as soon as enabled, no deadline. [0, inf)

Deadline

Can fire immediately, must fire by deadline. [0, by]

Fields

by_ms: u64

Delayed

Must wait, then can fire anytime. [after, inf)

Fields

after_ms: u64

Window

Can fire within [earliest, latest].

Fields

earliest_ms: u64

latest_ms: u64

Exact

Fires at precisely the specified time. [at, at]

Fields

at_ms: u64

Implementations

impl Timing

pub fn earliest(&self) -> u64

Returns the earliest time (ms) the transition can fire after enabling.

pub fn latest(&self) -> u64

Returns the latest time (ms) by which the transition must fire.

pub fn has_deadline(&self) -> bool

Returns true if this timing has a finite deadline.

Trait Implementations

impl Clone for Timing

fn clone(&self) -> Timing

Returns a duplicate of the value.

fn clone_from(&mut self, source: &Self)

Performs copy-assignment from source.

impl Debug for Timing

fn fmt(&self, f: &mut Formatter<'_>) -> Result

Formats the value using the given formatter.

impl PartialEq for Timing

fn eq(&self, other: &Timing) -> bool

Tests for self and other values to be equal, and is used by ==.

fn ne(&self, other: &Rhs) -> bool

Tests for !=. The default implementation is almost always sufficient, and should not be overridden without very good reason.

impl Copy for Timing

impl Eq for Timing

impl StructuralPartialEq for Timing