storm::gspn::Place Class Reference

This class provides methods to store and retrieve data for a place in a gspn. More...

#include <Place.h>

Public Member Functions
	Place (uint64_t id)
void	setName (std::string const &name)
	Sets the name of this place.
std::string	getName () const
	Returns the name of this place.
uint64_t	getID () const
	Returns the id of this place.
void	setNumberOfInitialTokens (uint64_t tokens)
	Sets the number of initial tokens of this place.
uint64_t	getNumberOfInitialTokens () const
	Returns the number of initial tokens of this place.
void	setCapacity (boost::optional< uint64_t > const &capacity)
	Sets the capacity of tokens of this place.
uint64_t	getCapacity () const
	Returns the capacity of tokens of this place.
bool	hasRestrictedCapacity () const

Detailed Description

This class provides methods to store and retrieve data for a place in a gspn.

Definition at line 12 of file Place.h.

Constructor & Destructor Documentation

Place()

storm::gspn::Place::Place

(

uint64_t

id

)

Definition at line 8 of file Place.cpp.

Member Function Documentation

getCapacity()

uint64_t storm::gspn::Place::getCapacity

(

)

const

Returns the capacity of tokens of this place.

Returns

The capacity of the place. Only valid if the capacity is restricted.

Definition at line 34 of file Place.cpp.

getID()

uint64_t storm::gspn::Place::getID

(

)

const

Returns the id of this place.

Returns

The id of this place.

Definition at line 18 of file Place.cpp.

getName()

std::string storm::gspn::Place::getName

(

)

const

Returns the name of this place.

Returns

The name of this place.

Definition at line 14 of file Place.cpp.

getNumberOfInitialTokens()

uint64_t storm::gspn::Place::getNumberOfInitialTokens

(

)

const

Returns the number of initial tokens of this place.

Returns

The number of initial tokens of this place.

Definition at line 26 of file Place.cpp.

hasRestrictedCapacity()

bool storm::gspn::Place::hasRestrictedCapacity

(

)

const

Definition at line 39 of file Place.cpp.

setCapacity()

void storm::gspn::Place::setCapacity

(

boost::optional< uint64_t > const &

capacity

)

Sets the capacity of tokens of this place.

Parameters

capacity

The capacity of this place. A non-negative number represents the capacity. boost::none indicates that the flag is not set.

Definition at line 30 of file Place.cpp.

setName()

void storm::gspn::Place::setName

(

std::string const &

name

)

Sets the name of this place.

The name is not used to identify a place (and therefore do not have to be unique). Some input and output formats use the name to identify a place. If you want to use the export or import features make sure that the names a unique if necessary.

Parameters

name	The new name for the place.

Definition at line 10 of file Place.cpp.

setNumberOfInitialTokens()

void storm::gspn::Place::setNumberOfInitialTokens

(

uint64_t

tokens

)

Sets the number of initial tokens of this place.

Parameters

tokens

The number of initial tokens.

Definition at line 22 of file Place.cpp.

---

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

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