问题描述
我正在尝试使用CheckSatisfied
函数为约束编写一些单元测试。我怎么知道输入向量x
的可变顺序?
例如
q = prog.NewContinuousVariables(1,'q')
r = prog.NewContinuousVariables(2,'r')
formula = le(q,r[0] + r[1])
constraint = prog.AddConstraint(formula)
assert(constraint.evaluator().CheckSatisfied([0.3,0.5,1]))
我怎么知道哪个变量0.3
,0.5
,1
对应?
它是否取决于约束的添加方式,如果是,我如何知道以无数种方式添加的约束的可变顺序?
解决方法
变量的顺序存储在AddConstraint
的返回参数中。如果选中constraint.variables()
,则会看到变量顺序。伪代码是
constraint = prog.AddConstraint(formula)
print(f"{constraint.variables()}")