cvc4-1.4
|
IOStream manipulator to print expressions as a dag (or not). More...
#include <expr.h>
Data Structures | |
class | Scope |
Set the dag state on the output stream for the current stack scope. More... | |
Public Member Functions | |
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 Public Member Functions | |
static size_t | getDag (std::ostream &out) |
static void | setDag (std::ostream &out, size_t dag) |
|
inlineexplicit |
|
inlineexplicit |
|
inline |
Definition at line 855 of file expr.h.
Referenced by CVC4::expr::operator<<().
|
inlinestatic |
Definition at line 860 of file expr.h.
References CVC4::Options::current(), and CVC4::options::defaultDagThresh.
|
inlinestatic |
Definition at line 880 of file expr.h.
Referenced by CVC4::expr::ExprDag::Scope::Scope(), and CVC4::expr::ExprDag::Scope::~Scope().