proper.hh File Reference

#include <stdexcept>
#include <type_traits>
#include <unordered_map>
#include <unordered_set>
#include <utility>
#include <vector>
#include <awali/sttc/algos/copy.hh>
#include <awali/sttc/algos/dot.hh>
#include <awali/sttc/algos/is_eps_acyclic.hh>
#include <awali/sttc/algos/is_proper.hh>
#include <awali/sttc/algos/is_valid.hh>
#include <awali/sttc/algos/transpose.hh>
#include <awali/sttc/core/kind.hh>
#include <awali/sttc/misc/attributes.hh>
#include <awali/common/enums.hh>
#include <awali/utils/heap.hh>
#include <awali/common/ato.cc>

Go to the source code of this file.

Data Structures
class	awali::sttc::internal::properer< Aut, has_one >
	This class contains the core of the proper algorithm. More...
class	awali::sttc::internal::properer< Aut, false >

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).

Macros
#define	STATS

Functions
static int	awali::sttc::internal::debug_level ()
	Debug level set in the user's environment. More...
template<typename Aut >
bool	awali::sttc::in_situ_remover (Aut &aut, bool prune=true)
	Blindly eliminate epsilon transitions without checking for the validity of the automaton. More...
template<typename Aut >
auto	awali::sttc::proper (const Aut &aut, direction_t dir=BACKWARD, bool prune=true, bool keep_history=true) -> decltype(copy(aut))
	Eliminate spontaneous transitions. More...
template<typename Aut >
void	awali::sttc::proper_here (Aut &aut, direction_t dir=BACKWARD, bool prune=true)
	Eliminate spontaneous transitions in place. More...

Macro Definition Documentation

STATS

#define STATS