Awali
Another Weighted Automata library
Data Structures | Namespaces | Macros | Functions
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