Struct Dbm 

pub struct Dbm { /* private fields */ }

Difference Bound Matrix for encoding firing domains in Time Petri Nets.

Float64 matrix representation. Reference clock at index 0, transition clocks at indices 1..n.

bounds[i][j] represents the upper bound on (x_i - x_j).

Implementations

impl Dbm

pub fn new(size: usize) -> Self

Creates a new DBM of the given size (n clocks + reference clock 0).

pub fn create( clock_names: Vec<String>, lower_bounds: &[f64], upper_bounds: &[f64], ) -> Self

Creates an initial firing domain for enabled transitions.

pub fn empty_dbm() -> Self

Creates an empty (unsatisfiable) DBM.

pub fn size(&self) -> usize

Returns the matrix size (dim x dim).

pub fn clock_names(&self) -> &[String]

Returns the clock names.

pub fn is_empty(&self) -> bool

Returns true if the DBM represents an empty zone.

pub fn get(&self, i: usize, j: usize) -> f64

Gets the bound D[i][j] (clock_i - clock_j <= D[i][j]).

pub fn set(&mut self, i: usize, j: usize, value: f64)

Sets the bound D[i][j].

pub fn lower_bound(&self, i: usize) -> f64

Returns the lower bound for clock i: -D[0][i+1].

pub fn upper_bound(&self, i: usize) -> f64

Returns the upper bound for clock i: D[i+1][0].

pub fn can_fire(&self, i: usize) -> bool

Returns true if clock i can fire (lower bound <= epsilon after time passage).

pub fn canonicalize(&mut self)

Canonicalizes the DBM using Floyd-Warshall algorithm.

pub fn let_time_pass(&self) -> Dbm

Lets time pass: set all lower bounds to 0 (minimum firing time reached).

pub fn fire_transition( &self, fired_clock: usize, new_clock_names: &[String], new_lower_bounds: &[f64], new_upper_bounds: &[f64], persistent_clocks: &[usize], ) -> Dbm

Computes successor firing domain after firing transition at fired_clock.

Implements the Berthomieu-Diaz successor formula: intersect constraints, canonicalize, substitute/eliminate fired clock, add fresh intervals for newly enabled, then final canonicalization.

pub fn canonical_string(&self) -> String

Generates a canonical string representation for deduplication.

Trait Implementations

impl Clone for Dbm

fn clone(&self) -> Dbm

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for Dbm

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

Formats the value using the given formatter.

impl PartialEq for Dbm

fn eq(&self, other: &Self) -> 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 Eq for Dbm