12 #ifndef COMPOSITE_STATE_1AD1142C_AAD0_4161_B700_32D0C0441769 13 #define COMPOSITE_STATE_1AD1142C_AAD0_4161_B700_32D0C0441769 sxe::SX_UNIQUE_PTR< deep_history > deep_history_uptr
Definition: deep_history_fwd.hpp:25
Definition: complex_state.hpp:26
sxe::SX_UNIQUE_PTR< shallow_history > shallow_history_uptr
Definition: shallow_history_fwd.hpp:23
virtual ~composite_state() SX_NOEXCEPT SX_OVERRIDE
Definition: composite_state.hpp:38
sxe::SX_UNIQUE_PTR< entry_point > entry_point_uptr
Definition: entry_point_fwd.hpp:25
std::vector< const entry_point *> raw_const_entry_points
Definition: entry_point_fwd.hpp:28
virtual shallow_history * get_shallow_history() const =0
Definition: deep_history.hpp:24
sxe::SX_UNIQUE_PTR< exit_point > exit_point_uptr
Definition: exit_point_fwd.hpp:25
Definition: composite_state.hpp:28
Definition: region.hpp:42
sxe::SX_UNIQUE_PTR< region > region_uptr
Definition: region_fwd.hpp:26
virtual const raw_const_entry_points get_entry_points() const =0
virtual shallow_history & add_shallow_history(shallow_history_uptr _shallow_history)=0
virtual deep_history & add_deep_history(deep_history_uptr _deep_history)=0
Definition: exit_point.hpp:24
Definition: adapter_cpp11.hpp:21
virtual entry_point & add_entry_point(entry_point_uptr _entry_point)=0
virtual exit_point & add_exit_point(exit_point_uptr _exit_point)=0
virtual const deep_history * get_deep_history() const =0
virtual size_t get_region_index(const region *const _region) const =0
virtual bool is_orthogonal() const =0
std::vector< const exit_point *> raw_const_exit_points
Definition: exit_point_fwd.hpp:28
virtual bool check_if_regions_are_completed() const =0
composite_state()
Definition: composite_state.hpp:32
virtual region & add_region(region_uptr _region)=0
virtual const raw_const_exit_points get_exit_points() const =0
Definition: entry_point.hpp:24
Definition: shallow_history.hpp:24