Cora functions in the <Name> module

  1. function <function>

1. function <Name>

$> Cora <Name> aut

Parameter:    aut: an automaton

Return value:
Bla bla

Usage

Terminal capture
Terminal capture

Results displayed with Graphviz

fig.png

automaton a1