int 
Img_CheckNoCone(
    
)
Check if a model has been built and exists.. Return zero if something wrong.

Side Effects required

See Also optional

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.

Side Effects None

See Also Img_ImageFwd

bdd_ptr 
Img_ImageFwd(
  Fsm_BddPtr  fsm, 
  bdd_ptr  g 
)
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.

Side Effects None

See Also Img_ImageBwd

Last updated on 1021107 13h03