=================================================================== Modification le : Tue Oct 16 13:21:55 MET DST 2001 Par : francois =================================================================== Update of /users/outil/alliance/cvsroot/alliance/sources/boog In directory huelgoat:/users/cao/francois/alliance/sources/boog Modified Files: bog_map_adapt.c bog_map_pattern.c Log Message: clarification du code resolution du bug sur double inversion a cause de la cell =================================================================== Index: bog_map_adapt.c =================================================================== RCS file: /users/outil/alliance/cvsroot/alliance/sources/boog/bog_map_adapt.c,v retrieving revision 1.4 retrieving revision 1.5 diff -r1.4 -r1.5 74,87c74,91 < switch (port->DIRECTION) { < case IN: case INOUT: case TRANSCV: < if (ABL_ATOM(port->ABL)) { < name=getoppositename(ABL_ATOM_VALUE(port->ABL)); < if (is_signal(name)) ABL_ATOM_VALUE(port->ABL)=name; < else < { < /*add a not*/ < not=createabloper(ABL_NOT); < ABL_ARITY(not)=1; < /*swap pointers references*/ < swap_pointers(port->ABL,not); < ABL_CDR(port->ABL)=addchain(NULL,not); < } --- > if (port->DIRECTION!=IN && port->DIRECTION!=INOUT && port->DIRECTION!=TRANSCV) > continue; > > port->NEGATIV=0; > > #if 1 > > if (ABL_ATOM(port->ABL)) { > name=getoppositename(ABL_ATOM_VALUE(port->ABL)); > if (is_signal(name)) ABL_ATOM_VALUE(port->ABL)=name; > else > { > /*add a not*/ > not=createabloper(ABL_NOT); > ABL_ARITY(not)=1; > /*swap pointers references*/ > swap_pointers(port->ABL,not); > ABL_CDR(port->ABL)=addchain(NULL,not); 89c93,95 < else --- > } > else > { 97c103,104 < case ABL_NOT: /*impossible, it should have been accepted by pattern*/ --- > case ABL_NOT: /*no need to insert*/ =================================================================== 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/