Gecode использует Space s для представления проблемы ограничения ограничений в процессе: каждый раз, когда достигается точка принятия решения, копируется Space.Получить список переменных в пространстве в Gecode
Я хочу провести анализ этих пространств. Есть ли способ получить список переменных, ограничений, ..., зарегистрированных в некотором Space? Документация API, похоже, не предоставляет таких методов.
В настоящее время нет общего способа перечисления всех переменных и пропагаторов, которые в настоящее время находятся в пространстве. Более того, такое представление редко было бы тем, что необходимо, множество неподвижных переменных и пропагаторов может не напоминать исходный набор переменных и пропагаторов, созданных при настройке модели любым значимым образом.
В качестве примечания стороны Gecode не использует полное копирование, это система с перерасчетами с прерывистым копированием. Поэтому неверно утверждать, что «каждый раз, когда точка принятия решения достигается, пространство копируется». См. Главу 9.1 в Modeling and Programming with Gecode.
Да, я знаю, что он не поддерживает полное копирование. Проблема в том, что я хочу использовать Gecode частично для программирования ограничений, но иметь возможность неинстантировать переменные, так что, учитывая первое решение, я могу искать различные решения без парадигмы ветвления. –
Целью является создание копии исходного пространства. Выполните первый поиск. А затем скопируйте ** часть ** значений во второе пространство. И выполните другую стратегию поиска для остальных переменных. –