FDR  4.2.7(6ecbe5a21b71ab020e8fcaeccfe5ebaad0599f4f)
Public Member Functions | List of all members
FDR::Assertions::DivergenceCounterexample Class Reference

A counterexample to a divergence freedom assertion. More...

#include <divergence_counterexample.h>

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

Public Member Functions

 DivergenceCounterexample (const std::shared_ptr< Behaviour > &behaviour)
 
- Public Member Functions inherited from FDR::Assertions::PropertyCounterexample
const std::shared_ptr< Behaviour > & behaviour () const
 The prohibited behaviour.
 
- Public Member Functions inherited from FDR::Assertions::Counterexample
 Counterexample (const Counterexample &)=delete
 
Counterexampleoperator= (const Counterexample &)=delete
 

Additional Inherited Members

- Protected Member Functions inherited from FDR::Assertions::PropertyCounterexample
 PropertyCounterexample (const std::shared_ptr< Behaviour > &behaviour)
 

Detailed Description

A counterexample to a divergence freedom assertion.

The behaviour is guaranteed to be a ExplicitDivergenceBehaviour or LoopBehaviour indicating how the process can diverge.


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