line::spn::SpnEnabling< T > Struct Template Reference

Unnormalised enabling-degree masses of one mode. More...

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

Public Attributes
std::vector< T >	ge
	ge[k] is the mass of {e >= k}; ge[0] is the whole reachable set.
std::vector< T >	eq
	eq[k] is the mass of {e == k}, i.e.
std::size_t	max_degree = 0
	The largest enabling degree the place bounds permit, E_j in the paper.

Detailed Description

template<class T>
struct line::spn::SpnEnabling< T >

Unnormalised enabling-degree masses of one mode.

Definition at line 46 of file spn_rec_enabled.h.

Member Data Documentation

eq

template<class T>

std::vector<T> line::spn::SpnEnabling< T >::eq

eq[k] is the mass of {e == k}, i.e.

ge[k] - ge[k+1].

Definition at line 50 of file spn_rec_enabled.h.

Referenced by line::spn::spn_metrics(), and line::spn::spn_rec_enabled().

ge

template<class T>

std::vector<T> line::spn::SpnEnabling< T >::ge

ge[k] is the mass of {e >= k}; ge[0] is the whole reachable set.

Definition at line 48 of file spn_rec_enabled.h.

Referenced by line::spn::spn_metrics(), and line::spn::spn_rec_enabled().

max_degree

template<class T>

std::size_t line::spn::SpnEnabling< T >::max_degree = 0

The largest enabling degree the place bounds permit, E_j in the paper.

Definition at line 52 of file spn_rec_enabled.h.

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

---

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

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