c++ - 有没有办法在 MOSEK 中将表达式转换为变量

Question

我通过以下方式有一组约束，但无法正确制定它。

通过以下方式，我可以接受规范，但我们如何获得它的力量？

  Model::t M = new Model();
  auto start_ = new_array_ptr<double, 1>({-4, 0, 2});
  auto x_0 = M->variable(new_array_ptr<int,1>({3, 1}), Domain::unbounded());
  M->constraint(Expr::vstack(t->index(0), Expr::sub(x_0, start_)), Domain::inQCone());

如果我们可以将Expr::sub(x_0, start_)表达式转换为变量，我可以尝试制定规范，然后是幂，但仍然无法理解如何做到这一点？