depth.hpp

Go to the documentation of this file.

#ifndef WALI_NWA_TRAVERSE_DEPTH_HPP
#define WALI_NWA_TRAVERSE_DEPTH_HPP

#include "opennwa/traverse/StateFunctor.hpp"
#include "opennwa/traverse/TransitionFunctor.hpp"

namespace opennwa {
    namespace traverse {

      void dfsCallStringTraversal(Nwa const & nwa,
                                  ConstCallStringStateFunctor * state_functor,
                                  ConstCallStringTransitionFunctor * trans_functor);
        
  }
}



// Yo, Emacs!
// Local Variables:
//   c-file-style: "ellemtel"
//   c-basic-offset: 2
// End:

#endif