Vcsn  2.0
Be Rational
 All Classes Namespaces Files Functions Variables Typedefs Enumerations Enumerator Friends Macros
is-valid-ratexp.hh File Reference
#include <stdexcept>
#include <vcsn/algos/constant-term.hh>
Include dependency graph for is-valid-ratexp.hh:
This graph shows which files directly or indirectly include this file:

Go to the source code of this file.

Namespaces

 vcsn
 
 vcsn::dyn
 FIXME: duplicate code with determinize.
 
 vcsn::dyn::detail
 

Functions

template<typename RatExpSet >
bool vcsn::is_valid (const RatExpSet &rs, const typename RatExpSet::value_t &e)
 Whether e has only computable stars. More...
 
template<typename RatExpSet >
bool vcsn::dyn::detail::is_valid_ratexp (const ratexp &exp)
 Bridge. More...
 
 vcsn::dyn::detail::REGISTER_DECLARE (is_valid_ratexp,(const ratexp &e) -> bool)