FDR::Assertions::PropertyCounterexample Class Reference

A counterexample to a property assertion, such as deadlock freedom. More...

#include <property_counterexample.h>

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

List of all members.

Public Member Functions

const std::shared_ptr
< Behaviour > & 
behaviour () const
 The prohibited behaviour.

Protected Member Functions

 PropertyCounterexample (const std::shared_ptr< Behaviour > &behaviour)

Detailed Description

A counterexample to a property assertion, such as deadlock freedom.

This has a single behaviour that shows how the specified machine can violate a property assertion, such as deadlock freedom or divergence freedom.


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