CVC3
2.4.1
|
Go to the source code of this file.
Namespaces | |
CVC3 | |
Constant Groups | |
CVC3 | |
Functions | |
static bool | CVC3::isTrivialExpr (const Expr &e) |
ExprStream & | CVC3::operator<< (ExprStream &os, ExprStream &(*manip)(ExprStream &)) |
Use manipulators which are functions over ExprStream&. More... | |
ExprStream & | CVC3::operator<< (ExprStream &os, const Expr &e) |
Print Expr. More... | |
ExprStream & | CVC3::operator<< (ExprStream &os, const Type &t) |
Print Type. More... | |
ExprStream & | CVC3::operator<< (ExprStream &os, const string &s) |
Print string. More... | |
ExprStream & | CVC3::operator<< (ExprStream &os, const char *s) |
Print char* string. More... | |
ExprStream & | CVC3::operator<< (ExprStream &os, const Rational &r) |
Print Rational. More... | |
ExprStream & | CVC3::operator<< (ExprStream &os, int i) |
Print int. More... | |
ExprStream & | CVC3::push (ExprStream &os) |
Set the indentation to the current position. More... | |
ExprStream & | CVC3::pop (ExprStream &os) |
Restore the indentation. More... | |
ExprStream & | CVC3::popSave (ExprStream &os) |
Remember the current indentation and pop to the previous position. More... | |
ExprStream & | CVC3::pushRestore (ExprStream &os) |
Set the indentation to the position saved by popSave() More... | |
ExprStream & | CVC3::reset (ExprStream &os) |
Reset the indentation to the default at this level. More... | |
ExprStream & | CVC3::space (ExprStream &os) |
Insert a single white space separator. More... | |
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. More... | |
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.