// Path: src/com/rcwang/seal/util/StringFactory.java
// public static class SID implements Iterable<String> {
//     
//   String[] array;
//     
//   public SID(List<String> strs) {
//     array = strs.toArray(new String[strs.size()]);
//   }
// 
//   public SID(SID id) {
//     this(id.array);
//   }
// 
//   public SID(String[] array) {
//     this.array = array.clone();
//   }
//     
//   public void append(SID sid) {
//     append(sid.array);
//   }
//     
//   public void append(String s) {
//     append(StringFactory.toID(s));
//   }
//     
//   public void append(String[] array) {
//     String[] array2 = new String[this.array.length+array.length];
//     System.arraycopy(this.array, 0, array2, 0, this.array.length);
//     System.arraycopy(array, 0, array2, this.array.length, array.length);
//     this.array = array2;
//   }
//     
//   @Override
//   public boolean equals(Object obj) {
//     if (this == obj) return true;
//     if (obj == null) return false;
//     if (getClass() != obj.getClass()) return false;
//     final SID other = (SID) obj;
//     if (!Arrays.equals(array, other.array))
//       return false;
//     return true;
//   }
//     
//   @Override
//   public int hashCode() {
//     return 31 + Arrays.hashCode(array);
//   }
//     
//   public Iterator<String> iterator() {
//     return Arrays.asList(array).iterator();
//   }
//     
//   public int length() {
//     int length = 0;
//     for (String s : this)
//       length += s.length();
//     return length;
//   }
// 
//   @Override
//   public String toString() {
//     return StringFactory.toName(this);
//   }
//     
//   public EntityLiteral toLiteral() { return new EntityLiteral(StringFactory.toName(this)); }
//     
//   public SID toLower() {
//   	return StringFactory.toID(new EntityLiteral(StringFactory.toName(this).toLowerCase()));
//   }
// }


import java.util.ArrayList;
import java.util.Collections;
import java.util.Comparator;
import java.util.Iterator;
import java.util.List;
import java.util.Set;
import java.util.Map.Entry;
import org.apache.log4j.Logger;
import com.rcwang.seal.util.StringFactory.SID;

   */
  public void add(double value) {
    for (Entry<SID, Cell> entry : sv.entrySet())
      add(entry.getKey(), value);
  }
  
  public void add(SID id, double value) {
    check(id, value);
    Cell c = sv.get(id);
    if (c == null) {
      sv.put(id, value);
      c = sv.get(id);
    } else {
      c.value += value;
    }
    if (c.value > maxWeight) {
      bestSID = id;
      maxWeight = c.value;
    }
    totalWeight += value;
  }
  
  /**
   * Reduce the size of this distribution by the following procedure:
   * 1) make this distribution into a list and sort it in descending order
   * 2) remove entities ranked lower than or equal to r
   * 3) reduce weight of entities above r by the weight of entity at r
   * where r is the half of maxSize
   * @param maxSize
   */

// Path: src/com/rcwang/seal/util/StringFactory.java
// public static class SID implements Iterable<String> {
//     
//   String[] array;
//     
//   public SID(List<String> strs) {
//     array = strs.toArray(new String[strs.size()]);
//   }
// 
//   public SID(SID id) {
//     this(id.array);
//   }
// 
//   public SID(String[] array) {
//     this.array = array.clone();
//   }
//     
//   public void append(SID sid) {
//     append(sid.array);
//   }
//     
//   public void append(String s) {
//     append(StringFactory.toID(s));
//   }
//     
//   public void append(String[] array) {
//     String[] array2 = new String[this.array.length+array.length];
//     System.arraycopy(this.array, 0, array2, 0, this.array.length);
//     System.arraycopy(array, 0, array2, this.array.length, array.length);
//     this.array = array2;
//   }
//     
//   @Override
//   public boolean equals(Object obj) {
//     if (this == obj) return true;
//     if (obj == null) return false;
//     if (getClass() != obj.getClass()) return false;
//     final SID other = (SID) obj;
//     if (!Arrays.equals(array, other.array))
//       return false;
//     return true;
//   }
//     
//   @Override
//   public int hashCode() {
//     return 31 + Arrays.hashCode(array);
//   }
//     
//   public Iterator<String> iterator() {
//     return Arrays.asList(array).iterator();
//   }
//     
//   public int length() {
//     int length = 0;
//     for (String s : this)
//       length += s.length();
//     return length;
//   }
// 
//   @Override
//   public String toString() {
//     return StringFactory.toName(this);
//   }
//     
//   public EntityLiteral toLiteral() { return new EntityLiteral(StringFactory.toName(this)); }
//     
//   public SID toLower() {
//   	return StringFactory.toID(new EntityLiteral(StringFactory.toName(this).toLowerCase()));
//   }
// }


// Path: src/com/rcwang/seal/util/Distribution.java
import java.util.ArrayList;
import java.util.Collections;
import java.util.Comparator;
import java.util.Iterator;
import java.util.List;
import java.util.Set;
import java.util.Map.Entry;
import org.apache.log4j.Logger;
import com.rcwang.seal.util.StringFactory.SID;

   */
  public void add(double value) {
    for (Entry<SID, Cell> entry : sv.entrySet())
      add(entry.getKey(), value);
  }
  
  public void add(SID id, double value) {
    check(id, value);
    Cell c = sv.get(id);
    if (c == null) {
      sv.put(id, value);
      c = sv.get(id);
    } else {
      c.value += value;
    }
    if (c.value > maxWeight) {
      bestSID = id;
      maxWeight = c.value;
    }
    totalWeight += value;
  }
  
  /**
   * Reduce the size of this distribution by the following procedure:
   * 1) make this distribution into a list and sort it in descending order
   * 2) remove entities ranked lower than or equal to r
   * 3) reduce weight of entities above r by the weight of entity at r
   * where r is the half of maxSize
   * @param maxSize
   */

  public void reduceSize(int maxSize) {
