#include <GSPN.h>

Public Types
typedef double	RateType

typedef double	WeightType

Public Member Functions
	GSPN (std::string const &name, std::vector< Place > const &places, std::vector< ImmediateTransition< WeightType > > const &itransitions, std::vector< TimedTransition< RateType > > const &ttransitions, std::vector< TransitionPartition > const &partitions, std::shared_ptr< storm::expressions::ExpressionManager > const &exprManager, std::map< storm::expressions::Variable, storm::expressions::Expression > const &constantsSubstitution=std::map< storm::expressions::Variable, storm::expressions::Expression >())

uint64_t	getNumberOfPlaces () const
	Returns the number of places in this gspn.

uint64_t	getNumberOfImmediateTransitions () const

uint64_t	getNumberOfTimedTransitions () const

std::vector< TransitionPartition > const &	getPartitions () const

std::vector< TimedTransition< GSPN::RateType > > const &	getTimedTransitions () const
	Returns the vector of timed transitions in this gspn.

std::vector< ImmediateTransition< GSPN::WeightType > > const &	getImmediateTransitions () const
	Returns the vector of immediate transitions in this gspn.

std::vector< storm::gspn::Place > const &	getPlaces () const
	Returns the places of this gspn.

std::shared_ptr< storm::gspn::Marking >	getInitialMarking (std::map< uint64_t, uint64_t > &numberOfBits, uint64_t const &numberOfTotalBits) const

storm::gspn::Place const *	getPlace (uint64_t id) const
	Returns the place with the corresponding id.

storm::gspn::Place const *	getPlace (std::string const &name) const
	Returns the place with the corresponding name.

storm::gspn::TimedTransition< GSPN::RateType > const *	getTimedTransition (std::string const &name) const
	Returns the timed transition with the corresponding name.

storm::gspn::ImmediateTransition< GSPN::WeightType > const *	getImmediateTransition (std::string const &name) const
	Returns the immediate transition with the corresponding name.

storm::gspn::Transition const *	getTransition (std::string const &name) const
	Returns the transition with the corresponding name.

void	writeDotToStream (std::ostream &outStream) const
	Write the gspn in a dot(graphviz) configuration.

void	setName (std::string const &name)
	Set the name of the gspn to the given name.

std::string const &	getName () const
	Returns the name of the gspn.

std::shared_ptr< storm::expressions::ExpressionManager > const &	getExpressionManager () const
	Obtain the expression manager used for expressions over GSPNs.

std::map< storm::expressions::Variable, storm::expressions::Expression > const &	getConstantsSubstitution () const
	Gets an assignment of occurring constants of the GSPN to their value.

void	setCapacities (std::unordered_map< std::string, uint64_t > const &mapping)
	Set Capacities of places according to name->capacity map.

void	setPlaceLayoutInfo (uint64_t placeId, LayoutInfo const &layout) const

void	setTransitionLayoutInfo (uint64_t transitionId, LayoutInfo const &layout) const

void	setPlaceLayoutInfo (std::map< uint64_t, LayoutInfo > const &placeLayout) const

void	setTransitionLayoutInfo (std::map< uint64_t, LayoutInfo > const &transitionLayout) const

std::map< uint64_t, LayoutInfo > const &	getPlaceLayoutInfos () const

std::map< uint64_t, LayoutInfo > const &	getTransitionLayoutInfos () const

bool	isValid () const
	Performe some checks.

void	toPnpro (std::ostream &stream) const

void	toPnml (std::ostream &stream) const

void	toJson (std::ostream &stream) const
	Export GSPN in Json format.

void	writeStatsToStream (std::ostream &stream) const

Static Public Member Functions
static uint64_t	timedTransitionIdToTransitionId (uint64_t)

static uint64_t	immediateTransitionIdToTransitionId (uint64_t)

static uint64_t	transitionIdToTimedTransitionId (uint64_t)

static uint64_t	transitionIdToImmediateTransitionId (uint64_t)

Detailed Description

Definition at line 21 of file GSPN.h.

Member Typedef Documentation

◆ RateType

typedef double storm::gspn::GSPN::RateType

Definition at line 29 of file GSPN.h.

◆ WeightType

typedef double storm::gspn::GSPN::WeightType

Definition at line 30 of file GSPN.h.

Constructor & Destructor Documentation

◆ GSPN()

storm::gspn::GSPN::GSPN	(	std::string const &	name,
		std::vector< Place > const &	places,
		std::vector< ImmediateTransition< WeightType > > const &	itransitions,
		std::vector< TimedTransition< RateType > > const &	ttransitions,
		std::vector< TransitionPartition > const &	partitions,
		std::shared_ptr< storm::expressions::ExpressionManager > const &	exprManager,
		std::map< storm::expressions::Variable, storm::expressions::Expression > const &	constantsSubstitution = `std::map<storm::expressions::Variable, storm::expressions::Expression>()`
	)

Definition at line 29 of file GSPN.cpp.

