FDR
4.2.7(6ecbe5a21b71ab020e8fcaeccfe5ebaad0599f4f)
libfdr
include
fdr
assertions
counterexample
min_acceptance_counterexample.h
1
#pragma once
2
3
#include <fdr/assertions/counterexample/refinement_counterexample.h>
4
5
namespace
FDR
6
{
7
namespace
Assertions
8
{
14
class
MinAcceptanceCounterexample
:
public
RefinementCounterexample
15
{
16
public
:
17
MinAcceptanceCounterexample
(
const
std::shared_ptr<Behaviour>& specification,
18
const
std::shared_ptr<Behaviour>& implementation);
19
24
const
std::vector<LTS::CompiledEvent>&
min_acceptance
()
const
;
25
};
26
27
}
// end Assertions
28
}
// end FDR
FDR::Assertions::MinAcceptanceCounterexample::min_acceptance
const std::vector< LTS::CompiledEvent > & min_acceptance() const
The set of events the implementation is guaranteed to be accepted.
FDR::Assertions::RefinementCounterexample
A counterexample to a refinement assertion.
Definition:
refinement_counterexample.h:19
FDR::Assertions::MinAcceptanceCounterexample
A counterexample demonstrating how a failures refinement check failed.
Definition:
min_acceptance_counterexample.h:15
Generated on Mon May 11 2020 18:30:17 for FDR by
1.8.18