Drake
LogarithmicSos2NewBinaryVariables< NumLambda > Struct Template Reference

The size of the new binary variables in the compile time, for Special Ordered Set of type 2 (SOS2) constraint. More...

#include <drake/solvers/mixed_integer_optimization_util.h>

Collaboration diagram for LogarithmicSos2NewBinaryVariables< NumLambda >:
[legend]

Public Types

typedef VectorDecisionVariable< Rowstype
 

Static Public Attributes

static constexpr int Rows = CeilLog2(NumLambda - 1)
 

Detailed Description

template<int NumLambda>
struct drake::solvers::LogarithmicSos2NewBinaryVariables< NumLambda >

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
Template Parameters
NumLambdaThe length of the lambda vector. NumLambda = n + 1.

Member Typedef Documentation

Member Data Documentation

constexpr int Rows = CeilLog2(NumLambda - 1)
static

The documentation for this struct was generated from the following file: