compound_transition_consumer.hpp

Go to the documentation of this file.

//                                                                                                  //
// This file is part of the Seadex yasmine ecosystem (http://yasmine.seadex.de).                    //
// Copyright (C) 2016-2017 Seadex GmbH                                                              //
//                                                                                                  //
// Licensing information is available in the folder "license" which is part of this distribution.   //
// The same information is available on the www @ http://yasmine.seadex.de/Licenses.html.           //
//                                                                                                  //


#ifndef COMPOUND_TRANSITION_CONSUMER_01F0BAAD_6712_44B9_AA77_76A33352E801
#define COMPOUND_TRANSITION_CONSUMER_01F0BAAD_6712_44B9_AA77_76A33352E801


#include "essentials/non_copyable.hpp"

#include "transition_step_fwd.hpp"
#include "compound_transition_fwd.hpp"
#include "transition_kind.hpp"


namespace sxy
{


class vertex;
class region;
class composite_state;


class compound_transition_consumer
{
public:
 compound_transition_consumer()
 {
  // Nothing to do...
 }


 virtual ~compound_transition_consumer() SX_NOEXCEPT
 {
  // Nothing to do...
 }


 SX_NO_COPY(compound_transition_consumer)
 virtual transition_steps& get_transition_steps() = 0;
 virtual const vertex& get_last_target() const = 0;
 virtual const compound_transitions& get_sub_compound_transitions() const = 0;
 virtual region * get_LCA_region() = 0;
 virtual composite_state * get_LCA_composite_state() = 0;
 virtual transition_kind get_transition_kind() = 0;
};


}


#endif