print.h File Reference

#include <stdint.h>
#include "attribute.h"
#include "global.h"

Include dependency graph for print.h:

This graph shows which files directly or indirectly include this file:

Go to the source code of this file.

Macros
#define	kissat_line(...)
#define	kissat_message(...)
#define	kissat_phase(...)
#define	kissat_section(...)
#define	kissat_signal(...)
#define	kissat_verbose(...)
#define	kissat_very_verbose(...)
#define	kissat_extremely_verbose(...)
#define	kissat_warning(...)
#define	VERY_VERBOSE_OR_LOG(ONLY_LOG, SOLVER, ...)

Macro Definition Documentation

kissat_extremely_verbose

#define kissat_extremely_verbose

(

...

)

Value:

do { } while (0)

Definition at line 53 of file print.h.

kissat_line

#define kissat_line

(

...

)

Value:

do { } while (0)

Definition at line 46 of file print.h.

kissat_message

#define kissat_message

(

...

)

Value:

do { } while (0)

Definition at line 47 of file print.h.

kissat_phase

#define kissat_phase

(

...

)

Value:

do { } while (0)

Definition at line 48 of file print.h.

kissat_section

#define kissat_section

(

...

)

Value:

do { } while (0)

Definition at line 49 of file print.h.

kissat_signal

#define kissat_signal

(

...

)

Value:

do { } while (0)

Definition at line 50 of file print.h.

kissat_verbose

#define kissat_verbose

(

...

)

Value:

do { } while (0)

Definition at line 51 of file print.h.

kissat_very_verbose

#define kissat_very_verbose

(

...

)

Value:

do { } while (0)

Definition at line 52 of file print.h.

kissat_warning

#define kissat_warning

(

...

)

Value:

do { } while (0)

Definition at line 54 of file print.h.

VERY_VERBOSE_OR_LOG

#define VERY_VERBOSE_OR_LOG	(		ONLY_LOG,
			SOLVER,
			... )

Value:

do { \
  if (ONLY_LOG) \
    LOG (__VA_ARGS__); \
  else \
    kissat_very_verbose (SOLVER, __VA_ARGS__); \
} while (0)

Definition at line 58 of file print.h.

#define VERY_VERBOSE_OR_LOG(ONLY_LOG, SOLVER, ...) \
do { \
  if (ONLY_LOG) \
    LOG (__VA_ARGS__); \
  else \
    kissat_very_verbose (SOLVER, __VA_ARGS__); \
} while (0)