expr_stream.cpp File Reference

#include "pretty_printer.h"
#include "expr_stream.h"
#include "theory_core.h"

Include dependency graph for expr_stream.cpp:

Go to the source code of this file.

Namespaces

• namespace CVC3
• namespace std

Functions

• static bool CVC3::isTrivialExpr (const Expr &e)
• ExprStream & CVC3::operator<< (ExprStream &os, ExprStream &(*manip)(ExprStream &))

  Use manipulators which are functions over ExprStream&.
  

• ExprStream & CVC3::operator<< (ExprStream &os, const Expr &e)

  Print Expr.
  

• ExprStream & CVC3::operator<< (ExprStream &os, const Type &t)

  Print Type.
  

• ExprStream & CVC3::operator<< (ExprStream &os, const string &s)

  Print string.
  

• ExprStream & CVC3::operator<< (ExprStream &os, const char *s)

  Print char* string.
  

• ExprStream & CVC3::operator<< (ExprStream &os, const Rational &r)

  Print Rational.
  

• ExprStream & CVC3::operator<< (ExprStream &os, int i)

  Print int.
  

• 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)
• CVC3::ExprStream & std::endl (CVC3::ExprStream &os)

  Print the end-of-line.
  

---

Detailed Description

Author: Sergey Berezin

Created: Mon Jun 16 13:57:29 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.

---

Definition in file expr_stream.cpp.

---