FDR  4.2.7(6ecbe5a21b71ab020e8fcaeccfe5ebaad0599f4f)
min_acceptance_behaviour.h
1 #pragma once
2 
3 #include <fdr/assertions/behaviour/behaviour.h>
4 
5 namespace FDR
6 {
7 namespace Assertions
8 {
14 {
15 public:
16  MinAcceptanceBehaviour(const std::shared_ptr<LTS::Machine>& machine,
17  const std::vector<std::shared_ptr<LTS::Node>>& node_path,
18  const std::vector<LTS::CompiledEvent>& trace,
19  const std::vector<LTS::CompiledEvent>& min_acceptance);
20 
22  const std::vector<LTS::CompiledEvent>& min_acceptance() const;
23 
24 private:
25  const std::vector<LTS::CompiledEvent> min_acceptance_;
26 };
27 
28 } // end Assertions
29 } // end FDR
FDR::Assertions::MinAcceptanceBehaviour
A Behaviour that events in a state with a disallowed minimal acceptance.
Definition: min_acceptance_behaviour.h:14
FDR::Assertions::Behaviour::node_path
const std::vector< std::shared_ptr< LTS::Node > > & node_path() const
The sequence of nodes leading to the behaviour.
FDR::Assertions::Behaviour::trace
const std::vector< LTS::CompiledEvent > & trace() const
Returns the sequence of events that led to this behaviour.
FDR::Assertions::MinAcceptanceBehaviour::min_acceptance
const std::vector< LTS::CompiledEvent > & min_acceptance() const
The erroneous minimal acceptance.
FDR::Assertions::Behaviour
A particular path through a Machine, often leading to an interesting state.
Definition: behaviour.h:22
FDR::Assertions::Behaviour::machine
std::shared_ptr< LTS::Machine > machine() const
The machine in which the behaviour occurs.