What one global event produces: a whole network state per outcome. More...

#include <line/lang/qn/state_events.h>

Collaboration diagram for line::qn::GlobalOutcome< T >:

Public Member Functions
bool	empty () const

Public Attributes
std::vector< NetState< T > >	space
std::vector< T >	rate
std::vector< T >	prob
std::vector< bool >	completion
	True where the outcome is a firing COMPLETION, i.e.

Detailed Description

template<class T>
struct line::qn::GlobalOutcome< T >

What one global event produces: a whole network state per outcome.

Definition at line 3287 of file state_events.h.

Member Function Documentation

◆ empty()

template<class T>

bool line::qn::GlobalOutcome< T >::empty ( ) const

inline

Definition at line 3297 of file state_events.h.

References space.

Member Data Documentation

◆ completion

template<class T>

std::vector<bool> line::qn::GlobalOutcome< T >::completion

True where the outcome is a firing COMPLETION, i.e.

one that applied the PRE/POST updates. Callers must NOT re-derive this from the markings: a transition whose firing returns exactly what its enabling consumed leaves every marking invariant yet still completed.

Definition at line 3296 of file state_events.h.

Referenced by line::qn::after_fj_event(), line::qn::after_global_event(), and line::ctmc::solver_ctmc().