#include<dyn/module/determinize.hh>Namespace:
awali::dyn
is_deterministic
determinize
is_deterministic
bool is_deterministic(automaton_t aut);
Parameter:
aut
:
A dynamic Awali automaton
Return value:
true
if the automaton aut
is deterministic;
false
otherwise.
determinize
automaton_t determinize(automaton_t aut, bool history = true);
aut
: A dynamic Awali automatonhistory
: A Boolean that tells whether the history must be
recorded or not.