line::spn::SpnPfOptions Struct Reference

Options of the product-form derivation. More...

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

Collaboration diagram for line::spn::SpnPfOptions:

Public Attributes
std::vector< double >	bound
	Per-place-level token bound, passed to spn_mdd; empty infers it.
double	tol = 1e-9
	Relative tolerance of the rate-law and complex-balance checks.
bool	verbose = false

Detailed Description

Options of the product-form derivation.

Definition at line 111 of file spn_pf.h.

Member Data Documentation

bound

std::vector<double> line::spn::SpnPfOptions::bound

Per-place-level token bound, passed to spn_mdd; empty infers it.

Definition at line 113 of file spn_pf.h.

tol

double line::spn::SpnPfOptions::tol = 1e-9

Relative tolerance of the rate-law and complex-balance checks.

Definition at line 115 of file spn_pf.h.

Referenced by line::nc::solver_nc_spn_analyzer().

verbose

bool line::spn::SpnPfOptions::verbose = false

Definition at line 116 of file spn_pf.h.

---

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

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