void
Bdd_End
(
)
Quit the BddFsm package
void
Bdd_Init
(
)
Initializes the BddFsm package.
Last updated on 2005/07/18 16h:59