line::spn::SpnTraps Struct Reference

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

Collaboration diagram for line::spn::SpnTraps:

Public Attributes
std::vector< std::size_t >	places
	1-based node indices, in level order
std::vector< std::vector< int > >	Q
	one minimal trap per row (0/1 over levels)
std::vector< bool >	marked
	trap i holds a token at m0
std::vector< long long >	m0

Detailed Description

Definition at line 28 of file spn_traps.h.

Member Data Documentation

m0

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

Definition at line 32 of file spn_traps.h.

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

marked

std::vector<bool> line::spn::SpnTraps::marked

trap i holds a token at m0

Definition at line 31 of file spn_traps.h.

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

places

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

1-based node indices, in level order

Definition at line 29 of file spn_traps.h.

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

Q

std::vector<std::vector<int> > line::spn::SpnTraps::Q

one minimal trap per row (0/1 over levels)

Definition at line 30 of file spn_traps.h.

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

---

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

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