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

#include <StronglyConnected.hpp>

List of all members.

Static Public Member Functions

static bool testConnectability (Automaton_t *a)

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


Member Function Documentation

template<typename StateLabel_t, typename Sigma, class Automaton_t = AbstractAutomaton<StateLabel_t,Sigma>>
static bool regal::StronglyConnectedTester< StateLabel_t, Sigma, Automaton_t >::testConnectability ( Automaton_t *  a  )  [inline, static]


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