polynomialset.hh File Reference

#include <algorithm>
#include <iostream>
#include <sstream>
#include <type_traits>
#include <vector>
#include <boost/optional.hpp>
#include <boost/range/algorithm/equal.hpp>
#include <boost/range/algorithm/find_if.hpp>
#include <boost/range/algorithm/lexicographical_compare.hpp>
#include <vcsn/ctx/context.hh>
#include <vcsn/ctx/project-context.hh>
#include <vcsn/ctx/traits.hh>
#include <vcsn/misc/algorithm.hh>
#include <vcsn/misc/attributes.hh>
#include <vcsn/misc/functional.hh>
#include <vcsn/misc/math.hh>
#include <vcsn/misc/raise.hh>
#include <vcsn/misc/star-status.hh>
#include <vcsn/misc/static-if.hh>
#include <vcsn/misc/stream.hh>
#include <vcsn/misc/wet.hh>
#include <vcsn/misc/zip-maps.hh>
#include <vcsn/weightset/f2.hh>
#include <vcsn/weightset/fwd.hh>
#include <vcsn/weightset/z.hh>

Include dependency graph for polynomialset.hh:

This graph shows which files directly or indirectly include this file:

Go to the source code of this file.

Classes
struct	vcsn::detail::is_division_ring< WeightSet >
struct	vcsn::detail::is_division_ring< z >
struct	vcsn::detail::is_division_ring< polynomialset< Context, Kind > >
class	vcsn::detail::polynomialset_impl< Context, Kind >
	Linear combination of labels: map labels to weights. More...
struct	vcsn::detail::polynomialset_impl< Context, Kind >::norm_< WeightSet, Dummy >
	In the general case, normalize by the first (non null) weight. More...
struct	vcsn::detail::polynomialset_impl< Context, Kind >::norm_< z, Dummy >
	For Z, take the GCD, with the sign of the first value. More...
struct	vcsn::detail::polynomialset_impl< Context, Kind >::norm_< polynomialset< Ctx, Knd >, Dummy >
	Compute the left GCD of weights which are polynomials. More...
struct	vcsn::detail::join_impl< polynomialset< Ctx1, Kind1 >, polynomialset< Ctx2, Kind2 > >
struct	vcsn::detail::join_impl< polynomialset< Ctx1, Kind1 >, WS2 >

Namespaces
	vcsn
	vcsn::detail

Macros
#define	SKIP_SPACES()
#define	SKIP_SPACES()

Functions
template<typename LabelSet >
auto	vcsn::label_is_zero (const LabelSet &ls, const typename LabelSet::value_t *l) -> decltype(ls.is_zero(l), bool())
template<typename LabelSet >
bool	vcsn::label_is_zero (const LabelSet &,...) ATTRIBUTE_CONST
template<typename Context , wet_kind_t Kind = detail::wet_kind<labelset_t_of<Context>, weightset_t_of<Context>>()>
polynomialset< Context, Kind >	vcsn::detail::make_polynomialset (const Context &context)

Macro Definition Documentation

#define SKIP_SPACES

(

)

Value:

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

Referenced by vcsn::detail::polynomialset_impl< Context, Kind >::conv(), and vcsn::detail::polynomialset_impl< Context, Kind >::conv_monomial().

#define SKIP_SPACES

(

)

Value:

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