cvc4-1.3
|
IOStream manipulator to set the output language for Exprs. More...
#include <expr.h>
Data Structures | |
class | Scope |
Set a language on the output stream for the current stack scope. More... | |
Public Member Functions | |
ExprSetLanguage (OutputLanguage l) | |
Construct a ExprSetLanguage with the given setting. More... | |
void | applyLanguage (std::ostream &out) |
Static Public Member Functions | |
static OutputLanguage | getLanguage (std::ostream &out) |
static void | setLanguage (std::ostream &out, OutputLanguage l) |
|
inline |
Construct a ExprSetLanguage with the given setting.
|
inline |
Definition at line 938 of file expr.h.
Referenced by CVC4::expr::operator<<().
|
inlinestatic |
Definition at line 943 of file expr.h.
References CVC4::Options::current(), CVC4::language::output::LANG_MAX, and CVC4::options::outputLanguage.
|
inlinestatic |