CacheListener(WorkSpace *ws, Problem& prob, int set, Identifier<typename P::Domain *>& id) : _prob(prob), _set(set), _id(id) { const CFGCollection *col = INVOLVED_CFGS(ws); for(int i = 0; i < col->count(); i++) for (CFG::BBIterator bb(col->get(i)); bb; bb++) prob.init(_id(bb)[_set], prob.bottom()); }