smtrat::cad::projection_compare::level Struct Reference

#include <ProjectionComparator.h>

Detailed Description

Definition at line 20 of file ProjectionComparator.h.

---

The documentation for this struct was generated from the following file:

• smtrat-cad/projection/ProjectionComparator.h