include/DFAAutomaton.hpp File Reference

#include <list>
#include <iterator>
#include "AbstractAutomaton.hpp"
#include "VerboseOption.hpp"
#include "Pair.hpp"

Go to the source code of this file.

Namespaces

namespace  regal
namespace  std

Classes

struct  regal::AutomatonLimitSizeExcedeedException
class  regal::DFAAutomaton< StateLabel_t, Sigma >

Functions

ostream & regal::operator<< (ostream &o, const DFAAutomaton< Pair< int, int >, char > &a)
ostream & regal::operator<< (ostream &o, const DFAAutomaton< int, char > &a)


Generated on Mon Sep 29 16:33:58 2008 for REGAL by  doxygen 1.5.1