У меня есть технический вопрос относительно решателя Choco 4 CP.
Я хотел бы вызывать метод (давайте назовем его f()) всякий раз, когда некоторые логические переменные в моей модели назначаются или не назначаются во время поиска. Целью f() является обновление структуры данных, которая широко используется распространителями.
Моя первая попытка заключалась в реализации пользовательского IVariableMonitor, но метод onUpdate(Variable v, IEventType iEventType) вызывается только тогда, когда переменной присваивается значение 0/1, но не отменяется.
Я также пытался использовать поисковые мониторы, но пока безуспешно.
Есть ли способ выполнить эту задачу?
Спасибо!