<Name> module in static library

Module loading

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

Functions

  1. function

1. function

function call code

Parameter:    aut :  Blabla

Return value:    true if the automaton aut is deterministic; false otherwise.

Usage