=================================================================== Modification le : Fri Nov 2 17:33:35 MET 2001 Par : syf =================================================================== Update of /users/outil/alliance/cvsroot/alliance/sources/syf/boo In directory beny:/users/outil/syf/alliance/sources/syf/boo Modified Files: Makefile boom_bdd.c boom_check.c boom_debug.c boom_optim.c boom_order.c boom_shared.h Log Message: Dont care dans boom ... =================================================================== Index: Makefile =================================================================== RCS file: /users/outil/alliance/cvsroot/alliance/sources/syf/boo/Makefile,v retrieving revision 1.3 retrieving revision 1.4 diff -r1.3 -r1.4 125c125 < boom_param.o boom_main.o \ --- > boom_param.o boom_dc.o boom_main.o \ Index: boom_bdd.c =================================================================== RCS file: /users/outil/alliance/cvsroot/alliance/sources/syf/boo/boom_bdd.c,v retrieving revision 1.1 retrieving revision 1.2 diff -r1.1 -r1.2 125,126c125 < if ( ( AtomValue == ABL_ATOM_NAME_ZERO ) || < ( AtomValue == ABL_ATOM_NAME_DC ) ) --- > if ( AtomValue == ABL_ATOM_NAME_ZERO ) 1106c1105 < static void BoomBehDeleteDuplicateKeepAux( BehFigure, OrderFlag ) --- > static void BoomBehDeleteDuplicateKeepAux( BehFigure, OrderFlag, DontCareFlag ) 1109a1109 > int DontCareFlag; 1195c1195 < BoomBehMakeBddOrder( BehFigure, OrderFlag ); --- > BoomBehMakeBddOrder( BehFigure, OrderFlag, DontCareFlag ); 1210c1210 < void BoomBehAbl2BddNode( BehFigure, OrderFlag ) --- > void BoomBehAbl2BddNode( BehFigure, OrderFlag, DontCareFlag ) 1213c1213,1214 < char OrderFlag; --- > int OrderFlag; > int DontCareFlag; 1253a1255,1256 > if ( DontCareFlag ) NumberIn++; > 1272c1275 < BoomBehMakeBddOrder( BehFigure, OrderFlag ); --- > BoomBehMakeBddOrder( BehFigure, OrderFlag, DontCareFlag ); 1276c1279 < BoomBehDeleteDuplicateKeepAux( BehFigure, OrderFlag ); --- =================================================================== Ce message est envoyé au personnes abonnées à alliance-programmers Pour plus d'information sur cette mailling-list, visitez : http://www-asim.lip6.fr/alliance/mailing-lists/