The invariant basis of a net, in PLACE-LEVEL coordinates: one level per (place, class) pair, place-major, level l = pp * nclasses + k for place pp and class k (both 0-based), exactly the (pp - 1) * R + k layout of the reference. More...

#include <line/api/spn/spn_sinvariants.h>

Collaboration diagram for line::spn::SpnInvariants:

Public Attributes
std::vector< std::size_t >	places
	1-based node indices of the places, in level order.
std::vector< std::vector< long long > >	S
	S[i][l]: weight of place level l in minimal-support invariant i.
std::vector< long long >	V
	V = S m0, the load vector.
std::vector< long long >	m0
	The initial marking the load vector was taken against, per level.
std::size_t	nclasses = 1
	The class count R the levels are laid out with (a port-only helper).

Detailed Description

The invariant basis of a net, in PLACE-LEVEL coordinates: one level per (place, class) pair, place-major, level l = pp * nclasses + k for place pp and class k (both 0-based), exactly the (pp - 1) * R + k layout of the reference.

A single-class net has one level per place.

Definition at line 62 of file spn_sinvariants.h.