![]() |
Vcsn
2.4
Be Rational
|
Go to the source code of this file.
Namespaces | |
| vcsn | |
| vcsn::dyn | |
| vcsn::dyn::detail | |
Functions | |
| template<typename ExpSet > | |
| bool | vcsn::is_valid (const ExpSet &rs, const typename ExpSet::value_t &e) |
| Whether e has only computable stars. More... | |
| template<typename ExpSet > | |
| bool | vcsn::dyn::detail::is_valid_expression (const expression &exp) |
| Bridge (is_valid). More... | |