32 #ifndef _cvc3__expr_stream_h_
33 #define _cvc3__expr_stream_h_
149 std::string newName();
163 void os(std::ostream& os) { d_os = &
os; }
169 int depth()
const {
return d_depth; }
175 bool dagFlag(
bool flag =
true) {
bool old = d_dag; d_dag = flag;
return old; }
269 ExprStream&
push(ExprStream& os);
270 ExprStream&
pop(ExprStream& os);
271 ExprStream&
popSave(ExprStream& os);
273 ExprStream&
reset(ExprStream& os);
274 ExprStream&
space(ExprStream& os);
275 ExprStream&
nodag(ExprStream& os);
276 ExprStream&
pushdag(ExprStream& os);
277 ExprStream&
popdag(ExprStream& os);