FDR
4.2.7(6ecbe5a21b71ab020e8fcaeccfe5ebaad0599f4f)
|
A counterexample to a divergence freedom assertion. More...
#include <divergence_counterexample.h>
Public Member Functions | |
DivergenceCounterexample (const std::shared_ptr< Behaviour > &behaviour) | |
![]() | |
const std::shared_ptr< Behaviour > & | behaviour () const |
The prohibited behaviour. | |
![]() | |
Counterexample (const Counterexample &)=delete | |
Counterexample & | operator= (const Counterexample &)=delete |
Additional Inherited Members | |
![]() | |
PropertyCounterexample (const std::shared_ptr< Behaviour > &behaviour) | |
A counterexample to a divergence freedom assertion.
The behaviour is guaranteed to be a ExplicitDivergenceBehaviour or LoopBehaviour indicating how the process can diverge.