automaton.hh

Go to the documentation of this file.

// This file is part of Awali.
// Copyright 2016-2022 Sylvain Lombardy, Victor Marsault, Jacques Sakarovitch
//
// Awali is a free software: you can redistribute it and/or modify
// it under the terms of the GNU General Public License as published by
// the Free Software Foundation, either version 3 of the License, or
// (at your option) any later version.
//
// This program is distributed in the hope that it will be useful,
// but WITHOUT ANY WARRANTY; without even the implied warranty of
// MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
// GNU General Public License for more details.
//
// You should have received a copy of the GNU General Public License
// along with this program. If not, see <http://www.gnu.org/licenses/>.
 
#ifndef DYN_AUTOMATON_HH
#define DYN_AUTOMATON_HH
 
#include <awali/dyn/core/abstract_automaton.hh>
 
namespace awali { namespace dyn {
 
 
    class automaton_t : public std::shared_ptr<abstract_automaton_t> {
    public:
 
 
      automaton_t();
 
        template <class T>
        automaton_t(
          const std::shared_ptr<T> &ptr,
          typename std::enable_if<
            std::is_base_of<abstract_automaton_t,T>::value,int
          >::type = 0
        )
          : std::shared_ptr<abstract_automaton_t>(ptr)
        {}
 
        static automaton_t from_context(context_t ctx);
 
 
      automaton_t(context::labelset_description ld,
                  context::weightset_description wd);
 
      static automaton_t from(std::string alphabet,
                              std::string weightset = "B",
                              bool allow_eps_transitions = false);
 
      static automaton_t from(std::string alphabet,
                              bool allow_eps_transitions,
                              std::string = "B");
 
 
      static automaton_t from(std::string alphabet, char const* ws);
 
      struct with_int_labels {
       private:
        with_int_labels() {}
       public:
 
 
        static automaton_t from_range(int l,
                                      int u,
                                      std::string weightset = "B",
                                      bool allow_eps_transitions = false);
 
 
        static automaton_t from_range(int l, int u, bool allow_eps_transitions);
 
 
        static automaton_t from_range(int l, int u, char const* ws);
 
 
        static automaton_t from_size(unsigned n,
                                     std::string weightset = "B",
                                     bool allow_eps_transitions = false);
 
        static automaton_t from_size(unsigned n, bool allow_eps_transitions);
 
        static automaton_t from_size(unsigned n, char const* weightset);
 
      };
    };
 
 
}}
 
 
#endif