Main Page | Modules | Namespace List | Class Hierarchy | Alphabetical List | Class List | Directories | File List | Namespace Members | Class Members | File Members | Related Pages

Ranker Class Template Reference

List of all members.

Public Types

typedef std::map< hstate_t,
int > 
rank_t

Public Member Functions

void operator() (const automaton_t &t, rank_t &rank, automaton_t &B)

Detailed Description

template<typename Trans>
class vcsn::Ranker< Trans >

Definition at line 163 of file is_synchronisable.hxx.


Generated on Fri Oct 12 21:28:34 2007 for Vaucanson by  doxygen 1.4.4