#include<sttc/algos/determinize.hh>Namespace:
awali::sttc
is_deterministic
determinize
is_deterministic
template <typename Aut> bool is_deterministic(const Aut& aut);
Parameter:
aut
:
A static Awali automaton that can be read-only
(including view)
Return value:
true
if the automaton aut
is deterministic;
false
otherwise.
determinize
template <typename Aut, typename Context = context_t_of<Aut>> mutable_automaton<Context> determinize(const Aut& aut, bool keep_history = true);
aut
: A static Awali automaton
that can be read-only (including view)
history
: A Boolean that tells whether the history must be
recorded or not.