line::spn::SpnProperties Struct Reference

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

Collaboration diagram for line::spn::SpnProperties:

Public Attributes
std::vector< long long >	m0
std::vector< std::string >	ignored
SpnInvariants	sinv
SpnTInvariants	tinv
SpnSiphons	siphons
SpnTraps	traps
SpnStructProps	structp
	MATLAB/Java/Python field "struct".
SpnReachProps	reach
bool	commoner = true
int	structdeadlockfree = -1
int	structlive = -1

Detailed Description

Definition at line 38 of file spn_properties.h.

Member Data Documentation

commoner

bool line::spn::SpnProperties::commoner = true

Definition at line 47 of file spn_properties.h.

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

ignored

std::vector<std::string> line::spn::SpnProperties::ignored

Definition at line 40 of file spn_properties.h.

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

m0

std::vector<long long> line::spn::SpnProperties::m0

Definition at line 39 of file spn_properties.h.

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

reach

SpnReachProps line::spn::SpnProperties::reach

Definition at line 46 of file spn_properties.h.

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

sinv

SpnInvariants line::spn::SpnProperties::sinv

Definition at line 41 of file spn_properties.h.

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

siphons

SpnSiphons line::spn::SpnProperties::siphons

Definition at line 43 of file spn_properties.h.

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

structdeadlockfree

int line::spn::SpnProperties::structdeadlockfree = -1

Definition at line 48 of file spn_properties.h.

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

structlive

int line::spn::SpnProperties::structlive = -1

Definition at line 49 of file spn_properties.h.

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

structp

SpnStructProps line::spn::SpnProperties::structp

MATLAB/Java/Python field "struct".

Definition at line 45 of file spn_properties.h.

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

tinv

SpnTInvariants line::spn::SpnProperties::tinv

Definition at line 42 of file spn_properties.h.

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

traps

SpnTraps line::spn::SpnProperties::traps

Definition at line 44 of file spn_properties.h.

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

---

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

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