#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 | |