import edu.neu.ccs.demeterf.IDb;

/**
 * class to compute the total weight of all the clauses
 * @author fengzhou
 *
 */
public class TotalWeightCounter extends IDb {
    Float combine(Weight w){ return (float)(w.v); }
    Float combine(Clause cl, Float f){ return f; }
    Float combine(ClauseList lst, Float f1, Float f2){ return f1+f2; }
    Float combine(Formula form, Float f){ return f; }
    Float combine(Object o){ return 0f; }
}