Public Member Functions
void	registerCallback (const std::string &t, Callback &&callback) noexcept

Public Attributes
std::vector< std::string >	transition
	(ordered) list of string representation of transitions
std::vector< std::string >	place
	(ordered) list of string representation of places
std::vector< SmallVectorInput >	input_n
	list of list of inputs to transitions. This vector is indexed like transition.
std::vector< SmallVectorInput >	output_n
	list of list of outputs of transitions. This vector is indexed like transition.
std::vector< SmallVector >	p_to_ts_n
	list of list of transitions that have places as inputs. This vector is index like place
std::vector< int8_t >	priority
	This vector holds priorities for all transitions. This vector is index like transition.
std::vector< Callback >	store
	This is the same 'lookup table', only index using transition so it is compatible with index lookup.
std::vector< AugmentedToken >	initial_tokens
	The initial marking.

The documentation for this struct was generated from the following file:

Public Member Functions

Public Attributes