Ignore:
Timestamp:
Jan 4, 2012, 12:03:00 PM (13 years ago)
Author:
cecile
Message:

Add Abnormal predicate structures

File:
1 edited

Legend:

Unmodified
Added
Removed

  • vis_dev/vis-2.3/src/debug/debug.h

    r35 r36  
    6565/* Type declarations                                                         */
    6666/*---------------------------------------------------------------------------*/
    67 
     67typedef struct DbgAbnormalStruct Dbg_Abnormal_t;
    6868
    6969/*---------------------------------------------------------------------------*/
    … …  
    7676/*---------------------------------------------------------------------------*/
    7777
     78/**Macro***********************************************************************
     79
     80  Synopsis     [Iterates over the abnormal predicates.]
     81
     82  Description  [This macro iterates over the abnormal predicates. It is an error
     83  ]
     84
     85  SideEffects  [This macro instantiates macros from the array package.  Hence
     86  it is advisable not to nest this macro within array macros.]
     87
     88  SeeAlso      [Ntk_NodeForFreeInputs]
     89
     90******************************************************************************/
     91#define Dbg_ForEachAbnormal(                                       \
     92  /* Dbg_Abnormal_t * */ abnormal   /* abnormal to iterate abn */,            \
     93  /* int */          i      /* local variable for iterator */,       \
     94  /* Ntk_Node_t * */ abn  /* abn of node */                      \
     95)                                                                   \
     96  arrayForEachItem(Ntk_Node_t *, Dbg_ReadAbn(abnormal), i, abn)
     97/**Macro***********************************************************************
     98
     99  Synopsis     [Iterates over the abnormal predicates.]
     100
     101  Description  [This macro iterates over the abnormal predicates. It is an error
     102  ]
     103
     104  SideEffects  [This macro instantiates macros from the array package.  Hence
     105  it is advisable not to nest this macro within array macros.]
     106
     107  SeeAlso      [Ntk_NodeForFreeInputs]
     108
     109******************************************************************************/
     110#define Dbg_ForEachFreeInputs(                                       \
     111  /* Dbg_Abnormal_t * */ abnormal   /* abnormal to iterate abn */,            \
     112  /* int */          i      /* local variable for iterator */,       \
     113  /* Ntk_Node_t * */ abn  /* abn of node */                      \
     114)                                                                   \
     115  arrayForEachItem(Ntk_Node_t *, Dbg_ReadFreeInputs(abnormal), i, abn)
    78116
    79117/**AutomaticStart*************************************************************/
    … …  
    83121/*---------------------------------------------------------------------------*/
    84122
    85 void printLatch(st_table* CoiTable);
    86 st_table * generateAllLatches(Ntk_Network_t * ntk);
    87 void mdd_GetState_Values(mdd_manager *mgr, mdd_t * top, FILE * f);
    88123EXTERN void Debug_Init(void);
    89124EXTERN void Debug_End(void);
    90 
     125EXTERN Dbg_Abnormal_t * Dbg_DebugAbnormalAlloc(Ntk_Network_t * network);
     126EXTERN void  Dbg_DebugAbnormalFree(Dbg_Abnormal_t * abn);
     127EXTERN void Dbg_AddAbnormalPredicatetoNetwork(Dbg_Abnormal_t* abnormal);
     128EXTERN void Dbg_AddAbnormalPredicate(Dbg_Abnormal_t * abn, Ntk_Node_t* abnNode);
     129EXTERN void Dbg_AddFreeInput(Dbg_Abnormal_t * abn, Ntk_Node_t* fNode);
     130EXTERN array_t* Dbg_ReadFreeInputs(Dbg_Abnormal_t *abnormal);
     131EXTERN array_t* Dbg_ReadAbn(Dbg_Abnormal_t *abnormal);
    91132/**AutomaticEnd***************************************************************/
    92133
Note: See TracChangeset for help on using the changeset viewer.