awali::sttc::internal::is_quotient_computer_t< Aut1, Aut2 > Class Template Reference

#include <is_quotient.hh>

Public Member Functions
	is_quotient_computer_t (const automaton1_t &a1, const automaton2_t &a2)
bool	operator() ()

Constructor & Destructor Documentation

is_quotient_computer_t()

template<typename Aut1 , typename Aut2 >

awali::sttc::internal::is_quotient_computer_t< Aut1, Aut2 >::is_quotient_computer_t	(	const automaton1_t &	a1,
		const automaton2_t &	a2
	)

Member Function Documentation

operator()()

template<typename Aut1 , typename Aut2 >

bool awali::sttc::internal::is_quotient_computer_t< Aut1, Aut2 >::operator()

(

)

---

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

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