C++ (Cpp) TNode::toStream примеры использования

Пример #1

Файл: smt1_printer.cpp Проект: Fininvest/CVC4

void Smt1Printer::toStream(std::ostream& out, TNode n,
                           int toDepth, bool types, size_t dag) const throw() {
  n.toStream(out, toDepth, types, dag, language::output::LANG_SMTLIB_V2);
}/* Smt1Printer::toStream() */