Drake
Drake C++ Documentation
integer_inequality_solver.h File Reference
#include <Eigen/Core>
Include dependency graph for integer_inequality_solver.h:

Namespaces

 drake
 
 drake::solvers
 

Functions

Eigen::Matrix< int, -1, -1, Eigen::RowMajor > EnumerateIntegerSolutions (const Eigen::Ref< const Eigen::MatrixXi > &A, const Eigen::Ref< const Eigen::VectorXi > &b, const Eigen::Ref< const Eigen::VectorXi > &lower_bound, const Eigen::Ref< const Eigen::VectorXi > &upper_bound)
 Finds all integer solutions x to the linear inequalities. More...