
       void inf_DefineMutex(char *type, List *list);

DDEESSCCRRIIPPTTIIOONN
       Adds mutual exclusion constraints on signals, in order to help the dis-
       assembly process. May be especially usefull when dealing with  shifters
       or  multiplexors,  in  case  mutual  exclusion  constraints  can not be
       directly derived from internal combinational circuitry (if  the  mutual
       exclusions  constraints  come  from  latched  values  or come from con-
       straints on external pins).

AARRGGUUMMEENNTTSS
       ttyyppee          Mutual exclusion constraints, legal values for are _m_u_x_u_p,
                     _m_u_x_d_n, _c_m_p_u_p and _c_m_p_d_n (see INF file description)

       lliisstt          List  of  signals mutual exclusions constraints should be
                     applied on

       EEXXAAMMPPLLEE       _i_n_f___D_e_f_i_n_e_M_u_t_e_x _c_m_p_u_p _[_l_i_s_t _a___0 _a___1 _a___2 _a___3_]

