soundness_report.h File Reference

The report of WorkflowNet::check_soundness. More...

#include <cstddef>
#include <string>
#include <vector>

Include dependency graph for soundness_report.h:

Go to the source code of this file.

Classes
struct	line::wfn::SoundnessReport

Namespaces
namespace	line
	Conservation laws of a layered queueing network, enumerated from its structure.
namespace	line::wfn

Detailed Description

The report of WorkflowNet::check_soundness.

Markings are row vectors over the places, in the order of WorkflowNet::places().

MATLAB twin: the report struct of matlab/src/api/wfn/WorkflowNet.m checkSoundness

Definition in file soundness_report.h.