regal Namespace Reference


Classes

class  AbstractAutomaton
class  AbstractDFAGenerator
class  AbstractExhaustiveGenerator
class  AbstractRandomGenerator
class  AbstractSuit
class  Alphabet
struct  AutomatonLimitSizeExcedeedException
class  BoltzmannSampler
class  CatalanSuit
class  CoAccessibleTester
class  CompleteAutomaton
class  CompletionSuit
class  Converter
class  DFA_Generator_transition
class  DFAAutomaton
class  DotConverter
class  ExhaustiveDFAGenerator
class  GasteXConverter
class  HistogramMaker
struct  InvalidFileException
struct  InvalidStateException
struct  InvalidStatsFileException
class  LocalTester
class  MathStatisticMaker
class  MinimizingAlgorithm
class  MooreAlgorithm
class  MyMooreAlgorithm
class  Pair
class  PlotStatisticMaker
class  RandomCompleteICDFAGenerator
class  RandomDFAGenerator
class  RandomIncompleteICDFAGenerator
class  RandomTreeAutomatonGenerator
class  ReverseDFAAlgorithm
class  StatisticMaker
class  StronglyConnectedTester
class  TimeStatisticMaker

Namespaces

namespace  plaws

Functions

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


Function Documentation

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

Print a pair of integers

Parameters:
o is the stream in which we add the DFA's description
a is the pair we want to print
Returns:
the modified stream

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

Print a DFA automaton

Parameters:
o is the stream in which we add the DFA's description
a is the DFA we want to print
Returns:
the modified stream

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

Print a DFA automaton

Parameters:
o is the stream in which we add the DFA's description
a is the DFA we want to print
Returns:
the modified stream

std::ostream& regal::operator<< ( std::ostream &  o,
const Alphabet< char > &  a 
)

Print an Alphabet

Parameters:
o is the stream in which we add the DFA's description
a is the Alphabet we want to print
Returns:
the modified stream


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