automaton.hh

Go to the documentation of this file.

// This file is part of Awali.
// Copyright 2016-2021 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