void
Bdd_End
(
)
Quit the BddFsm package
void
Bdd_Init
(
)
Initializes the BddFsm package.
Last updated on 2004/12/28 16h:58