ratexp.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_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 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 cd, 
                               context::weightset_description,
                               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