Пример #1
0
	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());
	}