SMT-RAT  24.02
Toolbox for Strategic and Parallel Satisfiability-Modulo-Theories Solving
smtrat::cad::projection_compare::ProjectionComparator< Strategy > Struct Template Reference

#include <ProjectionComparator.h>

Inheritance diagram for smtrat::cad::projection_compare::ProjectionComparator< Strategy >:
Inheritance graph
[legend]

Detailed Description

template<ProjectionCompareStrategy Strategy>
struct smtrat::cad::projection_compare::ProjectionComparator< Strategy >

Definition at line 79 of file ProjectionComparator.h.

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