yasmine
deep_history_impl.hpp
Go to the documentation of this file.
1 // //
3 // This file is part of the Seadex yasmine ecosystem (http://yasmine.seadex.de). //
4 // Copyright (C) 2016-2017 Seadex GmbH //
5 // //
6 // Licensing information is available in the folder "license" which is part of this distribution. //
7 // The same information is available on the www @ http://yasmine.seadex.de/Licenses.html. //
8 // //
10 
11 
12 #ifndef DEEP_HISTORY_IMPL_F0E414BF_2D3A_406F_9BCF_9E6A87E7329D
13 #define DEEP_HISTORY_IMPL_F0E414BF_2D3A_406F_9BCF_9E6A87E7329D
14 
15 
16 #include "deep_history.hpp"
17 #include "history_impl.hpp"
18 
19 
20 namespace sxy
21 {
22 
23 
24 class deep_history_impl SX_FINAL:
25  public virtual deep_history, public history_impl
26 {
27 public:
28  explicit deep_history_impl( const std::string& _name );
29  virtual ~deep_history_impl() SX_NOEXCEPT SX_OVERRIDE;
30  SX_NO_COPY(deep_history_impl)
31  virtual bool check( state_machine_defects& _defects ) const SX_OVERRIDE;
32  virtual void accept_vertex_visitor( const_vertex_visitor& _visitor ) const SX_OVERRIDE;
33  virtual void accept_vertex_visitor( vertex_visitor& _visitor ) SX_OVERRIDE;
34  virtual void accept_pseudostate_visitor( pseudostate_visitor& _visitor ) const SX_OVERRIDE;
35 };
36 
37 
38 }
39 
40 
41 #endif
std::vector< state_machine_defect > state_machine_defects
Definition: state_machine_defect_fwd.hpp:23
Definition: adapter_cpp11.hpp:21