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.
 1.7.1