/** * 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; } }} }