Package org.oristool.models.pn

Class PlaceFlusher

java.lang.Object

org.oristool.models.pn.PlaceFlusher

All Implemented Interfaces:

TransitionFeature, Feature

public final class PlaceFlusher
extends Object
implements TransitionFeature

Transition feature removing all tokens from a set of places.

Constructor Summary

Constructors

Constructor	Description
PlaceFlusher(Place... ps)

Method Summary

Modifier and Type	Method	Description
boolean	addPlace(Place p)
boolean	hasPlace(Place p)
boolean	removePlace(Place p)
String	toString()
void	updateMarking(Marking m)

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait

Constructor Details

PlaceFlusher

public PlaceFlusher(Place... ps)

Method Details

addPlace

public boolean addPlace(Place p)

hasPlace

public boolean hasPlace(Place p)

removePlace

public boolean removePlace(Place p)

updateMarking

public void updateMarking(Marking m)

toString

public String toString()

Overrides:

toString in class Object