La fonction PreImage pour BTR n'existe pas ...

2002-07-08 13:47:44 +00:00 · 2002-07-08 13:47:44 +00:00 · 7f64488df3
parent 8682768905
commit 7f64488df3
1 changed files with 0 additions and 1 deletions
--- a/alliance/src/btr/src/btr.h
+++ b/alliance/src/btr/src/btr.h
@ -206,6 +206,5 @@
 \------------------------------------------------------*/

  extern       bddnode * imagebtrtransrel __P((btrtransrel *TransRel, bddnode *StateSet));
-  bddnode   *preimagebtrtransrel();

 # endif