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