#include <memory>
#include <optional>
#include <utility>
#include <vector>
#include "drake/common/drake_copyable.h"
#include "drake/common/parallelism.h"
#include "drake/common/symbolic/rational_function.h"
#include "drake/geometry/optimization/c_iris_collision_geometry.h"
#include "drake/solvers/mathematical_program.h"
#include "drake/solvers/mathematical_program_result.h"
#include "drake/solvers/mosek_solver.h"
Classes | |
struct | PlaneSeparatesGeometries |
Contains the information to enforce a pair of geometries are separated by a plane. More... | |
struct | FindSeparationCertificateOptions |
struct | SeparationCertificateResultBase |
We certify that a pair of geometries is collision free by finding the separating plane over a range of configuration. More... | |
struct | SeparationCertificateProgramBase |
Namespaces | |
drake | |
drake::geometry | |
drake::geometry::optimization | |