nysol-zdd 3.0.3 → 3.0.5

checksums.yaml

@@ -1,7 +1,7 @@
 ---
-SHA1:
-  metadata.gz: 31b5dadc913b2153691de1a35f1bd5ce74852f83
-  data.tar.gz: 51f52e6b7bdf922ebdc28d3811fc71ba763f17f7
+SHA256:
+  metadata.gz: b43263e9a2a0d5b5aef31551b91c521891dcc06ee953ebd5e7f63eca602666a2
+  data.tar.gz: 4f1d097725bb5e848ee6ed889f65bfafa4768637653f2a938d6c676fd2cd522f
 SHA512:
-  metadata.gz: 5c11ced15dbabee729827fcaddba3a71f1ea2279c003b59fd0250b91b3c48db15d0a71dc790b21f41139ee1f1316178a67484f6d428435c567404b428d4bd49c
-  data.tar.gz: '093224607ef7c8909f781031a38f8f77e745448dfb152ca76edf8547d8f1f4198c8a4230ac51274ef32d0fba65df8ea10e87ada0bef452dc255a86a0def2aa52'
+  metadata.gz: fc753a55fd9505d043ff885dbd9bfe2c58e8de70ca3dcf2314b60d82c05278b31af7a31492e004d160614d3fd0246e9e7d7333a35df8a158fe7c5d6fa7caebe2
+  data.tar.gz: 1aac340c17d568f257ba45ffc492a9189b98766dbf45ac42f260906f98d01000fecca7001a255e1fee84e528a3d9b982986120482288449aac93757f343bb5d3

data/ext/zdd_so/extconf.rb

@@ -1,8 +1,8 @@
 require 'mkmf'
 cp = "$(srcdir)"
-$CFLAGS = " -O3 -Wall -I. -I#{cp}/include -DB_STATIC -D_NO_MAIN_ -DLINE -fPIC -Wno-error=format-security -Wno-narrowing"
-$CPPFLAGS = " -O3 -Wall -I. -I#{cp}/include  -DB_STATIC -D_NO_MAIN_ -DLINE -fPIC -Wno-error=format-security -Wno-narrowing"
-$CXXFLAGS = " -O3 -Wall -I. -I#{cp}/include  -DB_STATIC -D_NO_MAIN_ -DLINE -fPIC -Wno-error=format-security -Wno-narrowing"
+$CFLAGS = " -O3 -Wall -I. -I#{cp}/include -DB_STATIC -D_NO_MAIN_ -DLINE -fPIC -Wno-error=format-security -Wno-narrowing -Wno-implicit-function-declaration -Wno-reserved-user-defined-literal"
+$CPPFLAGS = " -O3 -Wall -I. -I#{cp}/include  -DB_STATIC -D_NO_MAIN_ -DLINE -fPIC -Wno-error=format-security -Wno-narrowing -Wno-implicit-function-declaration -Wno-reserved-user-defined-literal"
+$CXXFLAGS = " -O3 -Wall -I. -I#{cp}/include  -DB_STATIC -D_NO_MAIN_ -DLINE -fPIC -Wno-error=format-security -Wno-narrowing -Wno-implicit-function-declaration -Wno-reserved-user-defined-literal"
 
 
 $LOCAL_LIBS += " -lstdc++"

data/ext/zdd_so/lcm-vsop.cc

@@ -12,7 +12,8 @@
    
 #ifndef _lcm_c_
 #define _lcm_c_
-#include "CtoI.h" //ZDD 
+ #include "CtoI.h" //ZDD 
+
 
 #define WEIGHT_DOUBLE
 #define TRSACT_DEFAULT_WEIGHT 1
