void
Bdd_End
(
)
Quit the BddFsm package
void
Bdd_Init
(
)
Initializes the BddFsm package.
Last updated on 2010/11/03 21h:54