Struct ElementarySimulation 

pub struct ElementarySimulation { /* private fields */ }

Implementations

impl ElementarySimulation

pub fn new(net: Rc<ElementaryNet>, initial: SimpleMarking) -> Self

Trait Implementations

impl Debug for ElementarySimulation

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

Formats the value using the given formatter.

impl Simulation for ElementarySimulation

type Place = SimplePlace

type Transition = SimpleTransition

type Arc = SimpleArc

type Net = ElementaryNet

type Tokens = Dot

type Marking = SimpleMarking

fn net(&self) -> Rc<Self::Net>

Return a reference to the net that is being executed.

fn current_marking(&self) -> &Self::Marking

Return a reference to the current marking of the net. If the simulation has not been advanced by calling step or steps this is the initial marking.

fn current_step(&self) -> Step

Return the current step in the simulation. If the simulation has not been advanced by calling step or steps this is Step::ZERO.

fn step(&mut self) -> Result<(), Error>

Advance the simulation by one step returning the marking after the step has been taken.

fn steps(&mut self, steps: Duration) -> Result<(), Error>

Advance the simulation by steps returning the marking after all steps were taken.

fn enabled(&self) -> Vec<NodeId>

Return a list of node identifiers corresponding to all the enabled transitions at this step.

fn is_enabled(&self, transition: &Self::Transition) -> bool

Return true if transition is enabled at this step, else false.

fn is_complete(&self) -> Option<bool>

Not all nets can determine termination, if it is possible to determine termination return Some(...), else None.

impl TraceableSimulation for ElementarySimulation

fn add_tracer<Tracer>(&mut self, tracer: Rc<Tracer>)

where Tracer: SimulationTracer<Place = SimplePlace, Transition = Self::Transition, Arc = Self::Arc, Net = Self::Net, Tokens = Self::Tokens, Marking = Self::Marking, Simulation = Self> + 'static,

Add a tracer to this simulation.

fn remove_tracer(&mut self)

Remove any tracer associated with this simulation. If no tracer is associated this method does nothing.