ratexp.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_CORE_RATEXP_HH
#define DYN_CORE_RATEXP_HH
 
#include<memory>
#include<awali/dyn/core/abstract_ratexp.hh>
#include<awali/dyn/core/abstract_context.hh>
#include<awali/dyn/core/context_description.hh>
 
namespace awali {
namespace dyn {
 
class ratexp_t : public std::shared_ptr<abstract_ratexp_t> {
public:
 
  ratexp_t() : std::shared_ptr<abstract_ratexp_t>() {}
 
 
  template<class T>
  ratexp_t(const std::shared_ptr<T>& ptr,
           typename std::enable_if<
             std::is_base_of<abstract_ratexp_t,T>::value,
             int
           >::type = 0)
    : std::shared_ptr<abstract_ratexp_t>(ptr)
  {}
  
  ratexp_t(std::string str,
           context::labelset_description ld,
           context::weightset_description wd,
           bool fixed_alphabet = true);
 
 
  ratexp_t operator+ (ratexp_t exp);
 
  /* Concatenation of two rational expressions. */
  ratexp_t operator* (ratexp_t exp);
 
  abstract_ratexp_t& operator*() {
    return shared_ptr<abstract_ratexp_t>::operator*();
  }
 
  static ratexp_t from (std::string str,
                        std::string weightset = "B",
                        std::string alphabet ="auto");
 
  static ratexp_t from_context (std::string str,
                                context_t ctx,
                                bool fixed_alphabet = true);
 
  static ratexp_t from_context(std::string str,
                               context::labelset_description ld,
                               context::weightset_description wd,
                               bool fixed_alphabet = true);
 
  struct with_int_labels {
    static ratexp_t from_range(std::string str,
                               int l,
                               int u,
                               std::string weightset = "B");
 
    static ratexp_t from(std::string str, std::string weightset = "B");
 
    static ratexp_t from_size(std::string str,
                              unsigned n,
                              std::string weightset = "B");
  };
 
  struct with_tuple_labels {
    static ratexp_t from(std::string str,
                         unsigned n,
                         std::string weightset = "B");
 
    static ratexp_t from(std::string str,
                         std::vector<std::string> alphabets,
                         std::string weightset ="B");
  };
 
};
 
}} // end of namespaces awali::dyn, and awali
#endif