Determinization module in static library

Module loading

#include<sttc/algos/determinize.hh>
Namespace:   awali::sttc

Functions

  1. is_deterministic
  2. determinize

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

2. determinize

template <typename Aut,
          typename Context = context_t_of<Aut>>
mutable_automaton<Context>
determinize(const Aut& aut, bool keep_history = true);

Parameters:

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

Usage