void
Bdd_End
(
)
Quit the BddFsm package
void
Bdd_Init
(
)
Initializes the BddFsm package.
Last updated on 2010/05/19 15h:56