storm::gspn::ImmediateTransition< WeightType > Class Template Reference

#include <ImmediateTransition.h>

Inheritance diagram for storm::gspn::ImmediateTransition< WeightType >:

Collaboration diagram for storm::gspn::ImmediateTransition< WeightType >:

Public Member Functions
void	setWeight (WeightType const &weight)
	Sets the weight of this transition to the given value.
WeightType	getWeight () const
	Retrieves the weight of this transition.
bool	noWeightAttached () const
	True iff no weight is attached.
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 WeightType>
class storm::gspn::ImmediateTransition< WeightType >

Definition at line 9 of file ImmediateTransition.h.

Member Function Documentation

getWeight()

template<typename WeightType >

WeightType storm::gspn::ImmediateTransition< WeightType >::getWeight ( ) const

inline

Retrieves the weight of this transition.

Returns

The weight of this transition.

Definition at line 25 of file ImmediateTransition.h.

noWeightAttached()

template<typename WeightType >

bool storm::gspn::ImmediateTransition< WeightType >::noWeightAttached ( ) const

inline

True iff no weight is attached.

Definition at line 32 of file ImmediateTransition.h.

setWeight()

template<typename WeightType >

void storm::gspn::ImmediateTransition< WeightType >::setWeight ( WeightType const &  weight )

inline

Sets the weight of this transition to the given value.

Parameters

weight

The new weight for this transition.

Definition at line 16 of file ImmediateTransition.h.

---

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

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