import edu.neu.ccs.demeterf.IDb;

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