#include <split.hh>
|
| split_visitor (const ratexpset_t &rs) |
|
| AWALI_RAT_VISIT (atom, e) |
|
| AWALI_RAT_VISIT (conjunction, e) |
| Handle an n-ary conjunction. More...
|
|
| AWALI_RAT_VISIT (lweight, e) |
|
| AWALI_RAT_VISIT (one,) |
|
| AWALI_RAT_VISIT (prod, e) |
| Handle an n-ary product. More...
|
|
| AWALI_RAT_VISIT (rweight, e) |
|
| AWALI_RAT_VISIT (star, e) |
|
| AWALI_RAT_VISIT (sum, e) |
|
| AWALI_RAT_VISIT (zero,) |
|
polynomial_t | conjunction (const polynomial_t &l, const ratexp_t &r) |
| The split-product of l with r. More...
|
|
polynomial_t | conjunction (const ratexp_t &l, const ratexp_t &r) |
| The split-product of l with r. More...
|
|
polynomial_t | operator() (const ratexp_t &v) |
| Break a ratexp into a polynomial. More...
|
|
polynomial_t | product (const polynomial_t &l, const ratexp_t &r) |
| The split-product of l with r. More...
|
|
polynomial_t | product (const ratexp_t &l, const ratexp_t &r) |
| The split-product of l with r. More...
|
|
polynomial_t | split (const ratexp_t &v) |
| Easy recursion. More...
|
|
|
constexpr static const char * | me () |
|
◆ context_t
template<typename RatExpSet >
◆ label_t
template<typename RatExpSet >
◆ labelset_t
template<typename RatExpSet >
◆ polynomial_t
template<typename RatExpSet >
◆ polynomialset_t
template<typename RatExpSet >
◆ ratexp_t
template<typename RatExpSet >
◆ ratexpset_t
template<typename RatExpSet >
◆ super_type
template<typename RatExpSet >
◆ weight_t
template<typename RatExpSet >
◆ weightset_t
template<typename RatExpSet >
◆ split_visitor()
template<typename RatExpSet >
◆ AWALI_RAT_VISIT() [1/9]
template<typename RatExpSet >
◆ AWALI_RAT_VISIT() [2/9]
template<typename RatExpSet >
Handle an n-ary conjunction.
◆ AWALI_RAT_VISIT() [3/9]
template<typename RatExpSet >
◆ AWALI_RAT_VISIT() [4/9]
template<typename RatExpSet >
◆ AWALI_RAT_VISIT() [5/9]
template<typename RatExpSet >
◆ AWALI_RAT_VISIT() [6/9]
template<typename RatExpSet >
◆ AWALI_RAT_VISIT() [7/9]
template<typename RatExpSet >
◆ AWALI_RAT_VISIT() [8/9]
template<typename RatExpSet >
◆ AWALI_RAT_VISIT() [9/9]
template<typename RatExpSet >
◆ conjunction() [1/2]
template<typename RatExpSet >
The split-product of l with r.
Returns l x split(r).
◆ conjunction() [2/2]
template<typename RatExpSet >
The split-product of l with r.
Returns split(l) x split(r). FIXME: This is inefficient, we split the lhs way too often.
◆ me()
template<typename RatExpSet >
◆ operator()()
template<typename RatExpSet >
Break a ratexp into a polynomial.
◆ product() [1/2]
template<typename RatExpSet >
The split-product of l with r.
Returns l x split(r).
◆ product() [2/2]
template<typename RatExpSet >
The split-product of l with r.
Returns split(l) x split(r). FIXME: This is inefficient, we split the lhs way too often.
◆ split()
template<typename RatExpSet >
The documentation for this class was generated from the following file:
- /home/marsault/git-client/telecom/awali.git/awali/sttc/algos/split.hh