MapUtils.putIfAbsent(contextToBinaryCounter, c, new HashMap<Formula,DoubleContainer>());
Map<Formula,DoubleContainer> formulaMap = contextToBinaryCounter.get(c); //guaranteed to exist
MapUtils.putIfAbsent(formulaMap, f, new DoubleContainer(0.0));
DoubleContainer currValue = formulaMap.get(f);
currValue.inc(value);
}
public void normalize() {
normalized = true;