IOStream manipulator to print expressions as a dag (or not).
More...
#include <expr.h>
|
class | Scope |
| Set the dag state on the output stream for the current stack scope. More...
|
|
|
| ExprDag (bool dag) |
| Construct a ExprDag with the given setting (dagification on or off). More...
|
|
| ExprDag (int dag) |
| Construct a ExprDag with the given setting (letify only common subexpressions that appear more than 'dag' times). More...
|
|
void | applyDag (std::ostream &out) |
|
|
static size_t | getDag (std::ostream &out) |
|
static void | setDag (std::ostream &out, size_t dag) |
|
IOStream manipulator to print expressions as a dag (or not).
Definition at line 825 of file expr.h.
CVC4::expr::ExprDag::ExprDag |
( |
bool |
dag | ) |
|
|
inlineexplicit |
Construct a ExprDag with the given setting (dagification on or off).
Definition at line 846 of file expr.h.
CVC4::expr::ExprDag::ExprDag |
( |
int |
dag | ) |
|
|
inlineexplicit |
Construct a ExprDag with the given setting (letify only common subexpressions that appear more than 'dag' times).
dag <= 0 means don't dagify.
Definition at line 853 of file expr.h.
void CVC4::expr::ExprDag::applyDag |
( |
std::ostream & |
out | ) |
|
|
inline |
static size_t CVC4::expr::ExprDag::getDag |
( |
std::ostream & |
out | ) |
|
|
inlinestatic |
static void CVC4::expr::ExprDag::setDag |
( |
std::ostream & |
out, |
|
|
size_t |
dag |
|
) |
| |
|
inlinestatic |
The documentation for this class was generated from the following file:
- builds/aarch64-redhat-linux-gnu/default-proof/src/expr/expr.h