#include<sttc/algos/<name>.hh>
awali::sttc
function
function call code
Parameter: aut : Blabla
aut
Return value: true if the automaton aut is deterministic; false otherwise.
true
false