Member Function Documentation

◆ getConstantsSubstitution()

std::map< storm::expressions::Variable, storm::expressions::Expression > const & storm::gspn::GSPN::getConstantsSubstitution ( ) const

Gets an assignment of occurring constants of the GSPN to their value.

Definition at line 142 of file GSPN.cpp.

◆ getExpressionManager()

std::shared_ptr< storm::expressions::ExpressionManager > const & storm::gspn::GSPN::getExpressionManager ( ) const

Obtain the expression manager used for expressions over GSPNs.

Returns

Definition at line 138 of file GSPN.cpp.

◆ getImmediateTransition()

storm::gspn::ImmediateTransition< GSPN::WeightType > const * storm::gspn::GSPN::getImmediateTransition ( std::string const & name ) const

Returns the immediate transition with the corresponding name.

Parameters

name	The name of the timed transition.

Returns: A pointer to the transition, and nullptr otherwise

Definition at line 120 of file GSPN.cpp.

◆ getImmediateTransitions()

std::vector< storm::gspn::ImmediateTransition< GSPN::WeightType > > const & storm::gspn::GSPN::getImmediateTransitions ( ) const

Returns the vector of immediate transitions in this gspn.

Returns: The vector of immediate tansitions.

Definition at line 57 of file GSPN.cpp.

◆ getInitialMarking()

std::shared_ptr< storm::gspn::Marking > storm::gspn::GSPN::getInitialMarking	(	std::map< uint64_t, uint64_t > &	numberOfBits,
		uint64_t const &	numberOfTotalBits
	)		const

Definition at line 65 of file GSPN.cpp.

◆ getName()

std::string const & storm::gspn::GSPN::getName ( ) const

Returns the name of the gspn.

Returns: The name.

Definition at line 244 of file GSPN.cpp.

◆ getNumberOfImmediateTransitions()

uint64_t storm::gspn::GSPN::getNumberOfImmediateTransitions ( ) const

Definition at line 45 of file GSPN.cpp.

◆ getNumberOfPlaces()

uint64_t storm::gspn::GSPN::getNumberOfPlaces ( ) const

Returns the number of places in this gspn.

Returns: The number of places.

Definition at line 41 of file GSPN.cpp.

◆ getNumberOfTimedTransitions()

uint64_t storm::gspn::GSPN::getNumberOfTimedTransitions ( ) const

Definition at line 49 of file GSPN.cpp.

◆ getPartitions()

std::vector< TransitionPartition > const & storm::gspn::GSPN::getPartitions ( ) const

Definition at line 73 of file GSPN.cpp.

◆ getPlace() [1/2]

storm::gspn::Place const * storm::gspn::GSPN::getPlace ( std::string const & name ) const

Returns the place with the corresponding name.

Parameters

name	The name of the place.

Returns: A pointer to the place with the given name, and nullptr otherwise

Definition at line 93 of file GSPN.cpp.

◆ getPlace() [2/2]

storm::gspn::Place const * storm::gspn::GSPN::getPlace ( uint64_t id ) const

Returns the place with the corresponding id.

Parameters

id	The id of the place.

Returns: A pointer to the place with the given id, and nullptr otherwise

Definition at line 77 of file GSPN.cpp.

◆ getPlaceLayoutInfos()

std::map< uint64_t, LayoutInfo > const & storm::gspn::GSPN::getPlaceLayoutInfos ( ) const

Definition at line 410 of file GSPN.cpp.

◆ getPlaces()

std::vector< storm::gspn::Place > const & storm::gspn::GSPN::getPlaces ( ) const

Returns the places of this gspn.

Definition at line 61 of file GSPN.cpp.

◆ getTimedTransition()

storm::gspn::TimedTransition< GSPN::RateType > const * storm::gspn::GSPN::getTimedTransition ( std::string const & name ) const

Returns the timed transition with the corresponding name.

Parameters

name	The ID of the timed transition.

Returns: A pointer to the transition, and nullptr otherwise

Definition at line 111 of file GSPN.cpp.

◆ getTimedTransitions()

std::vector< storm::gspn::TimedTransition< GSPN::RateType > > const & storm::gspn::GSPN::getTimedTransitions ( ) const

Returns the vector of timed transitions in this gspn.

Returns: The vector of timed transitions.

Definition at line 53 of file GSPN.cpp.

◆ getTransition()

storm::gspn::Transition const * storm::gspn::GSPN::getTransition ( std::string const & name ) const

Returns the transition with the corresponding name.

Parameters

name	The name of the timed transition

Returns: A pointer to the transition, and nullptr otherwise

Definition at line 129 of file GSPN.cpp.

◆ getTransitionLayoutInfos()

std::map< uint64_t, LayoutInfo > const & storm::gspn::GSPN::getTransitionLayoutInfos ( ) const

Definition at line 414 of file GSPN.cpp.

◆ immediateTransitionIdToTransitionId()

