Uses of Interface
org.oristool.util.Feature

Packages that use Feature

Package	Description
org.oristool.analyzer	General framework for state space exploration.
org.oristool.analyzer.state	Generic state representation.
org.oristool.models.gspn.reachability	Reachability analysis in GSPNs.
org.oristool.models.pn	Analysis of Petri nets.
org.oristool.models.stpn.trees	Calculus of stochastic state classes.
org.oristool.models.tpn	Analysis of TPNs.
org.oristool.petrinet	Petri net representation.
org.oristool.simulator	Simulator framework.
org.oristool.simulator.stpn	Provides classes for the simulation of STPNs.
org.oristool.util	Utility classes.

Uses of Feature in org.oristool.analyzer

Subinterfaces of Feature in org.oristool.analyzer

Modifier and Type	Interface	Description
interface	SuccessionFeature	Common interface of features allowed on a succession.

Uses of Feature in org.oristool.analyzer.state

Subinterfaces of Feature in org.oristool.analyzer.state

Modifier and Type	Interface	Description
interface	StateFeature	Generic interface for the features allowed on a State.

Classes in org.oristool.analyzer.state that implement Feature

Modifier and Type	Class	Description
enum	LocalStop	State feature tagging states where a local stop criterion was applied.

Uses of Feature in org.oristool.models.gspn.reachability

Classes in org.oristool.models.gspn.reachability that implement Feature

Modifier and Type	Class	Description
final class	FiringProbability	Succession feature encoding the firing probability.
final class	SPNState	A GSPN state, including a sojourn rate and a marking.

Uses of Feature in org.oristool.models.pn

Classes in org.oristool.models.pn that implement Feature

Modifier and Type	Class	Description
final class	PetriStateFeature	A feature collecting state information of a Petri net.
final class	PlaceFlusher	Transition feature removing all tokens from a set of places.
final class	PostUpdater	Transition feature updating the marking after token additions/removals of a firing.
final class	Priority	Transition feature encoding the priority used to resolve races between immediate transitions.
final class	ResetSet	A transition feature forcing other transitions to resample a time-to-fire.

Uses of Feature in org.oristool.models.stpn.trees

Classes in org.oristool.models.stpn.trees that implement Feature

Modifier and Type	Class	Description
class	EmpiricalTransitionFeature
final class	EnablingSyncsFeature	State feature encoding synchronizations between enabled timers.
class	Regeneration<V>	A state feature including a regeneration.
class	StochasticStateFeature	A state feature encoding the support and PDF of enabled timers.
class	StochasticSuccessionFeature	Succession feature encoding the firing probability.
class	StochasticTransitionFeature	Transition feature encoding the distribution and weight.
class	TransientStochasticStateFeature	State feature including the entering time distribution and reaching probability of a state.

Uses of Feature in org.oristool.models.tpn

Classes in org.oristool.models.tpn that implement Feature

Modifier and Type	Class	Description
final class	ConcurrencyTransitionFeature
class	RegenerationEpochLengthTransitionFeature
final class	TimedStateFeature
final class	TimedTransitionFeature	Transition feature with minimum/maximum required time to the firing.

Uses of Feature in org.oristool.petrinet

Subinterfaces of Feature in org.oristool.petrinet

Modifier and Type	Interface	Description
interface	InhibitorArcFeature	Generic feature of an InhibitorArc.
interface	PetriNetFeature	Generic feature of a PetriNet.
interface	PlaceFeature	Generic feature of a Place.
interface	PostconditionFeature	Generic feature of a Postcondition.
interface	PreconditionFeature	Generic feature of a Precondition.
interface	TransitionFeature	Generic feature of a Transition.

Classes in org.oristool.petrinet that implement Feature

Modifier and Type	Class	Description
final class	EnablingFunction	The enabling function of a transition.

Uses of Feature in org.oristool.simulator

Classes in org.oristool.simulator that implement Feature

Modifier and Type	Class	Description
class	TimedSimulatorStateFeature	State feature of time-based STPN simulations.

Uses of Feature in org.oristool.simulator.stpn

Classes in org.oristool.simulator.stpn that implement Feature

Modifier and Type	Class	Description
final class	SamplerFeature	Transition feature associating a time-to-fire sampler.

Uses of Feature in org.oristool.util

Classes in org.oristool.util with type parameters of type Feature

Modifier and Type	Class	Description
class	Featurizable<E extends Feature>	Base implementation of a generic featurizable element.