import edu.neu.ccs.demeterf.*;
/**
 * This class counts the number of variables appeared in the given formula
 *
 */
public class VarCounter extends IDb {
	
	public Float combine(LiteralList lst, Float f1, Float f2){
		return f2+1.0f;
	}
	public Float combine(Clause cl, Float f1, Float f2){
		return f2;
	}
	public Float combine(ClauseList clst, Float f1, Float f2){
		return f1+f2;
	}
	public Float combine(Formula f, Float num){
		return num;
	}
	
	public Float combine(Object o){
		return 0.0f;
	}

}