A counterexample to a divergence freedom assertion. More...
#include <divergence_counterexample.h>
Public Member Functions | |
DivergenceCounterexample (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.