FDR::Assertions::ExplicitDivergenceBehaviour Class Reference

A path to a state that is marked as explicitly divergent. More...

#include <explicit_divergence_behaviour.h>

Inheritance diagram for FDR::Assertions::ExplicitDivergenceBehaviour:
Inheritance graph
[legend]
Collaboration diagram for FDR::Assertions::ExplicitDivergenceBehaviour:
Collaboration graph
[legend]

List of all members.

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)

Detailed Description

A path to a state that is marked as explicitly divergent.

In this case machine()->has_divergence_markings() will be true.


The documentation for this class was generated from the following file:
 All Classes Functions

Generated on 27 Oct 2017 for FDR by  doxygen 1.6.1