Changeset 44 for vis_dev/vis-2.3/src/debug/debug.h

Timestamp:

Jan 24, 2012, 3:41:23 PM (13 years ago)

Author:

cecile

Message:

abnormal predicate done

File:

• vis_dev/vis-2.3/src/debug/debug.h (modified) (3 diffs)

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

@@ -126 +126 @@
 EXTERN void Dbg_DebugAbnormalFree(Dbg_Abnormal_t * abn);
 EXTERN void Dbg_AbnormalFreeCallback(void *data);
-EXTERN void Dbg_AddAbnormalPredicatetoNetwork(Dbg_Abnormal_t* abnormal);
+EXTERN void Dbg_AddAbnormalPredicatetoNetwork(Dbg_Abnormal_t* abnormal,array_t* 
+excludes);
 EXTERN void Dbg_AddAbnormalPredicate(Dbg_Abnormal_t * abn, Ntk_Node_t* abnNode);
 EXTERN void Dbg_AddFreeInput(Dbg_Abnormal_t * abn, Ntk_Node_t* fNode);
@@ -133 +134 @@
 EXTERN Dbg_Abnormal_t * Dbg_NetworkReadAbnormal(Ntk_Network_t * network);
 EXTERN void Dbg_InitAbn(Dbg_Abnormal_t * abn, bAig_Manager_t   * manager,
-st_table * nodeToMvfAigTable, BmcCnfClauses_t *cnfClauses);
+st_table * nodeToMvfAigTable, int k, BmcCnfClauses_t *cnfClauses);
 EXTERN int Dbg_SatCheck(char * forceAssigName, char * cnfFileName, int verbose);
 EXTERN BmcCnfClauses_t* Dbg_GenerateCNF(Ntk_Network_t * network, 
@@ -140 +141 @@
 
 
-
 /**AutomaticEnd***************************************************************/