Classes
class	GSPN

class	GspnBuilder

class	GspnJsonExporter
	Exports a GSPN into the JSON format for visualizing it. More...

class	ImmediateTransition

struct	LayoutInfo

class	Marking

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

class	TimedTransition

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

struct	TransitionPartition

Variables
static constexpr const uint64_t	scaleFactor = 50

Variable Documentation

◆ scaleFactor

constexpr const uint64_t storm::gspn::scaleFactor = 50

staticconstexpr

Definition at line 14 of file GspnJsonExporter.cpp.