CP-SAT | OR-Tools：按名称获取现有变量？

Question

是否可以通过名称获取现有变量？比如：

model = CpModel()
model.new_bool_var("mySuperBoolVar")

# ...many lines later...

bv = model.get_bool_var_by_name("mySuperBoolVar")

显然，

get_bool_var_by_name()

不存在。只有

model.get_bool_var_from_proto_index()

，但我不知道它有什么作用...

Answer 1

不，您需要自己记账。

每个变量都有一个索引。查看使用它的克隆模型示例。