FDR
4.2.7(6ecbe5a21b71ab020e8fcaeccfe5ebaad0599f4f)
|
A path to a state that is marked as explicitly divergent. More...
#include <explicit_divergence_behaviour.h>
Public Member Functions | |
ExplicitDivergenceBehaviour (const std::shared_ptr< LTS::Machine > &machine, const std::vector< std::shared_ptr< LTS::Node >> &node_path, const std::vector< LTS::CompiledEvent > &events) | |
![]() | |
Behaviour (const Behaviour &)=delete | |
std::shared_ptr< LTS::Machine > | machine () const |
The machine in which the behaviour occurs. | |
const std::vector< std::shared_ptr< LTS::Node > > & | node_path () const |
The sequence of nodes leading to the behaviour. More... | |
Behaviour & | operator= (const Behaviour &)=delete |
const std::vector< LTS::CompiledEvent > & | trace () const |
Returns the sequence of events that led to this behaviour. More... | |
Additional Inherited Members | |
![]() | |
Behaviour (const std::shared_ptr< LTS::Machine > &machine, const std::vector< std::shared_ptr< LTS::Node >> &node_path, const std::vector< LTS::CompiledEvent > &events) | |
A path to a state that is marked as explicitly divergent.
In this case machine()->has_divergence_markings() will be true.