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) |
A path to a state that is marked as explicitly divergent.
In this case machine()->has_divergence_markings() will be true.