line::spn::IspnOptions Struct Reference

Options of spn_ispn. More...

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

Collaboration diagram for line::spn::IspnOptions:

Public Attributes
int	extra = 3
	levels explored above the structural threshold (at least 3)
int	maxlevel = 200
	largest explored window before the net is refused
std::size_t	maxstates = 200000
	largest number of markings explored
double	tol = 1e-9
	tolerance of the block-repetition and affinity tests
double	distmax = 1e5
	largest level of the reported distribution of P0
std::vector< std::function< double(const std::vector< double > &)> >	rewards
	reward functions of the marking (length P), affine in the level above K
std::string	qbdmethod = "logred"
	"logred" or "successive"

Detailed Description

Options of spn_ispn.

Definition at line 68 of file spn_ispn.h.

Member Data Documentation

distmax

double line::spn::IspnOptions::distmax = 1e5

largest level of the reported distribution of P0

Definition at line 73 of file spn_ispn.h.

extra

int line::spn::IspnOptions::extra = 3

levels explored above the structural threshold (at least 3)

Definition at line 69 of file spn_ispn.h.

maxlevel

int line::spn::IspnOptions::maxlevel = 200

largest explored window before the net is refused

Definition at line 70 of file spn_ispn.h.

Referenced by line::mam::solver_mam_ispn().

maxstates

std::size_t line::spn::IspnOptions::maxstates = 200000

largest number of markings explored

Definition at line 71 of file spn_ispn.h.

qbdmethod

std::string line::spn::IspnOptions::qbdmethod = "logred"

"logred" or "successive"

Definition at line 76 of file spn_ispn.h.

rewards

std::vector<std::function<double(const std::vector<double>&)> > line::spn::IspnOptions::rewards

reward functions of the marking (length P), affine in the level above K

Definition at line 75 of file spn_ispn.h.

tol

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

tolerance of the block-repetition and affinity tests

Definition at line 72 of file spn_ispn.h.

---

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

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