fwd.hh File Reference

#include <memory>
#include <awali/sttc/core/rat/identities.hh>
#include <awali/sttc/weightset/weightset.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(Node)

Typedefs
template<typename Label , typename Weight >
using	awali::sttc::rat::complement = unary< type_t::complement, Label, Weight >
template<typename Label , typename Weight >
using	awali::sttc::rat::conjunction = variadic< type_t::conjunction, Label, Weight >
using	awali::sttc::rat::exp_t = std::shared_ptr< const exp >
template<typename Label , typename Weight >
using	awali::sttc::rat::ldiv = variadic< type_t::ldiv, Label, Weight >
template<typename Label , typename Weight >
using	awali::sttc::rat::lweight = weight_node< type_t::lweight, Label, Weight >
template<typename Label , typename Weight >
using	awali::sttc::rat::one = constant< type_t::one, Label, Weight >
template<typename Label , typename Weight >
using	awali::sttc::rat::prod = variadic< type_t::prod, Label, Weight >
template<typename Label , typename Weight >
using	awali::sttc::rat::ratexp = std::shared_ptr< const node< Label, Weight > >
template<typename Context >
using	awali::sttc::ratexpset = variadic_mul_mixin< rat::ratexpset_impl< Context > >
template<typename Label , typename Weight >
using	awali::sttc::rat::rweight = weight_node< type_t::rweight, Label, Weight >
template<typename Label , typename Weight >
using	awali::sttc::rat::shuffle = variadic< type_t::shuffle, Label, Weight >
template<typename Label , typename Weight >
using	awali::sttc::rat::star = unary< type_t::star, Label, Weight >
template<typename Label , typename Weight >
using	awali::sttc::rat::sum = variadic< type_t::sum, Label, Weight >
template<typename Label , typename Weight >
using	awali::sttc::rat::transposition = unary< type_t::transposition, Label, Weight >
template<typename Label , typename Weight >
using	awali::sttc::rat::zero = constant< type_t::zero, Label, Weight >

Enumerations
enum class	awali::sttc::rat::type_t {   awali::sttc::rat::zero , awali::sttc::rat::one , awali::sttc::rat::atom , awali::sttc::rat::sum ,   awali::sttc::rat::prod , awali::sttc::rat::ldiv , awali::sttc::rat::conjunction , awali::sttc::rat::shuffle ,   awali::sttc::rat::star , awali::sttc::rat::transposition , awali::sttc::rat::lweight , awali::sttc::rat::rweight ,   awali::sttc::rat::complement }
	The possible types of ratexps. More...

Functions
constexpr bool	awali::sttc::rat::is_constant (type_t t)
	Whether is a constant (\z or \e). More...
constexpr bool	awali::sttc::rat::is_unary (type_t t)
	Whether star, complement. More...
constexpr bool	awali::sttc::rat::is_variadic (type_t t)
	Whether one of the variadic types. More...
std::ostream &	awali::sttc::rat::operator<< (std::ostream &o, type_t t)

Macro Definition Documentation

DEFINE

#define DEFINE

(

Node

)

Value:

    template <typename Label, typename Weight>  \
    class Node