00001 #pragma once 00002 00003 #include <fdr/assertions/counterexample/refinement_counterexample.h> 00004 00005 namespace FDR 00006 { 00007 namespace Assertions 00008 { 00026 class DeterminismCounterexample : public RefinementCounterexample 00027 { 00028 public: 00029 DeterminismCounterexample(const std::shared_ptr<Behaviour>& specification, 00030 const std::shared_ptr<Behaviour>& implementation); 00031 }; 00032 00033 } // end Assertions 00034 } // end FDR