00001 #pragma once
00002
00003 #include <fdr/assertions/behaviour/behaviour.h>
00004
00005 namespace FDR
00006 {
00007 namespace Assertions
00008 {
00013 class MinAcceptanceBehaviour : public Behaviour
00014 {
00015 public:
00016 MinAcceptanceBehaviour(const std::shared_ptr<LTS::Machine>& machine,
00017 const std::vector<std::shared_ptr<LTS::Node>>& node_path,
00018 const std::vector<LTS::CompiledEvent>& trace,
00019 const std::vector<LTS::CompiledEvent>& min_acceptance);
00020
00022 const std::vector<LTS::CompiledEvent>& min_acceptance() const;
00023
00024 private:
00025 const std::vector<LTS::CompiledEvent> min_acceptance_;
00026 };
00027
00028 }
00029 }