#ifndef _print_h_INCLUDED
#define _print_h_INCLUDED

#ifndef QUIET

#include <stdint.h>

struct kissat;

int kissat_verbosity (struct kissat *);

void kissat_signal (struct kissat *, const char *type, int sig);
void kissat_message (struct kissat *, const char *fmt, ...);
void kissat_section (struct kissat *, const char *name);
void kissat_verbose (struct kissat *, const char *fmt, ...);
void kissat_very_verbose (struct kissat *, const char *fmt, ...);
void kissat_extremely_verbose (struct kissat *, const char *fmt, ...);
void kissat_warning (struct kissat *, const char *fmt, ...);

void kissat_phase (struct kissat *, const char *name, uint64_t,
		   const char *fmt, ...);
#else

#define kissat_message(...) do { } while (0)
#define kissat_phase(...) do { } while (0)
#define kissat_section(...) do { } while (0)
#define kissat_signal(...) do { } while (0)
#define kissat_verbose(...) do { } while (0)
#define kissat_very_verbose(...) do { } while (0)
#define kissat_extremely_verbose(...) do { } while (0)
#define kissat_warning(...) do { } while (0)

#endif

#endif