uint64_t storm::gspn::GSPN::immediateTransitionIdToTransitionId ( uint64_t itId )

static

Definition at line 17 of file GSPN.cpp.

◆ isValid()

bool storm::gspn::GSPN::isValid ( ) const

Performe some checks.

testPlaces()
testTransitions()

Returns: true if no errors are found

Definition at line 248 of file GSPN.cpp.

◆ setCapacities()

void storm::gspn::GSPN::setCapacities ( std::unordered_map< std::string, uint64_t > const & mapping )

Set Capacities of places according to name->capacity map.

Definition at line 146 of file GSPN.cpp.

◆ setName()

void storm::gspn::GSPN::setName ( std::string const & name )

Set the name of the gspn to the given name.

Parameters

name	The new name.

Definition at line 240 of file GSPN.cpp.

◆ setPlaceLayoutInfo() [1/2]

void storm::gspn::GSPN::setPlaceLayoutInfo ( std::map< uint64_t, LayoutInfo > const & placeLayout ) const

Definition at line 403 of file GSPN.cpp.

◆ setPlaceLayoutInfo() [2/2]

void storm::gspn::GSPN::setPlaceLayoutInfo	(	uint64_t	placeId,
		LayoutInfo const &	layout
	)		const

Definition at line 396 of file GSPN.cpp.

◆ setTransitionLayoutInfo() [1/2]

void storm::gspn::GSPN::setTransitionLayoutInfo ( std::map< uint64_t, LayoutInfo > const & transitionLayout ) const

Definition at line 406 of file GSPN.cpp.

◆ setTransitionLayoutInfo() [2/2]

void storm::gspn::GSPN::setTransitionLayoutInfo	(	uint64_t	transitionId,
		LayoutInfo const &	layout
	)		const

Definition at line 399 of file GSPN.cpp.

◆ timedTransitionIdToTransitionId()

uint64_t storm::gspn::GSPN::timedTransitionIdToTransitionId ( uint64_t ttId )

static

Definition at line 13 of file GSPN.cpp.

◆ toJson()

void storm::gspn::GSPN::toJson ( std::ostream & stream ) const

Export GSPN in Json format.

Parameters

stream Outputstream.

Definition at line 697 of file GSPN.cpp.

◆ toPnml()

void storm::gspn::GSPN::toPnml ( std::ostream & stream ) const

Definition at line 536 of file GSPN.cpp.

◆ toPnpro()

void storm::gspn::GSPN::toPnpro ( std::ostream & stream ) const

Definition at line 418 of file GSPN.cpp.

◆ transitionIdToImmediateTransitionId()

uint64_t storm::gspn::GSPN::transitionIdToImmediateTransitionId ( uint64_t tId )

static

Definition at line 25 of file GSPN.cpp.

◆ transitionIdToTimedTransitionId()

uint64_t storm::gspn::GSPN::transitionIdToTimedTransitionId ( uint64_t tId )

static

Definition at line 21 of file GSPN.cpp.

◆ writeDotToStream()

void storm::gspn::GSPN::writeDotToStream ( std::ostream & outStream ) const

Write the gspn in a dot(graphviz) configuration.

Parameters

outStream The stream to which the output is written to.

Definition at line 154 of file GSPN.cpp.

◆ writeStatsToStream()

void storm::gspn::GSPN::writeStatsToStream ( std::ostream & stream ) const

Definition at line 701 of file GSPN.cpp.

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

src/storm-gspn/storage/gspn/GSPN.h
src/storm-gspn/storage/gspn/GSPN.cpp

Public Types

Public Member Functions

Static Public Member Functions

Detailed Description

Member Typedef Documentation

◆ RateType

◆ WeightType

Constructor & Destructor Documentation

◆ GSPN()

Member Function Documentation

◆ getConstantsSubstitution()

◆ getExpressionManager()

◆ getImmediateTransition()

◆ getImmediateTransitions()

◆ getInitialMarking()

◆ getName()

◆ getNumberOfImmediateTransitions()

◆ getNumberOfPlaces()

◆ getNumberOfTimedTransitions()

◆ getPartitions()

◆ getPlace() [1/2]

◆ getPlace() [2/2]

◆ getPlaceLayoutInfos()

◆ getPlaces()

◆ getTimedTransition()

◆ getTimedTransitions()

◆ getTransition()

◆ getTransitionLayoutInfos()

◆ immediateTransitionIdToTransitionId()

◆ isValid()

◆ setCapacities()

◆ setName()

◆ setPlaceLayoutInfo() [1/2]

◆ setPlaceLayoutInfo() [2/2]

◆ setTransitionLayoutInfo() [1/2]

◆ setTransitionLayoutInfo() [2/2]

◆ timedTransitionIdToTransitionId()

◆ toJson()

◆ toPnml()

◆ toPnpro()

◆ transitionIdToImmediateTransitionId()

◆ transitionIdToTimedTransitionId()

◆ writeDotToStream()

◆ writeStatsToStream()