Struct pnets::Marking [−][src]
Expand description
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
Return a iterator over all present elements in the marking
Return an iterator over two marking at same time. Useful to compare marking with a complexity of O(2n) instead of O(2nln(n))
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.
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.
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.
Trait Implementations
Auto Trait Implementations
impl<T> RefUnwindSafe for Marking<T> where
T: RefUnwindSafe,
impl<T> UnwindSafe for Marking<T> where
T: UnwindSafe,
Blanket Implementations
Mutably borrows from an owned value. Read more