00001 #pragma once 00002 00003 #include <fdr/assertions/behaviour/behaviour.h> 00004 00005 namespace FDR 00006 { 00007 namespace Assertions 00008 { 00012 class ExplicitDivergenceBehaviour : public Behaviour 00013 { 00014 public: 00015 ExplicitDivergenceBehaviour(const std::shared_ptr<LTS::Machine>& machine, 00016 const std::vector<std::shared_ptr<LTS::Node>>& node_path, 00017 const std::vector<LTS::CompiledEvent>& events); 00018 }; 00019 00020 } // end Assertions 00021 } // end FDR