cvc4-1.4
modes.h
Go to the documentation of this file.
1 /********************* */
18 #include "cvc4_public.h"
19 
20 #ifndef __CVC4__PRINTER__MODES_H
21 #define __CVC4__PRINTER__MODES_H
22 
23 #include <iostream>
24 
25 namespace CVC4 {
26 
28 typedef enum {
34 
36 typedef enum {
42 
43 std::ostream& operator<<(std::ostream& out, ModelFormatMode mode) CVC4_PUBLIC;
44 std::ostream& operator<<(std::ostream& out, InstFormatMode mode) CVC4_PUBLIC;
45 
46 }/* CVC4 namespace */
47 
48 #endif /* __CVC4__PRINTER__MODEL_FORMAT_H */
print functional values in a table format
Definition: modes.h:32
Definition: modes.h:25
default mode (print expressions in the output language format)
Definition: modes.h:30
InstFormatMode
Enumeration of inst_format modes (how to print models from get-model command).
Definition: modes.h:36
#define CVC4_PUBLIC
Definition: cvc4_public.h:30
Macros that should be defined everywhere during the building of the libraries and driver binary...
default mode (print expressions in the output language format)
Definition: modes.h:38
std::ostream & operator<<(std::ostream &out, ModelFormatMode mode)
struct CVC4::options::out__option_t out
ModelFormatMode
Enumeration of model_format modes (how to print models from get-model command).
Definition: modes.h:28
print as SZS proof
Definition: modes.h:40