smtrat::validation::ValidationPrinter< SOF > Struct Template Reference

#include <ValidationPrinter.h>

Detailed Description

template<ValidationOutputFormat SOF>
struct smtrat::validation::ValidationPrinter< SOF >

Definition at line 19 of file ValidationPrinter.h.

---

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

• smtrat-common/validation/ValidationPrinter.h