derivation.hh File Reference

#include <awali/sttc/algos/constant_term.hh>
#include <awali/sttc/algos/split.hh>
#include <awali/sttc/core/mutable_automaton.hh>
#include <awali/sttc/core/rat/visitor.hh>
#include <awali/sttc/history/ratexp_history.hh>
#include <awali/sttc/ctx/fwd.hh>
#include <awali/sttc/misc/raise.hh>
#include <awali/sttc/weightset/polynomialset.hh>
#include <awali/sttc/labelset/traits.hh>
#include <stack>
#include <iostream>
#include <unordered_map>

Go to the source code of this file.

Data Structures
class	awali::sttc::rat::derivation_visitor< RatExpSet >
struct	awali::sttc::internal::derived_termer< RatExpSet >

Namespaces
	awali
	Main namespace of Awali.
	awali::sttc
	Namespace for the static layer of Awali.
	awali::sttc::internal
	Implementation details of static layer (not stable).
	awali::sttc::rat
	Namespace about static rational expressions.

Macros
#define	DEBUG_IF(Then)   DEBUG_IFELSE(Then,)
#define	DEBUG_IFELSE(Then, Else)   Else

Functions
template<typename RatExpSet >
rat::ratexp_polynomial_t< RatExpSet >	awali::sttc::derivation (const RatExpSet &rs, const rat::ratexp_polynomial_t< RatExpSet > &p, label_t_of< RatExpSet > a, bool breaking=false)
	Derive a polynomial of ratexps wrt to a letter. More...
template<typename RatExpSet >
rat::ratexp_polynomial_t< RatExpSet >	awali::sttc::derivation (const RatExpSet &rs, const typename RatExpSet::ratexp_t &e, const typename sttc::labelset_trait< typename RatExpSet::labelset_t >::wordset_t::word_t &word, bool breaking=false)
	Derive a ratexp wrt to a word. More...
template<typename RatExpSet >
rat::ratexp_polynomial_t< RatExpSet >	awali::sttc::derivation (const RatExpSet &rs, const typename RatExpSet::ratexp_t &e, label_t_of< RatExpSet > a, bool breaking=false)
	Derive a ratexp wrt to a letter. More...
template<typename RatExpSet >
mutable_automaton< typename RatExpSet::context_t >	awali::sttc::derived_term (const RatExpSet &rs, const typename RatExpSet::ratexp_t &r, bool breaking=false, bool keep_history=true)
	Derive a ratexp wrt to a string. More...

Macro Definition Documentation

DEBUG_IF

#define DEBUG_IF

(

Then

)

DEBUG_IFELSE(Then,)

DEBUG_IFELSE

#define DEBUG_IFELSE	(		Then,
			Else
	)		Else