line::wfn::SoundnessReport Struct Reference

#include <line/api/wfn/soundness_report.h>

Collaboration diagram for line::wfn::SoundnessReport:

Public Types
typedef std::vector< long >	Marking

Public Attributes
bool	sound = false
	The first output of MATLAB's checkSoundness: true only when the verdict is "sound".
long	k = 1
std::string	verdict = "unknown"
	"sound", "unsound" or "unknown" (state cap reached first).
std::size_t	state_space_size = 0
std::vector< Marking >	deadlocks
std::vector< Marking >	no_option_to_complete
std::vector< Marking >	improper_completion
std::vector< std::string >	dead_transitions
bool	unbounded = false
Marking	unbounded_witness
bool	unbounded_or_too_large = false
std::vector< std::string >	witnesses
	One readable line per defect.

Detailed Description

Definition at line 26 of file soundness_report.h.

Member Typedef Documentation

Marking

typedef std::vector<long> line::wfn::SoundnessReport::Marking

Definition at line 27 of file soundness_report.h.

Member Data Documentation

dead_transitions

std::vector<std::string> line::wfn::SoundnessReport::dead_transitions

Definition at line 38 of file soundness_report.h.

Referenced by line::wfn::WorkflowNet::check_soundness().

deadlocks

std::vector<Marking> line::wfn::SoundnessReport::deadlocks

Definition at line 35 of file soundness_report.h.

Referenced by line::wfn::WorkflowNet::check_soundness().

improper_completion

std::vector<Marking> line::wfn::SoundnessReport::improper_completion

Definition at line 37 of file soundness_report.h.

Referenced by line::wfn::WorkflowNet::check_soundness().

k

long line::wfn::SoundnessReport::k = 1

Definition at line 31 of file soundness_report.h.

Referenced by line::wfn::WorkflowNet::check_soundness(), and line::wfn::WorkflowNet::format_report().

no_option_to_complete

std::vector<Marking> line::wfn::SoundnessReport::no_option_to_complete

Definition at line 36 of file soundness_report.h.

Referenced by line::wfn::WorkflowNet::check_soundness().

sound

bool line::wfn::SoundnessReport::sound = false

The first output of MATLAB's checkSoundness: true only when the verdict is "sound".

Definition at line 30 of file soundness_report.h.

Referenced by line::wfn::WorkflowNet::check_soundness().

state_space_size

std::size_t line::wfn::SoundnessReport::state_space_size = 0

Definition at line 34 of file soundness_report.h.

Referenced by line::wfn::WorkflowNet::check_soundness(), and line::wfn::WorkflowNet::format_report().

unbounded

bool line::wfn::SoundnessReport::unbounded = false

Definition at line 39 of file soundness_report.h.

Referenced by line::wfn::WorkflowNet::check_soundness().

unbounded_or_too_large

bool line::wfn::SoundnessReport::unbounded_or_too_large = false

Definition at line 41 of file soundness_report.h.

Referenced by line::wfn::WorkflowNet::check_soundness().

unbounded_witness

Marking line::wfn::SoundnessReport::unbounded_witness

Definition at line 40 of file soundness_report.h.

Referenced by line::wfn::WorkflowNet::check_soundness().

verdict

std::string line::wfn::SoundnessReport::verdict = "unknown"

"sound", "unsound" or "unknown" (state cap reached first).

Definition at line 33 of file soundness_report.h.

Referenced by line::wfn::WorkflowNet::check_soundness(), and line::wfn::WorkflowNet::format_report().

witnesses

std::vector<std::string> line::wfn::SoundnessReport::witnesses

One readable line per defect.

Definition at line 43 of file soundness_report.h.

Referenced by line::wfn::WorkflowNet::check_soundness(), and line::wfn::WorkflowNet::format_report().

---

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

• include/line/api/wfn/soundness_report.h