Check if a model has been built and exists.. Return zero if something wrong.
Side Effects required
See Alsooptional
int
Img_Check(
)
Check if built model exists. Return zero if something wrong.
bdd_ptr
Img_ImageBwd(
Fsm_BddPtr fsm,
bdd_ptr g
)
Computes the backward image of a set of states.
The resulting set is in term of current state variables. Depending
the partitioning heuristich choosen, the corresponding image
function is used.
Computes the forward image of a set of states.
The resulting set is in term of current state variables. Depending
the partitioning heuristich choosen, the corresponding image
function is used.