line::spn::SpnInvariants Struct Reference

The invariant basis of a net, in place-level coordinates. 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][p]: weight of place p 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.

Detailed Description

The invariant basis of a net, in place-level coordinates.

Definition at line 51 of file spn_sinvariants.h.

Member Data Documentation

m0

std::vector<long long> line::spn::SpnInvariants::m0

The initial marking the load vector was taken against.

Definition at line 59 of file spn_sinvariants.h.

Referenced by line::spn::spn_lpbnd(), and line::spn::spn_sinvariants().

places

std::vector<std::size_t> line::spn::SpnInvariants::places

1-based node indices of the places, in level order.

Definition at line 53 of file spn_sinvariants.h.

Referenced by line::spn::spn_sinvariants().

S

std::vector<std::vector<long long> > line::spn::SpnInvariants::S

S[i][p]: weight of place p in minimal-support invariant i.

Definition at line 55 of file spn_sinvariants.h.

Referenced by line::spn::spn_conv(), line::spn::spn_lpbnd(), and line::spn::spn_sinvariants().

V

std::vector<long long> line::spn::SpnInvariants::V

V = S m0, the load vector.

Definition at line 57 of file spn_sinvariants.h.

Referenced by line::spn::spn_conv(), and line::spn::spn_lpbnd().

---

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

• include/line/api/spn/spn_sinvariants.h