line::spn::ispn_detail::Elim Struct Reference

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

Collaboration diagram for line::spn::ispn_detail::Elim:

Public Attributes
Mat	Q
	nT x nT generator of the tangible markings
Mat	S
	P x nT markings.
std::vector< std::vector< std::size_t > >	levidx
	tangible indices by level 0..Ktop+1
Mat	trate
	nT x T firing rates
std::size_t	nvan = 0

Detailed Description

Definition at line 321 of file spn_ispn.h.

Member Data Documentation

levidx

std::vector<std::vector<std::size_t> > line::spn::ispn_detail::Elim::levidx

tangible indices by level 0..Ktop+1

Definition at line 324 of file spn_ispn.h.

Referenced by line::spn::ispn_detail::eliminate(), and line::spn::ispn_detail::find_K().

nvan

std::size_t line::spn::ispn_detail::Elim::nvan = 0

Definition at line 326 of file spn_ispn.h.

Referenced by line::spn::ispn_detail::eliminate().

Q

Mat line::spn::ispn_detail::Elim::Q

nT x nT generator of the tangible markings

Definition at line 322 of file spn_ispn.h.

Referenced by line::spn::ispn_detail::eliminate(), and line::spn::ispn_detail::find_K().

S

Mat line::spn::ispn_detail::Elim::S

P x nT markings.

Definition at line 323 of file spn_ispn.h.

Referenced by line::spn::ispn_detail::eliminate(), and line::spn::ispn_detail::find_K().

trate

Mat line::spn::ispn_detail::Elim::trate

nT x T firing rates

Definition at line 325 of file spn_ispn.h.

Referenced by line::spn::ispn_detail::eliminate().

---

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

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