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).
|
|
| ExprDag (int dag) |
| Construct a ExprDag with the given setting (letify only common subexpressions that appear more than 'dag' times).
|
|
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.
◆ ExprDag() [1/2]
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.
◆ ExprDag() [2/2]
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.
◆ applyDag()
void CVC4::expr::ExprDag::applyDag |
( |
std::ostream & | out | ) |
|
|
inline |
◆ getDag()
static size_t CVC4::expr::ExprDag::getDag |
( |
std::ostream & | out | ) |
|
|
inlinestatic |
◆ setDag()
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/powerpc-apple-darwin10.0.0d2/production/src/expr/expr.h