The size of the new binary variables in the compile time, for Special Ordered Set of type 2 (SOS2) constraint.
The SOS2 constraint says that
λ(0) + ... + λ(n) = 1
∀i. λ(i) ≥ 0
∃ j ∈ {0, 1, ..., n-1}, s.t λ(j) + λ(j + 1) = 1
| NumLambda | The length of the lambda vector. NumLambda = n + 1. |
#include <drake/solvers/mixed_integer_optimization_util.h>
Public Types | |
| typedef VectorDecisionVariable< Rows > | type |
Static Public Attributes | |
| static constexpr int | Rows = CeilLog2(NumLambda - 1) |
| typedef VectorDecisionVariable<Rows> type |