Determinization module in dynamic library

Module loading

#include<dyn/module/determinize.hh>
Namespace:   awali::dyn

Functions

  1. is_deterministic
  2. determinize

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

2. determinize

automaton_t
determinize(automaton_t aut, bool history = true);

Parameters:

Return value:    A dynamic automaton which is the determinization of aut.
If the history argument is true, the automaton has a PARTITION history.

Usage