Vcsn  2.2
Be Rational
is-free-boolean.hh
Go to the documentation of this file.
1 #pragma once
2 
3 #include <vcsn/core/automaton.hh>
4 #include <vcsn/ctx/traits.hh>
5 #include <vcsn/weightset/fwd.hh> // b
6 
7 namespace vcsn
8 {
9  template <Automaton Aut>
10  constexpr bool is_free_boolean()
11  {
13  && std::is_same<vcsn::weightset_t_of<Aut>, vcsn::b>::value;
14  }
15 }
Definition: a-star.hh:8
typename detail::labelset_t_of_impl< base_t< ValueSet >>::type labelset_t_of
Definition: traits.hh:55
Provide a variadic mul on top of a binary mul(), and one().
Definition: fwd.hh:46
constexpr bool is_free_boolean()