cvc4-1.4
|
IOStream manipulator to print type ascriptions or not. More...
#include <expr.h>
Data Structures | |
class | Scope |
Set the print-types state on the output stream for the current stack scope. More... | |
Public Member Functions | |
ExprPrintTypes (bool printTypes) | |
Construct a ExprPrintTypes with the given setting. More... | |
void | applyPrintTypes (std::ostream &out) |
Static Public Member Functions | |
static bool | getPrintTypes (std::ostream &out) |
static void | setPrintTypes (std::ostream &out, bool printTypes) |
IOStream manipulator to print type ascriptions or not.
// let a, b, c, and d be variables of sort U Expr e = em->mkExpr(OR, a, b, em->mkExpr(AND, c, em->mkExpr(NOT, d))) out << e;
gives "(OR a:U b:U (AND c:U (NOT d:U)))", but
|
inline |
Construct a ExprPrintTypes with the given setting.
|
inline |
Definition at line 784 of file expr.h.
Referenced by CVC4::expr::operator<<().
|
inlinestatic |
|
inlinestatic |
Definition at line 792 of file expr.h.
Referenced by CVC4::expr::ExprPrintTypes::Scope::Scope(), and CVC4::expr::ExprPrintTypes::Scope::~Scope().