cvc4-1.3
|
Set a language on the output stream for the current stack scope. More...
#include <expr.h>
Public Member Functions | |
Scope (std::ostream &out, OutputLanguage language) | |
~Scope () | |
Set a language on the output stream for the current stack scope.
This makes sure the old language is reset on the stream after normal OR exceptional exit from the scope, using the RAII C++ idiom.
|
inline |