20#ifndef __CVC4__PRINTER__MODES_H
21#define __CVC4__PRINTER__MODES_H
Macros that should be defined everywhere during the building of the libraries and driver binary,...
ModelFormatMode
Enumeration of model_format modes (how to print models from get-model command).
@ MODEL_FORMAT_MODE_DEFAULT
default mode (print expressions in the output language format)
@ MODEL_FORMAT_MODE_TABLE
print functional values in a table format
InstFormatMode
Enumeration of inst_format modes (how to print models from get-model command).
@ INST_FORMAT_MODE_DEFAULT
default mode (print expressions in the output language format)
@ INST_FORMAT_MODE_SZS
print as SZS proof
std::ostream & operator<<(std::ostream &out, const TypeCheckingException &e)