transition.h

Go to the documentation of this file.

// Author(s): Muck van Weerdenburg, Jan Friso Groote
// Copyright: see the accompanying file COPYING or copy at
// https://github.com/mCRL2org/mCRL2/blob/master/COPYING
//
// Distributed under the Boost Software License, Version 1.0.
// (See accompanying file LICENSE_1_0.txt or copy at
// http://www.boost.org/LICENSE_1_0.txt)
//
 
#ifndef MCRL2_LTS_TRANSITION_H
#define MCRL2_LTS_TRANSITION_H
 
#include <functional>
 
namespace mcrl2
{
namespace lts
{
 
static const std::size_t const_tau_label_index=0;
 
enum transition_sort_style
{
  src_lbl_tgt, 
  lbl_tgt_src, 
  tgt_lbl_src, 
  tgt_src_lbl, 
  tgt_lbl,     
  target       
};
 
class transition
{
  public:
    typedef std::size_t size_type;
 
  private:
    size_type m_from;
    size_type m_label;
    size_type m_to;
 
  public:
    // There is no default constructor
    transition() = delete;
 
    transition(const std::size_t f,
               const std::size_t l,
               const std::size_t t):m_from(f),m_label(l),m_to(t)
    {}
 
    transition(const transition& t) = default;
 
    transition(transition&& t) = default;
 
    transition& operator=(const transition& t) = default;
 
    transition& operator=(transition&& t) = default;
 
    size_type
    from() const
    {
      return m_from;
    }
 
    size_type label() const
    {
      return m_label;
    }
 
    size_type
    to() const
    {
      return m_to;
    }
 
    void
    set_from(const size_type from)
    {
      m_from = from;
    }
 
    void
    set_label(const size_type label)
    {
      m_label = label;
    }
 
    void
    set_to(const size_type to)
    {
      m_to = to;
    }
 
    bool
    operator ==(const transition& t) const
    {
      return m_from == t.m_from && m_label == t.m_label && m_to == t.m_to;
    }
 
    bool
    operator !=(const transition& t) const
    {
      return !(*this==t);
    }
 
    bool
    operator <(const transition& t) const
    {
      return m_from < t.m_from || (m_from == t.m_from && (m_label
                                   < t.m_label || (m_label == t.m_label && m_to < t.m_to)));
    }
};
 
} // namespace lts
} // namespace mcrl2
 
namespace std
{
 
template<>
struct hash<mcrl2::lts::transition>
{
  std::size_t operator()(const mcrl2::lts::transition& t) const
  {
    return t.from() << 2 ^ t.label() << 1 ^ t.to();
  }
};
 
} // namespace std
 
 
#include "mcrl2/lts/detail/transition.h"
 
#endif // MCRL2_LTS_TRANSITION_H