Skip to content

Commit 8bf33d3

Browse files
committed
#5 Removed SVN $Id + SVN revisions + BDDFactory.getVersion.
1 parent c0f76c2 commit 8bf33d3

File tree

12 files changed

+0
-31
lines changed

12 files changed

+0
-31
lines changed

src/main/java/com/github/javabdd/BDD.java

Lines changed: 0 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -23,7 +23,6 @@
2323
* </p>
2424
*
2525
* @author John Whaley
26-
* @version $Id: BDD.java 481 2011-02-18 14:37:09Z gismo $
2726
*
2827
* @see com.github.javabdd.BDDFactory
2928
* @see com.github.javabdd.BDDDomain#set()
@@ -928,7 +927,6 @@ public BDDIterator iterator(final BDDVarSet var) {
928927
* bits are dont-cares and skip them.
929928
*
930929
* @author jwhaley
931-
* @version $Id: BDD.java 481 2011-02-18 14:37:09Z gismo $
932930
*/
933931
public static class BDDIterator implements Iterator<BDD> {
934932
final BDDFactory f;

src/main/java/com/github/javabdd/BDDBitVector.java

Lines changed: 0 additions & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -12,7 +12,6 @@
1212
* </p>
1313
*
1414
* @author John Whaley
15-
* @version $Id: BDDBitVector.java 287 2004-10-18 09:35:20Z joewhaley $
1615
*/
1716
public abstract class BDDBitVector {
1817
protected BDD[] bitvec;

src/main/java/com/github/javabdd/BDDDomain.java

Lines changed: 0 additions & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -21,7 +21,6 @@
2121
* </p>
2222
*
2323
* @author John Whaley
24-
* @version $Id: BDDDomain.java 468 2006-11-29 08:07:13Z joewhaley $
2524
* @see com.github.javabdd.BDDFactory#extDomain(int[])
2625
*/
2726
public abstract class BDDDomain {

src/main/java/com/github/javabdd/BDDException.java

Lines changed: 0 additions & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -8,7 +8,6 @@
88
* An exception caused by an invalid BDD operation.
99
*
1010
* @author John Whaley
11-
* @version $Id: BDDException.java 383 2005-04-29 06:43:31Z joewhaley $
1211
*/
1312
public class BDDException extends RuntimeException {
1413
/**

src/main/java/com/github/javabdd/BDDFactory.java

Lines changed: 0 additions & 11 deletions
Original file line numberDiff line numberDiff line change
@@ -29,7 +29,6 @@
2929
* </p>
3030
*
3131
* @author John Whaley
32-
* @version $Id: BDDFactory.java 480 2010-11-16 01:29:49Z robimalik $
3332
*
3433
* @see com.github.javabdd.BDD
3534
*/
@@ -1244,13 +1243,6 @@ public void addVarBlock(BDDVarSet var, boolean fixed) {
12441243

12451244
/**** BDD STATS ****/
12461245

1247-
/**
1248-
* Get the BDD library version.
1249-
*
1250-
* @return version string
1251-
*/
1252-
public abstract String getVersion();
1253-
12541246
/**
12551247
* <p>
12561248
* Counts the number of shared nodes in a collection of BDDs. Counts all distinct nodes that are used in the BDDs --
@@ -1322,7 +1314,6 @@ public void addVarBlock(BDDVarSet var, boolean fixed) {
13221314
* Stores statistics about garbage collections.
13231315
*
13241316
* @author jwhaley
1325-
* @version $Id: BDDFactory.java 480 2010-11-16 01:29:49Z robimalik $
13261317
*/
13271318
public static class GCStats {
13281319
public int nodes;
@@ -1378,7 +1369,6 @@ public GCStats getGCStats() {
13781369
* Stores statistics about reordering.
13791370
*
13801371
* @author jwhaley
1381-
* @version $Id: BDDFactory.java 480 2010-11-16 01:29:49Z robimalik $
13821372
*/
13831373
public static class ReorderStats {
13841374
public long time;
@@ -1434,7 +1424,6 @@ public ReorderStats getReorderStats() {
14341424
* @author jwhaley
14351425
* @author sthuijsman
14361426
* @author mgoorden
1437-
* @version $Id: BDDFactory.java 480 2010-11-16 01:29:49Z robimalik $
14381427
*/
14391428
public static class CacheStats {
14401429
protected boolean enabled = false;

src/main/java/com/github/javabdd/BDDFactoryIntImpl.java

Lines changed: 0 additions & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -11,7 +11,6 @@
1111
* A shared superclass for BDD factories that refer to BDDs as ints.
1212
*
1313
* @author jwhaley
14-
* @version $Id$
1514
*/
1615
public abstract class BDDFactoryIntImpl extends BDDFactory {
1716
static final boolean USE_FINALIZER = false;

src/main/java/com/github/javabdd/BDDPairing.java

Lines changed: 0 additions & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -8,7 +8,6 @@
88
* Encodes a table of variable pairs. This is used for replacing variables in a BDD.
99
*
1010
* @author John Whaley
11-
* @version $Id: BDDPairing.java 282 2004-10-16 02:59:52Z joewhaley $
1211
*/
1312
public abstract class BDDPairing {
1413
/**

src/main/java/com/github/javabdd/BDDVarSet.java

Lines changed: 0 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -13,7 +13,6 @@
1313
* </p>
1414
*
1515
* @author jwhaley
16-
* @version $Id$
1716
*/
1817
public abstract class BDDVarSet {
1918
/**
@@ -199,7 +198,6 @@ public final boolean equals(Object o) {
199198
* Default implementation of BDDVarSet based on BDDs.
200199
*
201200
* @author jwhaley
202-
* @version $Id$
203201
*/
204202
public static class DefaultImpl extends BDDVarSet {
205203
/**

src/main/java/com/github/javabdd/BitString.java

Lines changed: 0 additions & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -29,7 +29,6 @@
2929
* </p>
3030
*
3131
* @author John Whaley
32-
* @version $Id: BitString.java 2279 2005-05-28 10:24:54Z joewhaley $
3332
*/
3433
public final class BitString implements Cloneable, java.io.Serializable {
3534
/**

src/main/java/com/github/javabdd/FindBestOrder.java

Lines changed: 0 additions & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -17,7 +17,6 @@
1717
* Find best order.
1818
*
1919
* @author jwhaley
20-
* @version $Id: FindBestOrder.java 452 2006-07-16 21:50:02Z joewhaley $
2120
*/
2221
public class FindBestOrder {
2322
static BDDFactory bdd = null;

0 commit comments

Comments
 (0)