regal::MyMooreAlgorithm< StateLabel_t, Sigma, Automaton_t > Class Template Reference

#include <MyMooreAlgorithm.hpp>

Inheritance diagram for regal::MyMooreAlgorithm< StateLabel_t, Sigma, Automaton_t >:

regal::MinimizingAlgorithm< StateLabel_t, Sigma, Automaton_t > List of all members.

Public Member Functions

Automaton_t * minimize (Automaton_t *a)
int minimizeComplexity (Automaton_t *a)
unsigned int * minimizeMultipleComplexity (Automaton_t *a)
int minimizeSize (Automaton_t *a)
int * minimizeToPartition (Automaton_t *a, const int &it=-1)
 MyMooreAlgorithm ()
 ~MyMooreAlgorithm ()

template<typename StateLabel_t, typename Sigma, class Automaton_t = AbstractAutomaton<StateLabel_t,Sigma>>
class regal::MyMooreAlgorithm< StateLabel_t, Sigma, Automaton_t >


Constructor & Destructor Documentation

template<typename StateLabel_t, typename Sigma, class Automaton_t = AbstractAutomaton<StateLabel_t,Sigma>>
regal::MyMooreAlgorithm< StateLabel_t, Sigma, Automaton_t >::MyMooreAlgorithm (  )  [inline]

Create a instance of MyMooreAlgorithm, an optimized class for minimizing automaton

template<typename StateLabel_t, typename Sigma, class Automaton_t = AbstractAutomaton<StateLabel_t,Sigma>>
regal::MyMooreAlgorithm< StateLabel_t, Sigma, Automaton_t >::~MyMooreAlgorithm (  )  [inline]

Destroy a MyMooreAlgorithm instance


Member Function Documentation

template<typename StateLabel_t, typename Sigma, class Automaton_t = AbstractAutomaton<StateLabel_t,Sigma>>
Automaton_t* regal::MyMooreAlgorithm< StateLabel_t, Sigma, Automaton_t >::minimize ( Automaton_t *  a  )  [inline]

Minimize an automaton with Moore algorithm

Parameters:
a is the automaton to minimize
Returns:
the minimized automaton

template<typename StateLabel_t, typename Sigma, class Automaton_t = AbstractAutomaton<StateLabel_t,Sigma>>
int regal::MyMooreAlgorithm< StateLabel_t, Sigma, Automaton_t >::minimizeComplexity ( Automaton_t *  a  )  [inline]

Returns the complexity of the minimization on a

Parameters:
a is the automaton to minimize
Returns:
the complexity of the minimization

template<typename StateLabel_t, typename Sigma, class Automaton_t = AbstractAutomaton<StateLabel_t,Sigma>>
unsigned int* regal::MyMooreAlgorithm< StateLabel_t, Sigma, Automaton_t >::minimizeMultipleComplexity ( Automaton_t *  a  )  [inline, virtual]

Implements regal::MinimizingAlgorithm< StateLabel_t, Sigma, Automaton_t >.

template<typename StateLabel_t, typename Sigma, class Automaton_t = AbstractAutomaton<StateLabel_t,Sigma>>
int regal::MyMooreAlgorithm< StateLabel_t, Sigma, Automaton_t >::minimizeSize ( Automaton_t *  a  )  [inline]

Minimize an automaton with Moore algorithm and only returns the size of the result.

Parameters:
a is the automaton to minimize
Returns:
the size of the result.

template<typename StateLabel_t, typename Sigma, class Automaton_t = AbstractAutomaton<StateLabel_t,Sigma>>
int* regal::MyMooreAlgorithm< StateLabel_t, Sigma, Automaton_t >::minimizeToPartition ( Automaton_t *  a,
const int &  it = -1 
) [inline, virtual]

Minimize an automaton with MyMoore algorithm and returns a partition of the states.

Parameters:
a is the automaton to minimize
Returns:
partition of the states, in which i is a states of a and p[i] is a state of MyMoore(a)

Implements regal::MinimizingAlgorithm< StateLabel_t, Sigma, Automaton_t >.


The documentation for this class was generated from the following file:
Generated on Mon Sep 29 16:33:59 2008 for REGAL by  doxygen 1.5.1