Skip to content

Commit 411fb4e

Browse files
committed
#6 Removed @author tags.
1 parent d4e1cdd commit 411fb4e

File tree

12 files changed

+0
-41
lines changed

12 files changed

+0
-41
lines changed

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

Lines changed: 0 additions & 4 deletions
Original file line numberDiff line numberDiff line change
@@ -20,8 +20,6 @@
2020
* Use an implementation of BDDFactory to create BDD objects.
2121
* </p>
2222
*
23-
* @author John Whaley
24-
*
2523
* @see com.github.javabdd.BDDFactory
2624
* @see com.github.javabdd.BDDDomain#set()
2725
*/
@@ -833,8 +831,6 @@ public BDDIterator iterator(final BDDVarSet var) {
833831
/**
834832
* BDDIterator is used to iterate through the satisfying assignments of a BDD. It includes the ability to check if
835833
* bits are dont-cares and skip them.
836-
*
837-
* @author jwhaley
838834
*/
839835
public static class BDDIterator implements Iterator<BDD> {
840836
final BDDFactory f;

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

Lines changed: 0 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -8,8 +8,6 @@
88

99
/**
1010
* Bit vector implementation for BDDs.
11-
*
12-
* @author John Whaley
1311
*/
1412
public abstract class BDDBitVector {
1513
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
@@ -20,7 +20,6 @@
2020
* Use <tt>BDDFactory.extDomain()</tt> to create one or more domains with a specified list of sizes.
2121
* </p>
2222
*
23-
* @author John Whaley
2423
* @see com.github.javabdd.BDDFactory#extDomain(int[])
2524
*/
2625
public abstract class BDDDomain {

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

Lines changed: 0 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -6,8 +6,6 @@
66

77
/**
88
* An exception caused by an invalid BDD operation.
9-
*
10-
* @author John Whaley
119
*/
1210
public class BDDException extends RuntimeException {
1311
/**

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

Lines changed: 0 additions & 14 deletions
Original file line numberDiff line numberDiff line change
@@ -26,8 +26,6 @@
2626
/**
2727
* Interface for the creation and manipulation of BDDs.
2828
*
29-
* @author John Whaley
30-
*
3129
* @see com.github.javabdd.BDD
3230
*/
3331
public abstract class BDDFactory {
@@ -1186,8 +1184,6 @@ public void addVarBlock(BDDVarSet var, boolean fixed) {
11861184

11871185
/**
11881186
* Stores statistics about garbage collections.
1189-
*
1190-
* @author jwhaley
11911187
*/
11921188
public static class GCStats {
11931189
public int nodes;
@@ -1239,8 +1235,6 @@ public GCStats getGCStats() {
12391235

12401236
/**
12411237
* Stores statistics about reordering.
1242-
*
1243-
* @author jwhaley
12441238
*/
12451239
public static class ReorderStats {
12461240
public long time;
@@ -1290,10 +1284,6 @@ public ReorderStats getReorderStats() {
12901284

12911285
/**
12921286
* Stores statistics about the operator cache.
1293-
*
1294-
* @author jwhaley
1295-
* @author sthuijsman
1296-
* @author mgoorden
12971287
*/
12981288
public static class CacheStats {
12991289
protected boolean enabled = false;
@@ -1422,8 +1412,6 @@ public CacheStats getCacheStats() {
14221412

14231413
/**
14241414
* Stores statistics about the maximum BDD nodes usage.
1425-
*
1426-
* @author mgoorden
14271415
*/
14281416
public static class MaxUsedBddNodesStats {
14291417
protected boolean enabled = false;
@@ -1471,8 +1459,6 @@ public MaxUsedBddNodesStats getMaxUsedBddNodesStats() {
14711459
/**
14721460
* Stores continuously statistics about the BDD nodes usage and BDD operations, where BDD operations is a proxy for
14731461
* time.
1474-
*
1475-
* @author mgoorden
14761462
*/
14771463
public static class ContinuousStats {
14781464
protected boolean enabled = false;

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

Lines changed: 0 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -9,8 +9,6 @@
99

1010
/**
1111
* A shared superclass for BDD factories that refer to BDDs as ints.
12-
*
13-
* @author jwhaley
1412
*/
1513
public abstract class BDDFactoryIntImpl extends BDDFactory {
1614
static final boolean USE_FINALIZER = false;

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

Lines changed: 0 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -6,8 +6,6 @@
66

77
/**
88
* Encodes a table of variable pairs. This is used for replacing variables in a BDD.
9-
*
10-
* @author John Whaley
119
*/
1210
public abstract class BDDPairing {
1311
/**

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

Lines changed: 0 additions & 6 deletions
Original file line numberDiff line numberDiff line change
@@ -4,13 +4,9 @@
44

55
package com.github.javabdd;
66

7-
//import java.util.Arrays;
8-
97
/**
108
* Some BDD methods, namely <tt>exist()</tt>, <tt>forall()</tt>, <tt>unique()</tt>, <tt>relprod()</tt>,
119
* <tt>applyAll()</tt>, <tt>applyEx()</tt>, <tt>applyUni()</tt>, and <tt>satCount()</tt> take a BDDVarSet argument.
12-
*
13-
* @author jwhaley
1410
*/
1511
public abstract class BDDVarSet {
1612
/**
@@ -178,8 +174,6 @@ public final boolean equals(Object o) {
178174

179175
/**
180176
* Default implementation of BDDVarSet based on BDDs.
181-
*
182-
* @author jwhaley
183177
*/
184178
public static class DefaultImpl extends BDDVarSet {
185179
/**

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

Lines changed: 0 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -27,8 +27,6 @@
2727
* size is related to the implementation of a bit set, so it may change with implementation. The length of a bit set
2828
* related to the logical length of a bit set and is defined independently of implementation.
2929
* </p>
30-
*
31-
* @author John Whaley
3230
*/
3331
public final class BitString implements Cloneable, java.io.Serializable {
3432
/**

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

Lines changed: 0 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -15,8 +15,6 @@
1515

1616
/**
1717
* Find best order.
18-
*
19-
* @author jwhaley
2018
*/
2119
public class FindBestOrder {
2220
static BDDFactory bdd = null;

0 commit comments

Comments
 (0)