Options of the relaxation. More...

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

Collaboration diagram for line::spn::SpnLpOptions:

Public Attributes
bool	markovian = true
	true (the default) uses the second-moment, covariance and Little's law families, which need exponential firing times; false drops them and the whole y block, leaving the operational bound, which needs only a mean firing time and so admits any phase-type law.
bool	assumelive = false
	true adds the two liveness rows, valid only on a live net.
std::vector< double >	init
	Initial tokens per place level; empty takes the reference stations.
double	tol = 0.0
	Slack added to the inequality sides.

Detailed Description

Options of the relaxation.

Definition at line 94 of file spn_lpbnd.h.

Member Data Documentation

◆ assumelive

bool line::spn::SpnLpOptions::assumelive = false

true adds the two liveness rows, valid only on a live net.

Definition at line 103 of file spn_lpbnd.h.

◆ init

std::vector<double> line::spn::SpnLpOptions::init

Initial tokens per place level; empty takes the reference stations.

Definition at line 105 of file spn_lpbnd.h.

◆ markovian

bool line::spn::SpnLpOptions::markovian = true

true (the default) uses the second-moment, covariance and Little's law families, which need exponential firing times; false drops them and the whole y block, leaving the operational bound, which needs only a mean firing time and so admits any phase-type law.

Definition at line 101 of file spn_lpbnd.h.

Referenced by line::ba::solver_ba_spnlp_analyzer().

◆ tol

double line::spn::SpnLpOptions::tol = 0.0

Slack added to the inequality sides.

Definition at line 107 of file spn_lpbnd.h.

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

include/line/api/spn/spn_lpbnd.h