Ddi_Expr_t * 
Expr_ExprLoad(
  Ddi_BddMgr * dd, dd manager
  char * filename, file name
  FILE * fp file pointer
)
Load EXPRESSION from file

Side Effects None


void 
Expr_WriteTree(
  FILE * fout, 
  Ddi_Expr_t * tnode 
)
Print EXPRESSION to file

Side Effects None


Last updated on 1010515 11h48