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

Timestamp:

Jan 10, 2012, 6:51:23 PM (12 years ago)

Author:

cecile

Message:

new command generate cnf from network

File:

• vis_dev/vis-2.3/src/debug/debug.h (modified) (1 diff)

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

@@ -132 +132 @@
 EXTERN array_t* Dbg_ReadAbn(Dbg_Abnormal_t *abnormal);
 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);
+EXTERN int Dbg_SatCheck(char * forceAssigName, char * cnfFileName);
+EXTERN BmcCnfClauses_t* Dbg_GenerateCNF(Ntk_Network_t * network, 
+BmcOption_t * option, st_table  *CoiTable);
+
+
+
 /**AutomaticEnd***************************************************************/