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 |