FDR
4.2.7(6ecbe5a21b71ab020e8fcaeccfe5ebaad0599f4f)
libfdr
include
fdr
assertions
counterexample
divergence_counterexample.h
1
#pragma once
2
3
#include <fdr/assertions/counterexample/property_counterexample.h>
4
5
namespace
FDR
6
{
7
namespace
Assertions
8
{
13
class
DivergenceCounterexample
:
public
PropertyCounterexample
14
{
15
public
:
16
DivergenceCounterexample
(
const
std::shared_ptr<Behaviour>&
behaviour
);
17
};
18
19
}
// end Assertions
20
}
// end FDR
FDR::Assertions::PropertyCounterexample
A counterexample to a property assertion, such as deadlock freedom.
Definition:
property_counterexample.h:15
FDR::Assertions::PropertyCounterexample::behaviour
const std::shared_ptr< Behaviour > & behaviour() const
The prohibited behaviour.
FDR::Assertions::DivergenceCounterexample
A counterexample to a divergence freedom assertion.
Definition:
divergence_counterexample.h:14
Generated on Mon May 11 2020 18:30:17 for FDR by
1.8.18