Classes
class	GSPN
class	GspnBuilder
class	GspnJsonExporter
	Exports a GSPN into the JSON format for visualizing it. More...
class	ImmediateTransition
class	Marking
class	Place
	This class provides methods to store and retrieve data for a place in a gspn. More...
struct	LayoutInfo
class	TimedTransition
class	Transition
	This class represents a transition in a gspn. More...
struct	TransitionPartition

Variables
static constexpr uint64_t	scaleFactor = 50

Variable Documentation

◆ scaleFactor

uint64_t storm::gspn::scaleFactor = 50

staticconstexpr

Definition at line 14 of file GspnJsonExporter.cpp.