awali::sttc::internal::reverse_postorder_impl< Aut > Class Template Reference

Get all vertexs in reverse postorder by using depth first search. More...

#include <has_twins_property.hh>

Public Member Functions
	reverse_postorder_impl (const Aut &aut)
std::stack< state_t > &	reverse_post ()

Detailed Description

template<typename Aut>
class awali::sttc::internal::reverse_postorder_impl< Aut >

Get all vertexs in reverse postorder by using depth first search.

Constructor & Destructor Documentation

reverse_postorder_impl()

template<typename Aut >

awali::sttc::internal::reverse_postorder_impl< Aut >::reverse_postorder_impl

(

const Aut &

aut

)

Member Function Documentation

reverse_post()

template<typename Aut >

std::stack<state_t>& awali::sttc::internal::reverse_postorder_impl< Aut >::reverse_post

(

)

---

The documentation for this class was generated from the following file:

• /home/marsault/git-client/telecom/awali.git/awali/sttc/algos/has_twins_property.hh