line::spn::SpnReachProps Struct Reference

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

Collaboration diagram for line::spn::SpnReachProps:

Public Attributes
std::string	status
	the graph status
std::size_t	nstates = 0
int	bounded = -1
std::vector< double >	bound
	per level; NaN unknown, Inf unbounded
int	deadlockfree = -1
std::vector< std::size_t >	deadlocks
	0-based marking indices
std::vector< std::vector< long long > >	deadmarkings
std::vector< int >	live
std::vector< int >	dead
	per event, tri-state
int	reversible = -1
int	nbscc = -1
	number of bottom SCCs (-1 unknown)
SpnReachGraph	graph

Detailed Description

Definition at line 39 of file spn_reachprops.h.

Member Data Documentation

bound

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

per level; NaN unknown, Inf unbounded

Definition at line 43 of file spn_reachprops.h.

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

bounded

int line::spn::SpnReachProps::bounded = -1

Definition at line 42 of file spn_reachprops.h.

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

dead

std::vector<int> line::spn::SpnReachProps::dead

per event, tri-state

Definition at line 47 of file spn_reachprops.h.

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

deadlockfree

int line::spn::SpnReachProps::deadlockfree = -1

Definition at line 44 of file spn_reachprops.h.

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

deadlocks

std::vector<std::size_t> line::spn::SpnReachProps::deadlocks

0-based marking indices

Definition at line 45 of file spn_reachprops.h.

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

deadmarkings

std::vector<std::vector<long long> > line::spn::SpnReachProps::deadmarkings

Definition at line 46 of file spn_reachprops.h.

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

graph

SpnReachGraph line::spn::SpnReachProps::graph

Definition at line 50 of file spn_reachprops.h.

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

live

std::vector<int> line::spn::SpnReachProps::live

Definition at line 47 of file spn_reachprops.h.

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

nbscc

int line::spn::SpnReachProps::nbscc = -1

number of bottom SCCs (-1 unknown)

Definition at line 49 of file spn_reachprops.h.

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

nstates

std::size_t line::spn::SpnReachProps::nstates = 0

Definition at line 41 of file spn_reachprops.h.

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

reversible

int line::spn::SpnReachProps::reversible = -1

Definition at line 48 of file spn_reachprops.h.

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

status

std::string line::spn::SpnReachProps::status

the graph status

Definition at line 40 of file spn_reachprops.h.

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

---

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

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