void
Bdd_End
(
)
Quit the BddFsm package
void
Bdd_Init
(
)
Initializes the BddFsm package.
Last updated on 2006/08/01 10h:49