Struct MatrixTracer 

pub struct MatrixTracer<P, T, A, N, C, M, S>
where
    P: Place,
    T: Transition,
    A: Arc,
    N: Net<Place = P, Transition = T, Arc = A>,
    C: Tokens,
    M: Marking<Tokens = C>,
    S: Simulation<Place = P, Transition = T, Arc = A, Tokens = C, Marking = M>,
{ /* private fields */ }

This type implements the tracer trait to output a matrix which contains the tokens value for each place, and a flag for enabled transitions, on completion of each step.

Example

Given the simple net \(\circ\rightarrow\rule[-1pt]{3pt}{0.75em}\rightarrow\circ\), the matrix is as follows:

#	p0	p1	t0
0	●		Y
1		●

Implementations

impl<P, T, A, N, C, M, S> MatrixTracer<P, T, A, N, C, M, S>

where P: Place, T: Transition, A: Arc, N: Net<Place = P, Transition = T, Arc = A>, C: Tokens, M: Marking<Tokens = C>, S: Simulation<Place = P, Transition = T, Arc = A, Tokens = C, Marking = M>,

pub fn new(show_empty: bool) -> Self

Trait Implementations

impl<P, T, A, N, C, M, S> Debug for MatrixTracer<P, T, A, N, C, M, S>

where P: Place + Debug, T: Transition + Debug, A: Arc + Debug, N: Net<Place = P, Transition = T, Arc = A> + Debug, C: Tokens + Debug, M: Marking<Tokens = C> + Debug, S: Simulation<Place = P, Transition = T, Arc = A, Tokens = C, Marking = M> + Debug,

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

Formats the value using the given formatter.

impl<P, T, A, N, C, M, S> Default for MatrixTracer<P, T, A, N, C, M, S>

where P: Place, T: Transition, A: Arc, N: Net<Place = P, Transition = T, Arc = A>, C: Tokens, M: Marking<Tokens = C>, S: Simulation<Place = P, Transition = T, Arc = A, Tokens = C, Marking = M>,

fn default() -> Self

Returns the “default value” for a type.

impl<P, T, A, N, C, M, S> SimulationTracer for MatrixTracer<P, T, A, N, C, M, S>

where P: Place, T: Transition, A: Arc, N: Net<Place = P, Transition = T, Arc = A>, C: Tokens, M: Marking<Tokens = C>, S: Simulation<Place = P, Transition = T, Arc = A, Tokens = C, Marking = M>,

type Place = P

type Transition = T

type Arc = A

type Net = N

type Tokens = C

type Marking = M

type Simulation = S

fn started(&self, sim: &Self::Simulation)

This event is generated when the simulation takes its first step, but before the step_started event.

fn step_ended(&self, step: Step, sim: &Self::Simulation)

This event is generated when the simulation completes a step. It is generated after all enabled transitions have fired.

fn step_started(&self, step: Step, sim: &Self::Simulation)

This event is generated when the simulation takes a step. It is generated before any evaluation of the net marking.

fn place_updated(&self, place: NodeId, sim: &Self::Simulation)

This is generated for any place that has had its tokens updated, either added or subtracted.

fn transition_started(&self, transition: NodeId, sim: &Self::Simulation)

This is generated when a transition is fired. At this point all input tokens have been consumed from the preset but no output tokens have been transmitted.

fn transition_ended(&self, transition: NodeId, sim: &Self::Simulation)

This is generated when a transition has been completed. At this point all output tokens have been transmitted to the postset.

fn ended(&self, sim: &Self::Simulation)

This event is generated if, and when, the simulation determines that the net is terminated.