FDR  4.2.7(6ecbe5a21b71ab020e8fcaeccfe5ebaad0599f4f)
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 {
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