Package org.oristool.models.pn

Class ResetSet

java.lang.Object

org.oristool.models.pn.ResetSet

All Implemented Interfaces:

TransitionFeature, Feature

public final class ResetSet
extends Object
implements TransitionFeature

A transition feature forcing other transitions to resample a time-to-fire.

Constructor Summary

Constructors

Constructor	Description
ResetSet(Set<Transition> transitions)
ResetSet(Transition... transitions)

Method Summary

Modifier and Type	Method	Description
Set<Transition>	getResetSet()

Methods inherited from class java.lang.Object

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

Constructor Details

ResetSet

public ResetSet(Set<Transition> transitions)

ResetSet

public ResetSet(Transition... transitions)

Method Details

getResetSet

public Set<Transition> getResetSet()