polynomialset.hh File Reference

#include <algorithm>
#include <iostream>
#include <sstream>
#include <type_traits>
#include <vector>
#include <awali/sttc/ctx/context.hh>
#include <awali/sttc/weightset/fwd.hh>
#include <awali/sttc/ctx/traits.hh>
#include <awali/sttc/misc/attributes.hh>
#include <awali/utils/hash.hh>
#include <awali/sttc/misc/map.hh>
#include <awali/sttc/misc/raise.hh>
#include <awali/common/enums.hh>
#include <awali/sttc/misc/stream.hh>
#include <awali/common/types.hh>

Go to the source code of this file.

Data Structures
class	awali::sttc::polynomialset< Context >
	Linear combination of labels: map labels to weights. More...

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

Macros
#define	SKIP_SPACES()

Functions
template<typename Aut >
polynomialset< context_t_of< Aut > >::value_t	awali::sttc::get_entry (const Aut &aut, state_t s, state_t d)
	The entry between two states of an automaton. More...
template<typename PLS1 , typename PWS1 , typename PLS2 , typename PWS2 >
auto	awali::sttc::join (const polynomialset< context< PLS1, PWS1 >> &p1, const polynomialset< context< PLS2, PWS2 >> &p2) -> polynomialset< context< join_t< PLS1, PLS2 >, join_t< PWS1, PWS2 >>>
template<typename PLS1 , typename PWS1 , typename WS2 >
auto	awali::sttc::join (const polynomialset< context< PLS1, PWS1 >> &p1, const WS2 &w2) -> polynomialset< context< PLS1, join_t< PWS1, WS2 >>>
template<typename WS1 , typename PLS2 , typename PWS2 >
auto	awali::sttc::join (const WS1 &w1, const polynomialset< context< PLS2, PWS2 >> &p2) -> polynomialset< context< PLS2, join_t< WS1, PWS2 >>>
template<typename LabelSet >
bool	awali::sttc::label_is_zero (const LabelSet &,...) ATTRIBUTE_CONST
template<typename LabelSet >
auto	awali::sttc::label_is_zero (const LabelSet &ls, const typename LabelSet::value_t *l) -> decltype(ls.is_zero(l), bool())

Macro Definition Documentation

SKIP_SPACES

#define SKIP_SPACES

(

)

Value:

      while (isspace(i.peek()))                 \
        i.ignore()