Awali
Another Weighted Automata library
Public Member Functions
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: