FDR::Assertions::RefinementDivergenceCounterexample Class Reference

A counterexample demonstrating how a process can diverge during a refinement check. More...

#include <refinement_divergence_counterexample.h>

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

List of all members.

Public Member Functions

 RefinementDivergenceCounterexample (const std::shared_ptr< Behaviour > &specification, const std::shared_ptr< Behaviour > &implementation)

Detailed Description

A counterexample demonstrating how a process can diverge during a refinement check.

In this case the specification behaviour is guaranteed to be a IrrelevantBehaviour (ending in a non-divergent state of the specification), whilst the implementation behaviour is guaranteed to be a ExplicitDivergenceBehaviour or LoopBehaviour.


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