Awali
Another Weighted Automata library
Namespaces | Macros
ratexpset.hxx File Reference
#include <algorithm>
#include <cassert>
#include <stdexcept>
#include <awali/sttc/core/rat/copy.hh>
#include <awali/sttc/core/rat/less_than.hh>
#include <awali/sttc/core/rat/equal_visit.hh>
#include <awali/sttc/core/rat/ratexp.hh>
#include <awali/sttc/core/rat/size.hh>
#include <awali/sttc/core/rat/hash.hh>
#include <awali/sttc/core/rat/transpose.hh>
#include <awali/sttc/algos/print_exp.hh>
#include <awali/sttc/labelset/oneset.hh>
#include <awali/sttc/misc/attributes.hh>
#include <awali/sttc/misc/cast.hh>
#include <awali/sttc/misc/stream.hh>
#include <awali/sttc/algos/js_print.hh>
#include <awali/sttc/algos/js_parser.hh>
#include <awali/sttc/algos/exp_parser.hh>

Go to the source code of this file.

Namespaces

 awali
 Main namespace of Awali.
 
 awali::sttc
 Namespace for the static layer of Awali.
 
 awali::sttc::rat
 Namespace about static rational expressions.
 

Macros

#define DEFINE
 

Macro Definition Documentation

◆ DEFINE

#define DEFINE
Value:
template <typename Context> \
inline \
auto \
ratexpset_impl<Context>