Struct Marking

pub struct Marking<T: Ord + Copy> { /* private fields */ }

Hollow usize vector sorted with generic indices

Allow manipulation of big vector which contains a lot of zeroes. This type of vector is very useful to represent the connection between locations and transitions in order to avoid creating a matrix mainly filled with zeros.

Implementations

impl<T> Marking<T>

where T: Ord + Copy,

pub fn iter(&self) -> Iter<'_, (T, usize)>

Return a iterator over all present elements in the marking

pub fn iter_with<'m>(&'m self, other: &'m Self) -> DualMarkingIterator<'m, T>

Return an iterator over two marking at same time. Useful to compare marking with a complexity of O(2n) instead of O(2nln(n))

pub fn clear(&mut self)

Remove all items in marking

pub fn len(&self) -> usize

Returns the number of elements in the marking.

pub fn is_empty(&self) -> bool

Returns true if the vector contains no elements.

pub fn insert_or_add(&mut self, index: T, weight: usize)

Increment the value contained in the marking by weight.

If the tag does not contain a value associated with the index, weight is inserted into the index.

pub fn insert_or_min(&mut self, index: T, weight: usize)

Keeps the minimum value between that contained in the marking and weight.

If the tag does not contain a value associated with the index, weight is inserted into the index.

pub fn insert_or_max(&mut self, index: T, weight: usize)

Keeps the maximum value between that contained in the marking and weight.

If the tag does not contain a value associated with the index, weight is inserted into the index.

pub fn delete(&mut self, index: T)

Delete a specific index from the marking

Trait Implementations

impl<T: Clone + Ord + Copy> Clone for Marking<T>

fn clone(&self) -> Marking<T>

Returns a copy of the value.

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

Performs copy-assignment from source.

impl<T: Debug + Ord + Copy> Debug for Marking<T>

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

Formats the value using the given formatter.

impl<T: Default + Ord + Copy> Default for Marking<T>

fn default() -> Marking<T>

Returns the “default value” for a type.

impl<T> Index<T> for Marking<T>

where T: Ord + Copy,

type Output = usize

The returned type after indexing.

fn index(&self, index: T) -> &Self::Output

Performs the indexing (container[index]) operation.

impl<T: PartialEq + Ord + Copy> PartialEq for Marking<T>

fn eq(&self, other: &Marking<T>) -> 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<T: Ord + Copy> StructuralPartialEq for Marking<T>