11 #ifndef MODEL_VERTEX_VISITOR_2F339562_6B94_4450_95C9_F0FA105E4D6B 12 #define MODEL_VERTEX_VISITOR_2F339562_6B94_4450_95C9_F0FA105E4D6B 15 #include "essentials/non_copyable.hpp" 16 #include "essentials/compatibility/compatibility.hpp" 27 class simple_state_model;
28 class composite_state_model;
29 class final_state_model;
30 class initial_pseudostate_model;
31 class terminate_pseudostate_model;
32 class entry_point_model;
33 class exit_point_model;
34 class deep_history_model;
35 class shallow_history_model;
Interface for a junction pseudostate in the model.
Definition: junction_model.hpp:29
virtual ~model_vertex_visitor() SX_NOEXCEPT
Definition: model_vertex_visitor.hpp:51
Interface for an entry point pseudostate in the model.
Definition: entry_point_model.hpp:28
Interface for an initial pseudostate int the model.
Definition: initial_pseudostate_model.hpp:29
Interface for an exit point pseudostate in the model.
Definition: exit_point_model.hpp:29
Interface for a simple state in the model.
Definition: simple_state_model.hpp:29
Interface for a terminate pseudostate in the model.
Definition: terminate_pseudostate_model.hpp:29
Definition: model_vertex_visitor.hpp:42
Definition: algorithm_parameters.hpp:16
Interface for a shallow history pseudostate in the model.
Definition: shallow_history_model.hpp:29
Interface for a fork pseudostate in the model.
Definition: fork_model.hpp:29
Interface for a join pseudostate in the model.
Definition: join_model.hpp:29
Definition: choice_model.hpp:29
Interface for a deep history pseudostate in the model.
Definition: deep_history_model.hpp:28
model_vertex_visitor()
Definition: model_vertex_visitor.hpp:45
Interface for a composite state in the model.
Definition: composite_state_model.hpp:31
virtual void visit(const simple_state_model &_simple_state_model)=0
Interface for a final state in the model.
Definition: final_state_model.hpp:30