Vcsn  2.0
Be Rational
 All Classes Namespaces Files Functions Variables Typedefs Enumerations Enumerator Friends Macros
complement.cc
Go to the documentation of this file.
3 #include <vcsn/dyn/algos.hh>
4 #include <vcsn/dyn/automaton.hh>
5 
6 namespace vcsn
7 {
8  namespace dyn
9  {
10  REGISTER_DEFINE(complement);
11  automaton
12  complement(const automaton& aut)
13  {
14  return detail::complement_registry().call(aut);
15  }
16 
17  REGISTER_DEFINE(complement_ratexp);
18  ratexp
20  {
21  return detail::complement_ratexp_registry().call(r);
22  }
23  }
24 }
std::shared_ptr< detail::automaton_base > automaton
Definition: automaton.hh:71
ratexp complement_ratexp(const ratexp &exp)
Bridge.
Definition: complement.hh:89
std::shared_ptr< detail::ratexp_base > ratexp
Definition: fwd.hh:64
Provide a variadic mul on top of a binary mul(), and one().
Definition: fwd.hh:36
automaton complement(const automaton &aut)
The complement of aut.
Definition: complement.cc:12