Увеличение IntVar после условия

Я использую решатель choco для решения моей проблемы с ограничениями. Возможно ли в Choco увеличить IntVar после условия, такого как model.ifThen?


constraint-programming choco
person Mathieu TSH    schedule 29.05.2018    source источник
comment
x = x + 1 — обычная конструкция в программировании, но не допустимое ограничение. Вы можете сделать что-то вроде y = if condition then x+1 else x   -  person Erwin Kalvelagen    schedule 31.05.2018
comment
Увеличивает ли это мою переменную? model.arithm(gisement_courant, =, gisement_courant.getValue() +1)   -  person Mathieu TSH    schedule 07.06.2018

Ответы (1)


arrow_upward
0
arrow_downward

В программировании с ограничениями вы НИКОГДА не увеличиваете переменную. Это декларативная (не императивная) парадигма, в которой вместо описания того, как вычислять решения (операции над значениями), вы просто устанавливаете ограничение, которое должно быть выполнено. x=x+1 - это нонсенс в программировании с ограничениями, приводящий к «отсутствию решения».

person Jean-Guillaume Fages    schedule 15.06.2018