smtrat::cad::CADCore< CH > Struct Template Reference

#include <CADCore.h>

Detailed Description

template<CoreHeuristic CH>
struct smtrat::cad::CADCore< CH >

Definition at line 14 of file CADCore.h.

---

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

• smtrat-cad/utils/CADCore.h