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

Classes

Functions


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.


Generated on Wed Nov 18 16:13:50 2009 for CVC3 by  doxygen 1.5.2