are_equivalent.hh File Reference

#include <awali/common/priority.hh>
#include <awali/sttc/algos/accessible.hh>
#include <awali/sttc/algos/complement.hh>
#include <awali/sttc/algos/complete.hh>
#include <awali/sttc/algos/determinize.hh>
#include <awali/sttc/algos/left_mult.hh>
#include <awali/sttc/algos/product.hh>
#include <awali/sttc/algos/reduce.hh>
#include <awali/sttc/algos/sum.hh>
#include <awali/sttc/algos/lal_lan_conversion.hh>

Go to the source code of this file.

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 Aut0 , typename Aut2 >
bool	awali::sttc::are_equivalent (const Aut0 &aut1, const Aut2 &aut2)
	Tests if aut1 and aut2 are equivalent. More...
template<typename Aut1 , typename Aut2 , typename P >
auto	awali::sttc::internal::are_equivalent_ (const Aut1 &aut1, const Aut2 &aut2, priority::FIVE< P >) -> typename std::enable_if<(labelset_t_of< Aut1 >::is_free() &&std::is_same< weightset_t_of< Aut1 >, b >::value &&labelset_t_of< Aut2 >::is_free() &&std::is_same< weightset_t_of< Aut2 >, b >::value), bool >::type
	Check equivalence between Boolean automata on a free labelset. More...
template<typename Aut1 , typename Aut2 , typename T >
auto	awali::sttc::internal::are_equivalent_ (const Aut1 &aut1, const Aut2 &aut2, priority::FOUR< T >) -> decltype(aut2->weightset() ->sub, aut2->weightset() ->zero, aut2->weightset() ->one, bool())
	Check equivalence between automata on fields, or Z. More...
template<typename Aut1 , typename Aut2 , typename P >
bool	awali::sttc::internal::are_equivalent_ (const Aut1 &aut1, const Aut2 &aut2, priority::ONE< P >)
template<typename Lhs , typename Rhs >
Lhs::element_type::automaton_nocv_t	awali::sttc::difference (const Lhs &aut1, const Rhs &aut2)
	Computes an automaton that accepts every word accepted by aut1 which is not accepted by aut2. More...