Searched refs:ExprDag (Results 1 – 14 of 14) sorted by relevance
| /dports/math/cvc4/CVC4-1.7/src/expr/ |
| H A D | expr_iomanip.cpp | 30 const int ExprDag::s_iosIndex = std::ios_base::xalloc();
99 ExprDag::ExprDag(bool dag) : d_dag(dag ? 1 : 0) {} in ExprDag() function in CVC4::expr::ExprDag
101 ExprDag::ExprDag(int dag) : d_dag(dag < 0 ? 0 : dag) {} in ExprDag() function in CVC4::expr::ExprDag
103 void ExprDag::applyDag(std::ostream& out) { in applyDag()
108 size_t ExprDag::getDag(std::ostream& out) { in getDag()
128 void ExprDag::setDag(std::ostream& out, size_t dag) { in setDag()
133 ExprDag::Scope::Scope(std::ostream& out, size_t dag) in Scope()
135 d_oldDag(ExprDag::getDag(out)) { in Scope()
136 ExprDag::setDag(out, dag); in Scope()
139 ExprDag::Scope::~Scope() { in ~Scope()
[all …]
|
| H A D | expr_iomanip.h | 147 class CVC4_PUBLIC ExprDag {
152 explicit ExprDag(bool dag);
159 explicit ExprDag(int dag);
210 std::ostream& operator<<(std::ostream& out, ExprDag d) CVC4_PUBLIC;
|
| H A D | expr.i | 67 %ignore CVC4::expr::operator<<(std::ostream&, ExprDag);
|
| H A D | node.h | 864 typedef expr::ExprDag dag;
|
| /dports/math/cvc4/CVC4-1.7/src/smt/ |
| H A D | update_ostream.h | 38 : d_dagSetting(expr::ExprDag::getDag(out)), in ChannelSettings()
45 out << expr::ExprDag(d_dagSetting); in apply()
|
| H A D | model.cpp | 33 expr::ExprDag::Scope scope(out, false); in operator <<()
|
| H A D | smt_engine.cpp | 362 Debug.getStream() << expr::ExprDag(dag); in notify()
363 Trace.getStream() << expr::ExprDag(dag); in notify()
364 Notice.getStream() << expr::ExprDag(dag); in notify()
365 Chat.getStream() << expr::ExprDag(dag); in notify()
366 Message.getStream() << expr::ExprDag(dag); in notify()
367 Warning.getStream() << expr::ExprDag(dag); in notify()
368 Dump.getStream() << expr::ExprDag(dag); in notify()
|
| H A D | command.cpp | 1711 expr::ExprDag::Scope scope(out, false); in printResult()
|
| /dports/math/cvc4/CVC4-1.7/src/proof/ |
| H A D | unsat_core.cpp | 43 expr::ExprDag::Scope scope(out, false); in toStream()
|
| /dports/math/cvc4/CVC4-1.7/examples/nra-translate/ |
| H A D | smt2todreal.cpp | 52 cout << expr::ExprDag(0) << expr::ExprSetDepth(-1); in main()
|
| /dports/math/cvc4/CVC4-1.7/examples/ |
| H A D | translator.cpp | 219 *out << expr::ExprDag(dag_thresh); in main()
284 *out << expr::ExprDag(dag_thresh); in main()
|
| /dports/math/cvc4/CVC4-1.7/src/printer/ast/ |
| H A D | ast_printer.cpp | 143 expr::ExprDag::Scope dagScope(out, dag); in toStream()
|
| /dports/math/cvc4/CVC4-1.7/src/printer/cvc/ |
| H A D | cvc_printer.cpp | 1004 expr::ExprDag::Scope dagScope(out, dag); in toStream()
|
| /dports/math/cvc4/CVC4-1.7/src/printer/smt2/ |
| H A D | smt2_printer.cpp | 1203 expr::ExprDag::Scope dagScope(out, dag); in toStream()
|