00001 #pragma once 00002 00003 #include <fdr/assertions/counterexample/property_counterexample.h> 00004 00005 namespace FDR 00006 { 00007 namespace Assertions 00008 { 00013 class DeadlockCounterexample : public PropertyCounterexample 00014 { 00015 public: 00016 DeadlockCounterexample(const std::shared_ptr<Behaviour>& behaviour); 00017 }; 00018 00019 } // end Assertions 00020 } // end FDR