Changeset 41 for vis_dev/vis-2.3/src/debug/debugInt.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/debugInt.h (modified) (1 diff)

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

@@ -55 +55 @@
         array_t * abnormal; /* Array of Ntk_Node_t* */
         array_t * freeInputs; /* Array of Ntk_Node_t* */
+        array_t * abnAigArray; /* Array of bAigEdge_t* as many entries as possible value */
+        array_t * abnCnfIndexArray; /* Array of int */
         int verbose;
 };