is_quotient.hh File Reference

#include <list>
#include <vector>
#include <map>
#include <set>
#include <awali/sttc/algos/accessible.hh>

Go to the source code of this file.

Data Structures
class	awali::sttc::internal::is_quotient_computer_t< Aut1, Aut2 >

Namespaces
	awali
	Main namespace of Awali.
	awali::sttc
	Namespace for the static layer of Awali.
	awali::sttc::internal
	Implementation details of static layer (not stable).

Functions
template<typename Aut1 , typename Aut2 >
bool	awali::sttc::is_quotient (const Aut1 &a1, const Aut2 &a2)