storm::gspn::TimedTransition< RateType > Class Template Reference

#include <TimedTransition.h>

Inheritance diagram for storm::gspn::TimedTransition< RateType >:

Collaboration diagram for storm::gspn::TimedTransition< RateType >:

Public Member Functions
	TimedTransition ()
void	setRate (RateType const &rate)
	Sets the rate of this transition to the given value.
void	setKServerSemantics (uint64_t k)
	Sets the semantics of this transition.
void	setSingleServerSemantics ()
void	setInfiniteServerSemantics ()
bool	hasKServerSemantics () const
	Retrieves the semantics of this transition.
bool	hasSingleServerSemantics () const
bool	hasInfiniteServerSemantics () const
uint64_t	getNumberOfServers () const
RateType	getRate () const
	Retrieves the rate of this transition.
Public Member Functions inherited from storm::gspn::Transition
void	setInputArcMultiplicity (storm::gspn::Place const &place, uint64_t multiplicity)
	Set the multiplicity of the input arc originating from the place.
bool	removeInputArc (storm::gspn::Place const &place)
	Removes an input arc connected to a given place.
bool	existsInputArc (storm::gspn::Place const &place) const
	Checks whether the given place is connected to this transition via an input arc.
void	setOutputArcMultiplicity (storm::gspn::Place const &place, uint64_t multiplicity)
	Set the multiplicity of the output arc going to the place.
bool	removeOutputArc (storm::gspn::Place const &place)
	Removes an output arc connected to a given place.
bool	existsOutputArc (storm::gspn::Place const &place) const
	Checks whether the given place is connected to this transition via an output arc.
void	setInhibitionArcMultiplicity (storm::gspn::Place const &place, uint64_t multiplicity)
	Set the multiplicity of the inhibition arc originating from the place.
bool	removeInhibitionArc (storm::gspn::Place const &place)
	Removes an inhibition arc connected to a given place.
bool	existsInhibitionArc (storm::gspn::Place const &place) const
	Checks whether the given place is connected to this transition via an inhibition arc.
bool	isEnabled (storm::gspn::Marking const &marking) const
	Checks if the given marking enables the transition.
storm::gspn::Marking	fire (storm::gspn::Marking const &marking) const
	Fire the transition if possible.
void	setName (std::string const &name)
	Set the name of the transition.
std::string const &	getName () const
	Returns the name of the transition.
std::unordered_map< uint64_t, uint64_t > const &	getInputPlaces () const
std::unordered_map< uint64_t, uint64_t > const &	getOutputPlaces () const
std::unordered_map< uint64_t, uint64_t > const &	getInhibitionPlaces () const
uint64_t	getInputArcMultiplicity (storm::gspn::Place const &place) const
	Returns the corresponding multiplicity.
uint64_t	getInhibitionArcMultiplicity (storm::gspn::Place const &place) const
	Returns the corresponding multiplicity.
uint64_t	getOutputArcMultiplicity (storm::gspn::Place const &place) const
	Returns the corresponding multiplicity.
void	setPriority (uint64_t const &priority)
	Sets the priority of this transtion.
uint64_t	getPriority () const
	Returns the priority of this transition.
void	setID (uint64_t const &id)
uint64_t	getID () const

Detailed Description

template<typename RateType>
class storm::gspn::TimedTransition< RateType >

Definition at line 9 of file TimedTransition.h.

Constructor & Destructor Documentation

TimedTransition()

template<typename RateType >

storm::gspn::TimedTransition< RateType >::TimedTransition ( )

inline

Definition at line 11 of file TimedTransition.h.

Member Function Documentation

getNumberOfServers()

template<typename RateType >

uint64_t storm::gspn::TimedTransition< RateType >::getNumberOfServers ( ) const

inline

Definition at line 55 of file TimedTransition.h.

getRate()

template<typename RateType >

RateType storm::gspn::TimedTransition< RateType >::getRate ( ) const

inline

Retrieves the rate of this transition.

Returns

The rate of this transition.

Definition at line 65 of file TimedTransition.h.

hasInfiniteServerSemantics()

template<typename RateType >

bool storm::gspn::TimedTransition< RateType >::hasInfiniteServerSemantics ( ) const

inline

Definition at line 51 of file TimedTransition.h.

hasKServerSemantics()

template<typename RateType >

bool storm::gspn::TimedTransition< RateType >::hasKServerSemantics ( ) const

inline

Retrieves the semantics of this transition.

Definition at line 43 of file TimedTransition.h.

hasSingleServerSemantics()

template<typename RateType >

bool storm::gspn::TimedTransition< RateType >::hasSingleServerSemantics ( ) const

inline

Definition at line 47 of file TimedTransition.h.

setInfiniteServerSemantics()

template<typename RateType >

void storm::gspn::TimedTransition< RateType >::setInfiniteServerSemantics ( )

inline

Definition at line 36 of file TimedTransition.h.

setKServerSemantics()

template<typename RateType >

void storm::gspn::TimedTransition< RateType >::setKServerSemantics ( uint64_t  k )

inline

Sets the semantics of this transition.

Definition at line 27 of file TimedTransition.h.

setRate()

template<typename RateType >

void storm::gspn::TimedTransition< RateType >::setRate ( RateType const &  rate )

inline

Sets the rate of this transition to the given value.

Parameters

rate	The new rate for this transition.

Definition at line 20 of file TimedTransition.h.

setSingleServerSemantics()

template<typename RateType >

void storm::gspn::TimedTransition< RateType >::setSingleServerSemantics ( )

inline

Definition at line 32 of file TimedTransition.h.

---

The documentation for this class was generated from the following file:

• src/storm-gspn/storage/gspn/TimedTransition.h