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

Namespaces

namespace  drake
namespace  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.