are-equivalent.hh File Reference

#include <vcsn/algos/accessible.hh>
#include <vcsn/algos/complement.hh>
#include <vcsn/algos/complete.hh>
#include <vcsn/algos/determinize.hh>
#include <vcsn/algos/derived-term.hh>
#include <vcsn/algos/weight.hh>
#include <vcsn/algos/letterize.hh>
#include <vcsn/algos/conjunction.hh>
#include <vcsn/algos/reduce.hh>
#include <vcsn/algos/strip.hh>
#include <vcsn/algos/add.hh>
#include <vcsn/dyn/automaton.hh>
#include <vcsn/dyn/value.hh>

Include dependency graph for are-equivalent.hh:

This graph shows which files directly or indirectly include this file:

Go to the source code of this file.

Namespaces
	vcsn
	vcsn::dyn
	vcsn::dyn::detail

Functions
template<Automaton Aut1, Automaton Aut2>
auto	vcsn::are_equivalent (const Aut1 &a1, const Aut2 &a2) -> std::enable_if_t<(std::is_same< weightset_t_of< Aut1 >, b >::value &&std::is_same< weightset_t_of< Aut2 >, b >::value), bool >
	Check equivalence between Boolean automata on a free labelset. More...
template<Automaton Aut1, Automaton Aut2>
bool	vcsn::dyn::detail::are_equivalent (const automaton &aut1, const automaton &aut2)
	Bridge. More...
template<typename ExpSet1 , typename ExpSet2 >
auto	vcsn::are_equivalent (const ExpSet1 &rs1, const typename ExpSet1::value_t r1, const ExpSet2 &rs2, const typename ExpSet2::value_t r2) -> bool
	Check equivalence between two expressions. More...
template<typename ExpSet1 , typename ExpSet2 >
bool	vcsn::dyn::detail::are_equivalent_expression (const expression &r1, const expression &r2)
	Bridge (are_equivalent). More...
template<Automaton Lhs, Automaton Rhs>
fresh_automaton_t_of< Lhs >	vcsn::difference (const Lhs &lhs, const Rhs &rhs)
	An automaton that computes weights of lhs, but not by rhs. More...
template<Automaton Lhs, Automaton Rhs>
automaton	vcsn::dyn::detail::difference (const automaton &lhs, const automaton &rhs)
	Bridge. More...
template<typename ExpSet >
ExpSet::value_t	vcsn::difference (const ExpSet &rs, const typename ExpSet::value_t &lhs, const typename ExpSet::value_t &rhs)
	Difference of expressions. More...
template<typename ExpSetLhs , typename ExpSetRhs >
expression	vcsn::dyn::detail::difference_expression (const expression &lhs, const expression &rhs)
	Bridge (difference). More...