Awali
Another Weighted Automata library
Namespaces | Macros
fwd.hh File Reference

Go to the source code of this file.

Namespaces

 awali
 Main namespace of Awali.
 
 awali::sttc
 Namespace for the static layer of Awali.
 

Macros

#define AWALI_WEIGHTS_BINARY(Lhs, Rhs, Res)
 
#define AWALI_WEIGHTS_BINARY_TEMPL(Tmplt, Lhs, Rhs, Res)
 

Macro Definition Documentation

◆ AWALI_WEIGHTS_BINARY

#define AWALI_WEIGHTS_BINARY (   Lhs,
  Rhs,
  Res 
)
Value:
\
inline \
Res join(const Lhs&, const Rhs&) \
{ \
return {}; \
}
identities join(identities i1, identities i2)

◆ AWALI_WEIGHTS_BINARY_TEMPL

#define AWALI_WEIGHTS_BINARY_TEMPL (   Tmplt,
  Lhs,
  Rhs,
  Res 
)
Value:
\
template Tmplt \
inline \
Res join(const Lhs&, const Rhs&) \
{ \
return {}; \
}