#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 | |
| namespace | drake |
| namespace | drake::geometry |
| namespace | drake::geometry::optimization |