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

#include <CoAccessible.hpp>

List of all members.

Static Public Member Functions

static bool testCoAccessibility (Automaton_t *a, const int *states=NULL, const int &num=-1)

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


Member Function Documentation

template<typename StateLabel_t, typename Sigma, class Automaton_t = AbstractAutomaton<StateLabel_t,Sigma>>
static bool regal::CoAccessibleTester< StateLabel_t, Sigma, Automaton_t >::testCoAccessibility ( Automaton_t *  a,
const int *  states = NULL,
const int &  num = -1 
) [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