/**
 * This class counts the number of variables appearing in the given formula.
 *
 */
LitCounter {
{{

//Float fold(Float accum, Float one) {
  System.out.println("in fold " + accum + " " + one);
  return accum+one;}
Float apply(Object v) { 
  System.out.println("in apply Object; return 0 " + v);
  return 0.0f; }
Float apply(Variable v) { 
  System.out.println("in apply Literal; return 1");
  return 1.0f; }


Float combine(Literal v, Float f){ 
  System.out.println("in combine Literal; return 1");
  return 1.0f; }

	// Float combine(Variable v){ return 1.0f; }
	// Float combine(Literal v, Float f){ return 1.0f; }
}}
}