FDR::Assertions::RefinementCounterexample Class Reference

A counterexample to a refinement assertion. More...

#include <refinement_counterexample.h>

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

List of all members.

Public Member Functions

const std::shared_ptr
< Behaviour > & 
implementation_behaviour () const
 The behaviour of the implementation process.
const std::shared_ptr
< Behaviour > & 
specification_behaviour () const
 The behaviour of the specification process.

Protected Member Functions

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

Detailed Description

A counterexample to a refinement assertion.

This has two behaviours. Generally, the specification behaviour is not of interest (the only exception is when the counterexample is a Counterexample::Divergence), whilst the implementation behaviour exhibits some behaviour of the implementation that is not allowed by the specification process (e.g. an event the implementation can perform that the specification cannot, in the case of a trace behaviour).


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