From 69643dfe9285efae78ba94ff6b75a362c9150d8a Mon Sep 17 00:00:00 2001 From: Alan Mishchenko Date: Sun, 20 Nov 2005 08:01:00 -0800 Subject: Version abc51120 --- src/opt/cut/cut.h | 1 + 1 file changed, 1 insertion(+) (limited to 'src/opt') diff --git a/src/opt/cut/cut.h b/src/opt/cut/cut.h index b10c7d32..f518e8c4 100644 --- a/src/opt/cut/cut.h +++ b/src/opt/cut/cut.h @@ -49,6 +49,7 @@ struct Cut_ParamsStruct_t_ int nVarsMax; // the max cut size ("k" of the k-feasible cuts) int nKeepMax; // the max number of cuts kept at a node int nIdsMax; // the max number of IDs of cut objects + int nBitShift; // the number of bits used for the latch counter of an edge int nCutSet; // the number of nodes in the cut set int fTruth; // compute truth tables int fFilter; // filter dominated cuts -- cgit v1.2.3