storm::gspn::Transition Class Reference

This class represents a transition in a gspn. More...

#include <Transition.h>

Inheritance diagram for storm::gspn::Transition:

Public Member Functions
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

This class represents a transition in a gspn.

Definition at line 14 of file Transition.h.

Member Function Documentation

existsInhibitionArc()

bool storm::gspn::Transition::existsInhibitionArc

(

storm::gspn::Place const &

place

)

const

Checks whether the given place is connected to this transition via an inhibition arc.

Parameters

place

The place which is going to be checked.

Returns

True if the place is connected via an inhibition arc.

Definition at line 55 of file Transition.cpp.

existsInputArc()

bool storm::gspn::Transition::existsInputArc

(

storm::gspn::Place const &

place

)

const

Checks whether the given place is connected to this transition via an input arc.

Parameters

place

The place which is going to be checked.

Returns

True if the place is connected via an input arc.

Definition at line 21 of file Transition.cpp.

existsOutputArc()

bool storm::gspn::Transition::existsOutputArc

(

storm::gspn::Place const &

place

)

const

Checks whether the given place is connected to this transition via an output arc.

Parameters

place

The place which is going to be checked.

Returns

True if the place is connected via an output arc.

Definition at line 38 of file Transition.cpp.

fire()

storm::gspn::Marking storm::gspn::Transition::fire

(

storm::gspn::Marking const &

marking

)

const

Fire the transition if possible.

Parameters

marking

The current marking before the transition is fired.

Returns

The marking after the transition was fired.

Definition at line 81 of file Transition.cpp.

getID()

uint64_t storm::gspn::Transition::getID ( ) const

inline

Definition at line 171 of file Transition.h.

getInhibitionArcMultiplicity()

uint64_t storm::gspn::Transition::getInhibitionArcMultiplicity

(

storm::gspn::Place const &

place

)

const

Returns the corresponding multiplicity.

Parameters

place

connected to this transition by an inhibition arc

Returns

cardinality or 0 if the arc does not exists

Definition at line 127 of file Transition.cpp.

getInhibitionPlaces()

std::unordered_map< uint64_t, uint64_t > const & storm::gspn::Transition::getInhibitionPlaces

(

)

const

Definition at line 115 of file Transition.cpp.

getInputArcMultiplicity()

uint64_t storm::gspn::Transition::getInputArcMultiplicity

(

storm::gspn::Place const &

place

)

const

Returns the corresponding multiplicity.

Parameters

place

connected to this transition by an input arc

Returns

cardinality or 0 if the arc does not exists

Definition at line 119 of file Transition.cpp.

getInputPlaces()

std::unordered_map< uint64_t, uint64_t > const & storm::gspn::Transition::getInputPlaces

(

)

const

Definition at line 107 of file Transition.cpp.

getName()

std::string const & storm::gspn::Transition::getName

(

)

const

Returns the name of the transition.

Returns

The name of the transition.

Definition at line 103 of file Transition.cpp.

getOutputArcMultiplicity()

uint64_t storm::gspn::Transition::getOutputArcMultiplicity

(

storm::gspn::Place const &

place

)

const

Returns the corresponding multiplicity.

Parameters

place

connected to this transition by an output arc

Returns

cardinality or 0 if the arc does not exists

Definition at line 135 of file Transition.cpp.

getOutputPlaces()

std::unordered_map< uint64_t, uint64_t > const & storm::gspn::Transition::getOutputPlaces

(

)

const

Definition at line 111 of file Transition.cpp.

getPriority()

uint64_t storm::gspn::Transition::getPriority

(

)

const

Returns the priority of this transition.

Returns

The priority.

Definition at line 147 of file Transition.cpp.

isEnabled()

bool storm::gspn::Transition::isEnabled

(

storm::gspn::Marking const &

marking

)

const

Checks if the given marking enables the transition.

Returns

True if the transition is enabled.

Definition at line 59 of file Transition.cpp.

removeInhibitionArc()

bool storm::gspn::Transition::removeInhibitionArc

(

storm::gspn::Place const &

place

)

Removes an inhibition arc connected to a given place.

Parameters

place

The place from which the inhibition arc is originating.

Returns

True if the arc existed.

Definition at line 46 of file Transition.cpp.

removeInputArc()

bool storm::gspn::Transition::removeInputArc

(

storm::gspn::Place const &

place

)

Removes an input arc connected to a given place.

Parameters

place

The place from which the input arc is originating.

Returns

True if the arc existed.

Definition at line 12 of file Transition.cpp.

removeOutputArc()

bool storm::gspn::Transition::removeOutputArc

(

storm::gspn::Place const &

place

)

Removes an output arc connected to a given place.

Parameters

place

The place from which the output arc is leading to.

Returns

True if the arc existed.

Definition at line 29 of file Transition.cpp.

setID()

void storm::gspn::Transition::setID ( uint64_t const &  id )

inline

Definition at line 167 of file Transition.h.

setInhibitionArcMultiplicity()

void storm::gspn::Transition::setInhibitionArcMultiplicity	(	storm::gspn::Place const &	place,
		uint64_t	multiplicity
	)

Set the multiplicity of the inhibition arc originating from the place.

If the arc already exists, the former multiplicity is overwritten. If the arc does not yet exists, it is created.

Parameters

place	The place connected by an inhibition arc.
multiplicity	The multiplicity of the specified arc.

Definition at line 42 of file Transition.cpp.

setInputArcMultiplicity()

void storm::gspn::Transition::setInputArcMultiplicity	(	storm::gspn::Place const &	place,
		uint64_t	multiplicity
	)

Set the multiplicity of the input arc originating from the place.

If the arc already exists, the former multiplicity is overwritten. If the arc does not yet exists, it is created.

Parameters

place	The place connected by an input arc.
multiplicity	The multiplicity of the specified arc.

Definition at line 8 of file Transition.cpp.

setName()

void storm::gspn::Transition::setName

(

std::string const &

name

)

Set the name of the transition.

Parameters

name	New name of the transition.

Definition at line 99 of file Transition.cpp.

setOutputArcMultiplicity()

void storm::gspn::Transition::setOutputArcMultiplicity	(	storm::gspn::Place const &	place,
		uint64_t	multiplicity
	)

Set the multiplicity of the output arc going to the place.

If the arc already exists, the former multiplicity is overwritten. If the arc does not yet exists, it is created.

Parameters

place	The place connected by an output arc.
multiplicity	The multiplicity of the specified arc.

Definition at line 25 of file Transition.cpp.

setPriority()

void storm::gspn::Transition::setPriority

(

uint64_t const &

priority

)

Sets the priority of this transtion.

Parameters

priority

The new priority.

Definition at line 143 of file Transition.cpp.

---

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

• src/storm-gspn/storage/gspn/Transition.h
• src/storm-gspn/storage/gspn/Transition.cpp