20 #ifndef __CVC4__PRINTER__MODES_H 21 #define __CVC4__PRINTER__MODES_H print functional values in a table format
std::ostream & operator<<(std::ostream &out, const Predicate &p)
default mode (print expressions in the output language format)
InstFormatMode
Enumeration of inst_format modes (how to print models from get-model command).
Macros that should be defined everywhere during the building of the libraries and driver binary...
default mode (print expressions in the output language format)
struct CVC4::options::out__option_t out
ModelFormatMode
Enumeration of model_format modes (how to print models from get-model command).