@@ -234,11 +235,11 @@ QUEUE_INT LCM_maximality_check (PROBLEM *PP, QUEUE *occ, QUEUE_INT item, QUEUE_I
 /* INPUT: item:tail of the current solution, t_new,buf:head of the list of 
  ID and buffer memory of new transactions */
 /*************************************************************************/
-CtoI LCM (PROBLEM *PP, int item, QUEUE *occ, WEIGHT frq, WEIGHT pfrq){ //ZDD 
-int ii, xx,vv,iii,ix; //ZDD 
-ZBDDV vz; //ZDD 
-CtoI F, G,H,E; //ZDD 
-F = CtoI(0); //ZDD
+ CtoI LCM (PROBLEM *PP, int item, QUEUE *occ, WEIGHT frq, WEIGHT pfrq){ //ZDD 
+  int ii, xx,vv,iii,ix; //ZDD 
+  ZBDDV vz; //ZDD 
+  CtoI F, G,H,E; //ZDD 
+  F = CtoI(0); //ZDD
   ITEMSET *II = &PP->II;
   TRSACT *TT = &PP->TT;
   int bnum = TT->buf.num, bblock = TT->buf.block_num;
@@ -282,29 +283,29 @@ F = CtoI(0); //ZDD
 if ( II->itemset.t>II->ub || (!(II->flag&ITEMSET_ALL) && II->itemset.t+II->add.t>II->ub)) goto UBSKIP; //ZDD
 F = (II->flag & ITEMSET_PRE_FREQ)? CtoI((int)II->frq): CtoI(1); //ZDD 
 if(II->flag&ITEMSET_ALL && II->itemset.t+II->add.t>II->ub ){//ZDD-nain 
-H = F; //ZDD-nain 
-for(ii=0; ii<II->add.t; ii++) { //ZDD-nain 
-xx = II->add.v[ii]; //ZDD-nain 
-H = CtoI_Union(H, F.AffixVar(BDD_VarOfLev(xx+1))); //ZDD-nain
-}//ZDD-nain
-E = F; //ZDD-nain 
-for(ii=1; ii<II->ub-II->itemset.t; ii++) { //ZDD-nain 
-for(iii=0; iii<II->add.t; iii++) { //ZDD-nain 
-xx = II->add.v[iii]; //ZDD-nain 
-E = CtoI_Union(E,H.AffixVar(BDD_VarOfLev(xx+1))); //ZDD-nain 
-} //ZDD-nain
-H=E; //ZDD-nain 
-} //ZDD-nain 
-F = H; //ZDD-nain 
+  H = F; //ZDD-nain 
+  for(ii=0; ii<II->add.t; ii++) { //ZDD-nain 
+	  xx = II->add.v[ii]; //ZDD-nain 
+		H = CtoI_Union(H, F.AffixVar(BDD_VarOfLev(xx+1))); //ZDD-nain
+  }//ZDD-nain
+  E = F; //ZDD-nain 
+  for(ii=1; ii<II->ub-II->itemset.t; ii++) { //ZDD-nain 
+	  for(iii=0; iii<II->add.t; iii++) { //ZDD-nain 
+		  xx = II->add.v[iii]; //ZDD-nain 
+	  	E = CtoI_Union(E,H.AffixVar(BDD_VarOfLev(xx+1))); //ZDD-nain 
+	  } //ZDD-nain
+	  H=E; //ZDD-nain 
+  } //ZDD-nain 
+	F = H; //ZDD-nain 
 }else{ //ZDD-nain 
-for(ii=0; ii<II->add.t; ii++) { //ZDD 
-xx = II->add.v[ii]; //ZDD 
-G = F.AffixVar(BDD_VarOfLev(xx+1)); //ZDD 
-if(PP->problem & PROBLEM_FREQSET) { //ZDD 
-F = CtoI_Union(F, G); //ZDD 
-} //ZDD 
-else F = G; //ZDD 
-} //ZDD 
+      for(ii=0; ii<II->add.t; ii++) { //ZDD 
+        xx = II->add.v[ii]; //ZDD 
+	G = F.AffixVar(BDD_VarOfLev(xx+1)); //ZDD 
+	if(PP->problem & PROBLEM_FREQSET) { //ZDD 
+          F = CtoI_Union(F, G); //ZDD 
+	} //ZDD 
+	else F = G; //ZDD 
+      } //ZDD 
 } //ZDD-nain 
 UBSKIP:;
     }
@@ -339,9 +340,9 @@ UBSKIP:;
     e = QUEUE_ext_tail_ (&PP->itemcand);
     if ( PP->occ_pw2[e] >= MAX(II->frq_lb, II->posi_lb) ){  // if the item is frequent
       LCM_add_item (PP, &II->itemset, e);
-G = LCM (PP, e, &TT->OQ[e], PP->occ_w2[e], PP->occ_pw2[e]); // recursive call //ZDD 
-F = CtoI_Union(F, G); //ZDD
-if ( ERROR_MES ) return CtoI(-1); //ZDD
+      G = LCM (PP, e, &TT->OQ[e], PP->occ_w2[e], PP->occ_pw2[e]); // recursive call //ZDD 
+      F = CtoI_Union(F, G); //ZDD
+ if ( ERROR_MES ) return CtoI(-1); //ZDD
       LCM_del_item (PP, &II->itemset);
     }
     TT->OQ[e].end = TT->OQ[e].t = 0;   // clear the occurrences, for the further delivery
@@ -357,14 +358,14 @@ if ( ERROR_MES ) return CtoI(-1); //ZDD
   TT->wbuf.num = wnum, TT->wbuf.block_num = wblock;
 
   END:;
-if(item < II->item_max) { //ZDD 
-xx = item; //ZDD 
-F = F.AffixVar(BDD_VarOfLev(xx+1)); //ZDD 
-} //ZDD
+  if(item < II->item_max) { //ZDD 
+    xx = item; //ZDD 
+    F = F.AffixVar(BDD_VarOfLev(xx+1)); //ZDD 
+  } //ZDD
   while ( II->add.t > qt ) LCM_del_item (PP, &II->add);
   PP->itemcand.t = PP->itemcand.s;
   PP->itemcand.s = js;
-return F; //ZDD
+  return F; //ZDD
 }
 
 /*************************************************************************/
@@ -413,121 +414,121 @@ void LCM_init (PROBLEM *PP){
 /*************************************************************************/
 /* main of LCM ver. 5 */
 /*************************************************************************/
-extern PROBLEM LCM_PP; //ZDD 
+ extern PROBLEM LCM_PP; //ZDD 
 PROBLEM LCM_PP; //ZDD 
 extern CtoI CtoI_Lcm2(); //ZDD 
-
+ 
 int CtoI_LcmItems() { //ZDD 
-if( ERROR_MES ) return -1; //ZDD 
-return LCM_PP.II.item_max; //ZDD 
+  if( ERROR_MES ) return -1; //ZDD 
+  return LCM_PP.II.item_max; //ZDD 
 } //ZDD 
-
+ 
 int CtoI_LcmPerm(int k) { //ZDD 
-if( ERROR_MES ) return -1; //ZDD 
-return LCM_PP.II.perm[k]; //ZDD 
+  if( ERROR_MES ) return -1; //ZDD 
+  return LCM_PP.II.perm[k]; //ZDD 
 } //ZDD 
-
+ 
 CtoI CtoI_LcmA ( char *fname1, char *fname2, int th){ //ZDD 
-CtoI_Lcm1(fname1, fname2, th, 0); //ZDD 
-if( !ERROR_MES ) while(CtoI_LcmItems() > BDD_VarUsed()) BDD_NewVar(); //ZDD 
-return CtoI_Lcm2(); //ZDD 
+  CtoI_Lcm1(fname1, fname2, th, 0); //ZDD 
+  if( !ERROR_MES ) while(CtoI_LcmItems() > BDD_VarUsed()) BDD_NewVar(); //ZDD 
+  return CtoI_Lcm2(); //ZDD 
 } //ZDD 
-
+ 
 CtoI CtoI_LcmC ( char *fname1, char *fname2, int th){ //ZDD 
-CtoI_Lcm1(fname1, fname2, th, 1); //ZDD 
-if( !ERROR_MES ) while(CtoI_LcmItems() > BDD_VarUsed()) BDD_NewVar(); //ZDD 
-return CtoI_Lcm2(); //ZDD 
+  CtoI_Lcm1(fname1, fname2, th, 1); //ZDD 
+  if( !ERROR_MES ) while(CtoI_LcmItems() > BDD_VarUsed()) BDD_NewVar(); //ZDD 
+  return CtoI_Lcm2(); //ZDD 
 } //ZDD 
-
+ 
 CtoI CtoI_LcmM ( char *fname1, char *fname2, int th){ //ZDD 
-CtoI_Lcm1(fname1, fname2, th, 2); //ZDD 
-if( !ERROR_MES ) while(CtoI_LcmItems() > BDD_VarUsed()) BDD_NewVar(); //ZDD 
-return CtoI_Lcm2(); //ZDD 
+  CtoI_Lcm1(fname1, fname2, th, 2); //ZDD 
+  if( !ERROR_MES ) while(CtoI_LcmItems() > BDD_VarUsed()) BDD_NewVar(); //ZDD 
+  return CtoI_Lcm2(); //ZDD 
 } //ZDD 
-
+ 
 CtoI CtoI_LcmAV ( char *fname1, char *fname2, int th){ //ZDD 
-CtoI_Lcm1(fname1, fname2, th, 10); //ZDD 
-if( !ERROR_MES ) while(CtoI_LcmItems() > BDD_VarUsed()) BDD_NewVar(); //ZDD 
-return CtoI_Lcm2(); //ZDD 
+  CtoI_Lcm1(fname1, fname2, th, 10); //ZDD 
+  if( !ERROR_MES ) while(CtoI_LcmItems() > BDD_VarUsed()) BDD_NewVar(); //ZDD 
+  return CtoI_Lcm2(); //ZDD 
 } //ZDD 
-
+ 
 CtoI CtoI_LcmCV ( char *fname1, char *fname2, int th){ //ZDD 
-CtoI_Lcm1(fname1, fname2, th, 11); //ZDD 
-if( !ERROR_MES ) while(CtoI_LcmItems() > BDD_VarUsed()) BDD_NewVar(); //ZDD 
-return CtoI_Lcm2(); //ZDD 
+  CtoI_Lcm1(fname1, fname2, th, 11); //ZDD 
+  if( !ERROR_MES ) while(CtoI_LcmItems() > BDD_VarUsed()) BDD_NewVar(); //ZDD 
+  return CtoI_Lcm2(); //ZDD 
 } //ZDD 
-
+ 
 CtoI CtoI_LcmMV ( char *fname1, char *fname2, int th){ //ZDD 
-CtoI_Lcm1(fname1, fname2, th, 12); //ZDD 
-if( !ERROR_MES ) while(CtoI_LcmItems() > BDD_VarUsed()) BDD_NewVar(); //ZDD 
-return CtoI_Lcm2(); //ZDD 
+  CtoI_Lcm1(fname1, fname2, th, 12); //ZDD 
+  if( !ERROR_MES ) while(CtoI_LcmItems() > BDD_VarUsed()) BDD_NewVar(); //ZDD 
+  return CtoI_Lcm2(); //ZDD 
 } //ZDD 
-
+ 
 int CtoI_Lcm1 ( char *fname1, char *fname2, int th, int param ) { //ZDD
-ITEMSET *II = &LCM_PP.II; //ZDD
-TRSACT *TT = &LCM_PP.TT; //ZDD
-SGRAPH *SG = &LCM_PP.SG; //ZDD
+  ITEMSET *II = &LCM_PP.II; //ZDD
+  TRSACT *TT = &LCM_PP.TT; //ZDD
+  SGRAPH *SG = &LCM_PP.SG; //ZDD
   
-ERROR_MES = 0; //ZDD 
-PROBLEM_init ( &LCM_PP ); //ZDD 
-switch(param) //ZDD 
-{ //ZDD 
-case 12: //ZDD 
-LCM_PP.problem |= PROBLEM_MAXIMAL; //ZDD 
-II->flag |= ITEMSET_PRE_FREQ; //ZDD 
-break; //ZDD 
-case 11: //ZDD 
-LCM_PP.problem |= PROBLEM_CLOSED; //ZDD 
-II->flag |= ITEMSET_PRE_FREQ; //ZDD 
-break; //ZDD 
-case 10: //ZDD 
-LCM_PP.problem |= PROBLEM_FREQSET; //ZDD 
-II->flag |= ITEMSET_PRE_FREQ; //ZDD 
-II->flag |= ITEMSET_ALL; //ZDD 
-break; //ZDD 
-case 2: //ZDD 
-LCM_PP.problem |= PROBLEM_MAXIMAL; //ZDD 
-break; //ZDD 
-case 1: //ZDD 
-LCM_PP.problem |= PROBLEM_CLOSED; //ZDD 
-break; //ZDD 
-case 0: //ZDD 
-default: //ZDD 
-LCM_PP.problem |= PROBLEM_FREQSET; //ZDD 
-II->flag |= ITEMSET_ALL; //ZDD 
-} //ZDD 
-LCM_PP.trsact_fname = fname1; //ZDD 
-LCM_PP.trsact_pfname = fname2; //ZDD 
-II->frq_lb = (WEIGHT)th; //ZDD
+  ERROR_MES = 0; //ZDD 
+  PROBLEM_init ( &LCM_PP ); //ZDD 
+  switch(param) //ZDD 
+  { //ZDD 
+  case 12: //ZDD 
+    LCM_PP.problem |= PROBLEM_MAXIMAL; //ZDD 
+    II->flag |= ITEMSET_PRE_FREQ; //ZDD 
+    break; //ZDD 
+  case 11: //ZDD 
+    LCM_PP.problem |= PROBLEM_CLOSED; //ZDD 
+    II->flag |= ITEMSET_PRE_FREQ; //ZDD 
+    break; //ZDD 
+  case 10: //ZDD 
+    LCM_PP.problem |= PROBLEM_FREQSET; //ZDD 
+    II->flag |= ITEMSET_PRE_FREQ; //ZDD 
+    II->flag |= ITEMSET_ALL; //ZDD 
+    break; //ZDD 
+  case 2: //ZDD 
+    LCM_PP.problem |= PROBLEM_MAXIMAL; //ZDD 
+    break; //ZDD 
+  case 1: //ZDD 
+    LCM_PP.problem |= PROBLEM_CLOSED; //ZDD 
+    break; //ZDD 
+  case 0: //ZDD 
+  default: //ZDD 
+    LCM_PP.problem |= PROBLEM_FREQSET; //ZDD 
+    II->flag |= ITEMSET_ALL; //ZDD 
+  } //ZDD 
+  LCM_PP.trsact_fname = fname1; //ZDD 
+  LCM_PP.trsact_pfname = fname2; //ZDD 
+  II->frq_lb = (WEIGHT)th; //ZDD
 if ( ERROR_MES ) return (1);
   TT->flag |= LOAD_PERM +TRSACT_FRQSORT +LOAD_DECSORT +LOAD_RM_DUP +TRSACT_MAKE_NEW +TRSACT_DELIV_SC +TRSACT_ALLOC_OCC + ((II->flag & ITEMSET_TRSACT_ID)?0: TRSACT_SHRINK) ;
   if ( II->flag&ITEMSET_RULE ) TT->w_lb = -WEIGHTHUGE; else TT->w_lb = II->frq_lb;
   SG->flag =  LOAD_EDGE;
-PROBLEM_init2 ( &LCM_PP, PROBLEM_PRINT_SHRINK + PROBLEM_PRINT_FRQ ); //ZDD 
+  PROBLEM_init2 ( &LCM_PP, PROBLEM_PRINT_SHRINK + PROBLEM_PRINT_FRQ ); //ZDD 
   if ( !ERROR_MES ){
-LCM_init(&LCM_PP); //ZDD 
-} //ZDD 
-return 0; //ZDD 
+    LCM_init(&LCM_PP); //ZDD 
+  } //ZDD 
+  return 0; //ZDD 
 } //ZDD 
-
+ 
 CtoI CtoI_Lcm2 () { //ZDD 
-CtoI F, G; //ZDD 
-if ( ERROR_MES ) { //ZDD 
-PROBLEM_end( &LCM_PP ); //ZDD 
-return CtoI(-1); //ZDD 
-} //ZDD 
-else //ZDD 
-{ //ZDD 
-F = CtoI(0); //ZDD
-if ( !ERROR_MES ) G = LCM (&LCM_PP, LCM_PP.TT.T.clms, &LCM_PP.oo, LCM_PP.TT.total_w_org, LCM_PP.TT.total_pw_org); //ZDD 
-else G = CtoI(0); //ZDD 
-F = CtoI_Union(F, G); //ZDD
-ITEMSET_last_output (&LCM_PP.II); //ZDD
+  CtoI F, G; //ZDD 
+  if ( ERROR_MES ) { //ZDD 
+    PROBLEM_end( &LCM_PP ); //ZDD 
+    return CtoI(-1); //ZDD 
+  } //ZDD 
+  else //ZDD 
+  { //ZDD 
+    F = CtoI(0); //ZDD
+    if ( !ERROR_MES ) G = LCM (&LCM_PP, LCM_PP.TT.T.clms, &LCM_PP.oo, LCM_PP.TT.total_w_org, LCM_PP.TT.total_pw_org); //ZDD 
+    else G = CtoI(0); //ZDD 
+    F = CtoI_Union(F, G); //ZDD
+    ITEMSET_last_output (&LCM_PP.II); //ZDD
   }
 
-LCM_PP.TT.sc = NULL; //ZDD
-PROBLEM_end (&LCM_PP); //ZDD
-return F; //ZDD
+  LCM_PP.TT.sc = NULL; //ZDD
+  PROBLEM_end (&LCM_PP); //ZDD
+  return F; //ZDD
 }
 
 /*******************************************************************************/

metadata

@@ -1,14 +1,14 @@
 --- !ruby/object:Gem::Specification
 name: nysol-zdd
 version: !ruby/object:Gem::Version
-  version: 3.0.3
+  version: 3.0.5
 platform: ruby
 authors:
 - nysol
 autorequire: 
 bindir: bin
 cert_chain: []
-date: 2018-11-22 00:00:00.000000000 Z
+date: 2025-05-28 00:00:00.000000000 Z
 dependencies:
 - !ruby/object:Gem::Dependency
   name: bundler
@@ -28,16 +28,16 @@ dependencies:
   name: rake
   requirement: !ruby/object:Gem::Requirement
     requirements:
-    - - "~>"
+    - - ">="
       - !ruby/object:Gem::Version
-        version: '10.0'
+        version: 12.3.3
   type: :development
   prerelease: false
   version_requirements: !ruby/object:Gem::Requirement
     requirements:
-    - - "~>"
+    - - ">="
       - !ruby/object:Gem::Version
-        version: '10.0'
+        version: 12.3.3
 - !ruby/object:Gem::Dependency
   name: rake-compiler
   requirement: !ruby/object:Gem::Requirement
@@ -123,8 +123,7 @@ required_rubygems_version: !ruby/object:Gem::Requirement
     - !ruby/object:Gem::Version
       version: '0'
 requirements: []
-rubyforge_project: 
-rubygems_version: 2.5.2.3
+rubygems_version: 3.0.3.1
 signing_key: 
 specification_version: 4
 summary: nysol zdd package