expr_stream.h File Reference

#include "os.h"
#include "expr.h"

Include dependency graph for expr_stream.h:

This graph shows which files directly or indirectly include this file:

Go to the source code of this file.

Namespaces

• namespace CVC3
• namespace std

Classes

• class CVC3::ExprStream

  Pretty-printing output stream for Expr. READ THE DOCS BEFORE USING! More...
  

Functions

• CVC3::ExprStream & std::endl (CVC3::ExprStream &os)

  Print the end-of-line.
  

• ExprStream & CVC3::push (ExprStream &os)

  Set the indentation to the current position.
  

• ExprStream & CVC3::pop (ExprStream &os)

  Restore the indentation to the previous position.
  

• ExprStream & CVC3::popSave (ExprStream &os)

  Remember the current indentation and pop to the previous position.
  

• ExprStream & CVC3::pushRestore (ExprStream &os)

  Set the indentation to the position saved by popSave().
  

• ExprStream & CVC3::reset (ExprStream &os)

  Reset the indentation to the default at this level.
  

• ExprStream & CVC3::space (ExprStream &os)

  Insert a single white space separator.
  

• ExprStream & CVC3::nodag (ExprStream &os)
• ExprStream & CVC3::pushdag (ExprStream &os)
• ExprStream & CVC3::popdag (ExprStream &os)

---

Detailed Description

Author: Sergey Berezin

Created: Mon Jun 16 10:59:18 2003

---

License to use, copy, modify, sell and/or distribute this software and its documentation for any purpose is hereby granted without royalty, subject to the terms and conditions defined in the LICENSE file provided with this distribution.

---

Declaration of class ExprStream, an output stream to pretty-print Expr in various nice output formats (presentation/internal/other languages, outo-indentation, bounded depth printing, DAG-ified printing, etc, etc...).

This stream is most useful for the decision procedure designer when writing a pretty-printer (Theory::print() method). ExprStream carries information about the current output language, and all the indentation and depth pretty-printing is done automagically by the operator<<().

Definition in file expr_stream.h.

---