00001 #pragma once
00002
00003 #include <fdr/assertions/counterexample/refinement_counterexample.h>
00004
00005 namespace FDR
00006 {
00007 namespace Assertions
00008 {
00014 class MinAcceptanceCounterexample : public RefinementCounterexample
00015 {
00016 public:
00017 MinAcceptanceCounterexample(const std::shared_ptr<Behaviour>& specification,
00018 const std::shared_ptr<Behaviour>& implementation);
00019
00024 const std::vector<LTS::CompiledEvent>& min_acceptance() const;
00025 };
00026
00027 }
00028 }