00001 #pragma once
00002
00003 #include <fdr/assertions/counterexample/counterexample.h>
00004 #include <fdr/assertions/behaviour/behaviour.h>
00005
00006 namespace FDR
00007 {
00008 namespace Assertions
00009 {
00014 class PropertyCounterexample : public Counterexample
00015 {
00016 public:
00018 const std::shared_ptr<Behaviour>& behaviour() const;
00019
00020 protected:
00021 PropertyCounterexample(const std::shared_ptr<Behaviour>& behaviour);
00022
00023 private:
00024 std::shared_ptr<Behaviour> behaviour_;
00025 };
00026
00027 }
00028 }