30 determinize(
const mutable_automaton<ctx::lal_char_b>& aut)
31 -> mutable_automaton<ctx::lal_char_b>;
35 std::ostream& fado<mutable_automaton<ctx::lal_char_b>>
36 (
const mutable_automaton<ctx::lal_char_b>& aut, std::ostream& out);
40 fado<vcsn::detail::transpose_automaton<mutable_automaton<ctx::lal_char_b>>>
41 (
const vcsn::detail::transpose_automaton<mutable_automaton<ctx::lal_char_b>>& aut,
46 std::ostream& grail<mutable_automaton<ctx::lal_char_b>>
47 (
const mutable_automaton<ctx::lal_char_b>& aut, std::ostream& out);
51 grail<vcsn::detail::transpose_automaton<mutable_automaton<ctx::lal_char_b>>>
52 (
const vcsn::detail::transpose_automaton<mutable_automaton<ctx::lal_char_b>>& aut,
56 #if VCSN_INSTANTIATION
61 template <
typename Ctx>
63 register_b_functions()
66 using aut_t = mutable_automaton<ctx_t>;
67 using rs_t = expressionset<ctx_t>;
69 # define REGISTER(Algo, ...) \
70 Algo ## _register(ssignature<__VA_ARGS__>(), dyn::detail::Algo<__VA_ARGS__>)
82 static bool register_lal_char_b ATTRIBUTE_USED
83 = register_b_functions<ctx::lal_char_b>();
86 #endif // ! VCSN_INSTANTIATION
context< lal_char, b > lal_char_b
ExpSet::value_t star_normal_form(const ExpSet &rs, const typename ExpSet::value_t &e)
Star-normal form of an expression.
VCSN_CTX_INSTANTIATE(ctx::lal_char_b)
auto are_equivalent(const Aut1 &a1, const Aut2 &a2) -> vcsn::enable_if_t<(std::is_same< weightset_t_of< Aut1 >, b >::value &&std::is_same< weightset_t_of< Aut2 >, b >::value), bool >
Check equivalence between Boolean automata on a free labelset.
Aut universal(const Aut &a)
static dyn::context ctx(const driver &d)
Get the context of the driver.
auto determinize(const Aut &a) -> determinized_automaton< Aut >
#define REGISTER(Algo,...)