Vaucanson 1.4
|
Complementation algorithm for Boolean automata. More...
Go to the source code of this file.
Namespaces | |
namespace | vcsn |
The main namespace of the Vaucanson library. | |
Functions | |
template<typename A , typename AI > | |
void | complement_here (Element< A, AI > &a) |
Complement in place the set of final states. | |
template<typename A , typename AI > | |
Element< A, AI > | complement (const Element< A, AI > &a) |
Complement the set of final states. |
Complementation algorithm for Boolean automata.
Definition in file complement.hh.