[Javabdd-checkins] JavaBDD/org/sf/javabdd JFactory.java,1.2,1.3
Brought to you by:
joewhaley
From: John W. <joe...@us...> - 2004-07-23 01:04:12
|
Update of /cvsroot/javabdd/JavaBDD/org/sf/javabdd In directory sc8-pr-cvs1.sourceforge.net:/tmp/cvs-serv5709/org/sf/javabdd Modified Files: JFactory.java Log Message: Index: JFactory.java =================================================================== RCS file: /cvsroot/javabdd/JavaBDD/org/sf/javabdd/JFactory.java,v retrieving revision 1.2 retrieving revision 1.3 diff -C2 -d -r1.2 -r1.3 *** JFactory.java 22 Jul 2004 20:03:59 -0000 1.2 --- JFactory.java 23 Jul 2004 01:04:03 -0000 1.3 *************** *** 540,543 **** --- 540,546 ---- BddCacheData copy() { BddCacheDataI that = new BddCacheDataI(); + that.a = this.a; + that.b = this.b; + that.c = this.c; that.res = this.res; return that; *************** *** 549,552 **** --- 552,558 ---- BddCacheData copy() { BddCacheDataD that = new BddCacheDataD(); + that.a = this.a; + that.b = this.b; + that.c = this.c; that.dres = this.dres; return that; |