regal::CatalanSuit Class Reference

#include <CatalanSuit.hpp>

Inheritance diagram for regal::CatalanSuit:

regal::AbstractSuit List of all members.

Public Member Functions

 CatalanSuit (const int &autSize, const int alphaSize)
int * first ()
int getMax (const int &pos)
int * next ()
virtual ~CatalanSuit ()

Constructor & Destructor Documentation

regal::CatalanSuit::CatalanSuit ( const int &  autSize,
const int  alphaSize 
) [inline]

Creates a catalen suit

Parameters:
autSize is the states number of the automaton
alphaSize is the size of the alphabet

virtual regal::CatalanSuit::~CatalanSuit (  )  [inline, virtual]

Destroy a CatalanSuit


Member Function Documentation

int * regal::CatalanSuit::first (  )  [virtual]

Returns the first tabular of integers, which is in bijection with paths of Dyck and uncomplete DFA Automaton. This is the first step for DFA generation. Rule: Max(i,p[i-1]) <= p[i] <= size

Returns:
1 2 3 .... n

Implements regal::AbstractSuit.

int regal::CatalanSuit::getMax ( const int &  pos  )  [inline]

Returns the value of the suit at the position pos if pos is smaller than size and automatonSize otherwise.

Parameters:
pos is the position we wants to have an information on
Returns:
the value of the suit at the position pos if pos is smaller than size and automatonSize otherwise.

int * regal::CatalanSuit::next (  )  [virtual]

Returns a tabular of integers, which is in bijection with paths of Dyck and uncomplete DFA Automaton. This is the first step for DFA generation. Rule: Max(i,p[i-1]) <= p[i] <= size

Returns:
the next tab, according to the construction rule, and NULL if the construction is over.

Implements regal::AbstractSuit.


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