/dports/math/cvc4/CVC4-1.7/src/printer/ast/ |
H A D | ast_printer.cpp | 37 void AstPrinter::toStream( in toStream() function in CVC4::printer::ast::AstPrinter 56 toStream(out, (*i).second, toDepth, types, false); in toStream() 58 toStream(out, (*i).first, toDepth, types, false); in toStream() 63 toStream(out, body, toDepth, types); in toStream() 68 toStream(out, n, toDepth, types); in toStream() 72 void AstPrinter::toStream(std::ostream& out, in toStream() function in CVC4::printer::ast::AstPrinter 94 n.getType().toStream(out, language::output::LANG_AST); in toStream() 135 void AstPrinter::toStream(std::ostream& out, in toStream() function in CVC4::printer::ast::AstPrinter 206 void AstPrinter::toStream(std::ostream& out, in toStream() function in CVC4::printer::ast::AstPrinter 414 toStream(out, dynamic_cast<const T*>(c)); in tryToStream() [all …]
|
H A D | ast_printer.h | 32 using CVC4::Printer::toStream; 33 void toStream(std::ostream& out, 38 void toStream(std::ostream& out, 43 void toStream(std::ostream& out, const CommandStatus* s) const override; 44 void toStream(std::ostream& out, const Model& m) const override; 47 void toStream(std::ostream& out, TNode n, int toDepth, bool types) const; 48 void toStream(std::ostream& out,
|
/dports/math/cvc4/CVC4-1.7/src/printer/cvc/ |
H A D | cvc_printer.cpp | 45 void CvcPrinter::toStream( in toStream() function in CVC4::printer::cvc::CvcPrinter 73 toStream(out, n, toDepth, types, false); in toStream() 91 void CvcPrinter::toStream( in toStream() function in CVC4::printer::cvc::CvcPrinter 1215 static void toStream(std::ostream& out, in toStream() function 1261 static void toStream(std::ostream& out, in toStream() function 1282 static void toStream(std::ostream& out, in toStream() function 1299 static void toStream(std::ostream& out, in toStream() function 1306 static void toStream(std::ostream& out, in toStream() function 1328 static void toStream(std::ostream& out, in toStream() function 1341 static void toStream(std::ostream& out, in toStream() function [all …]
|
H A D | cvc_printer.h | 32 using CVC4::Printer::toStream; 34 void toStream(std::ostream& out, 39 void toStream(std::ostream& out, 44 void toStream(std::ostream& out, const CommandStatus* s) const override; 47 void toStream( 49 void toStream(std::ostream& out,
|
/dports/devel/cquery/cquery-20180718/third_party/doctest/examples/all_features/ |
H A D | coverage_maxout.cpp | 70 detail::toStream(&oss, true); 71 detail::toStream(&oss, 0.5f); 72 detail::toStream(&oss, 0.5); 73 detail::toStream(&oss, static_cast<long double>(0.1)); 74 detail::toStream(&oss, 'c'); 75 detail::toStream(&oss, static_cast<signed char>('c')); 76 detail::toStream(&oss, static_cast<unsigned char>(1)); 77 detail::toStream(&oss, static_cast<short>(1)); 78 detail::toStream(&oss, static_cast<long>(1)); 79 detail::toStream(&oss, static_cast<unsigned long>(1)); [all …]
|
/dports/devel/doctest/doctest-2.4.7/scripts/ |
H A D | coverage_maxout.cpp | 80 detail::toStream(&oss, true); 81 detail::toStream(&oss, 0.5f); 82 detail::toStream(&oss, 0.5); 83 detail::toStream(&oss, static_cast<long double>(0.1)); 84 detail::toStream(&oss, 'c'); 85 detail::toStream(&oss, static_cast<signed char>('c')); 86 detail::toStream(&oss, static_cast<unsigned char>(1)); 87 detail::toStream(&oss, static_cast<short>(1)); 88 detail::toStream(&oss, static_cast<long>(1)); 89 detail::toStream(&oss, static_cast<unsigned long>(1)); [all …]
|
/dports/math/cvc4/CVC4-1.7/src/printer/smt2/ |
H A D | smt2_printer.h | 43 using CVC4::Printer::toStream; 44 void toStream(std::ostream& out, 49 void toStream(std::ostream& out, 54 void toStream(std::ostream& out, const CommandStatus* s) const override; 55 void toStream(std::ostream& out, const Model& m) const override; 61 void toStream(std::ostream& out, const UnsatCore& core) const override; 69 void toStream( 71 void toStream(std::ostream& out, 74 void toStream(std::ostream& out, const SExpr& sexpr) const;
|
H A D | smt2_printer.cpp | 59 void Smt2Printer::toStream( in toStream() function in CVC4::printer::smt2::Smt2Printer 119 void Smt2Printer::toStream(std::ostream& out, in toStream() function in CVC4::printer::smt2::Smt2Printer 426 toStream(out, in toStream() 1195 void Smt2Printer::toStream(std::ostream& out, in toStream() function in CVC4::printer::smt2::Smt2Printer 1312 this->Printer::toStream(out, m); in toStream() 1325 void Smt2Printer::toStream(std::ostream& out, in toStream() function in CVC4::printer::smt2::Smt2Printer 1798 static void toStream(std::ostream& out, in toStream() function 1809 static void toStream(std::ostream& out, in toStream() function 1865 static void toStream(std::ostream& out, in toStream() function 1912 toStream(out, d); in toStream() [all …]
|
/dports/math/cvc4/CVC4-1.7/src/printer/tptp/ |
H A D | tptp_printer.cpp | 36 void TptpPrinter::toStream( in toStream() function in CVC4::printer::tptp::TptpPrinter 39 n.toStream(out, toDepth, types, dag, language::output::LANG_SMTLIB_V2_5); in toStream() 42 void TptpPrinter::toStream(std::ostream& out, in toStream() function in CVC4::printer::tptp::TptpPrinter 48 c->toStream(out, toDepth, types, dag, language::output::LANG_SMTLIB_V2_5); in toStream() 51 void TptpPrinter::toStream(std::ostream& out, const CommandStatus* s) const in toStream() function in CVC4::printer::tptp::TptpPrinter 53 s->toStream(out, language::output::LANG_SMTLIB_V2_5); in toStream() 56 void TptpPrinter::toStream(std::ostream& out, const Model& m) const in toStream() function in CVC4::printer::tptp::TptpPrinter 65 void TptpPrinter::toStream(std::ostream& out, in toStream() function in CVC4::printer::tptp::TptpPrinter 72 void TptpPrinter::toStream(std::ostream& out, const UnsatCore& core) const in toStream() function in CVC4::printer::tptp::TptpPrinter
|
H A D | tptp_printer.h | 32 using CVC4::Printer::toStream; 33 void toStream(std::ostream& out, 38 void toStream(std::ostream& out, 43 void toStream(std::ostream& out, const CommandStatus* s) const override; 44 void toStream(std::ostream& out, const Model& m) const override; 49 void toStream(std::ostream& out, const UnsatCore& core) const override; 52 void toStream(std::ostream& out,
|
/dports/print/lyx/lyx-2.3.4.2/src/support/ |
H A D | debug.cpp | 230 { return toStream(l, t); } in operator <<() 232 { return toStream(l, t); } in operator <<() 234 { return toStream(l, t); } in operator <<() 236 { return toStream(l, t); } in operator <<() 238 { return toStream(l, t); } in operator <<() 240 { return toStream(l, t); } in operator <<() 242 { return toStream(l, t); } in operator <<() 245 { return toStream(l, t); } in operator <<() 247 { return toStream(l, t); } in operator <<() 250 { return toStream(l, t); } in operator <<() [all …]
|
/dports/math/cvc4/CVC4-1.7/src/printer/ |
H A D | printer.h | 46 virtual void toStream(std::ostream& out, 53 virtual void toStream(std::ostream& out, 60 virtual void toStream(std::ostream& out, const CommandStatus* s) const = 0; 63 virtual void toStream(std::ostream& out, const Model& m) const; 66 virtual void toStream(std::ostream& out, const UnsatCore& core) const; 88 virtual void toStream(std::ostream& out, 98 getPrinter(lang)->toStream(out, m, c); in toStreamUsing()
|
H A D | printer.cpp | 83 toStream(out, n, -1, false, 1); in toStreamSygus() 86 void Printer::toStream(std::ostream& out, const Model& m) const in toStream() function in CVC4::Printer 95 toStream(out, m, cmd); in toStream() 99 void Printer::toStream(std::ostream& out, const UnsatCore& core) const in toStream() function in CVC4::Printer 103 toStream(out, &cmd, -1, false, -1); in toStream()
|
/dports/multimedia/kodi/xbmc-19.3-Matrix/xbmc/cores/VideoPlayer/DVDDemuxers/ |
H A D | DVDDemuxClient.cpp | 441 toStream = streamAudio; in SetStreamProps() 488 toStream = streamVideo; in SetStreamProps() 521 toStream = streamSubtitle; in SetStreamProps() 543 toStream = streamTeletext; in SetStreamProps() 565 toStream = streamRDS; in SetStreamProps() 572 toStream = streamGen; in SetStreamProps() 584 toStream->codec = stream->codec; in SetStreamProps() 587 toStream->flags = stream->flags; in SetStreamProps() 591 toStream->name = stream->name; in SetStreamProps() 594 toStream->uniqueId, in SetStreamProps() [all …]
|
/dports/math/cvc4/CVC4-1.7/src/expr/ |
H A D | node_value.cpp | 42 toStream(ss, -1, false, false, outlang); in toString() 46 void NodeValue::toStream(std::ostream& out, int toDepth, bool types, size_t dag, in toStream() function in CVC4::expr::NodeValue 53 Printer::getPrinter(language)->toStream(out, TNode(this), toDepth, types, in toStream() 67 kind::metakind::NodeValueConstPrinter::toStream(out, this); in printAst()
|
/dports/www/chromium-legacy/chromium-88.0.4324.182/third_party/angle/third_party/VK-GL-CTS/src/framework/common/ |
H A D | tcuFormatUtil.hpp | 46 std::ostream& toStream (std::ostream& stream) const in toStream() function in tcu::Format::Hex 62 toStream(stream); in toString() 73 return hex.toStream(stream); in operator <<() 100 std::ostream& toStream (std::ostream& stream) in toStream() function in tcu::Format::Bitfield 133 return decoder.toStream(stream); in operator <<() 150 std::ostream& toStream (std::ostream& stream) const in toStream() function in tcu::Format::Enum 174 …m& operator<< (std::ostream& stream, const Enum<T, NumBytes>& fmt) { return fmt.toStream(stream); } in operator <<()
|
/dports/math/cvc4/CVC4-1.7/src/proof/ |
H A D | unsat_core.cpp | 40 void UnsatCore::toStream(std::ostream& out) const { in toStream() function in CVC4::UnsatCore 44 Printer::getPrinter(options::outputLanguage())->toStream(out, *this); in toStream() 48 core.toStream(out); in operator <<()
|
/dports/graphics/kphotoalbum/kphotoalbum-5.8.1/kpa-thumbnailtool/ |
H A D | ThumbnailCacheConverter.cpp | 62 QDataStream toStream { &toFile }; in convertV5ToV4Cache() local 64 toStream << v4FileVersion; in convertV5ToV4Cache() 69 toStream.writeRawData(buf, numBytes); in convertV5ToV4Cache()
|
/dports/math/cvc4/CVC4-1.7/test/unit/expr/ |
H A D | expr_public.h | 320 a_bool->toStream(sa); in testToStream() 321 b_bool->toStream(sb); in testToStream() 322 c_bool_and->toStream(sc); in testToStream() 323 and_op->toStream(smult); in testToStream() 324 plus_op->toStream(splus); in testToStream() 325 d_apply_fun_bool->toStream(sd); in testToStream() 326 null->toStream(snull); in testToStream() 328 i1->toStream(si1); in testToStream() 329 i2->toStream(si2); in testToStream() 330 r1->toStream(sr1); in testToStream() [all …]
|
/dports/www/squid/squid-4.15/src/sbuf/ |
H A D | Stats.cc | 26 toStream += ss.toStream; in operator +=() 58 "\ndump-to-ostream: " << toStream << in dump()
|
/dports/devel/antlr/antlr-2.7.7/lib/cpp/antlr/ |
H A D | TokenStreamRewriteEngine.hpp | 355 void toStream( ANTLR_USE_NAMESPACE(std)ostream& out ) const { in toStream() function in antlr::TokenStreamRewriteEngine 356 toStream( out, MIN_TOKEN_INDEX, getTokenStreamSize()); in toStream() 359 void toStream( ANTLR_USE_NAMESPACE(std)ostream& out, in toStream() function in antlr::TokenStreamRewriteEngine 362 toStream( out, programName, MIN_TOKEN_INDEX, getTokenStreamSize()); in toStream() 365 void toStream( ANTLR_USE_NAMESPACE(std)ostream& out, in toStream() function in antlr::TokenStreamRewriteEngine 368 toStream(out, DEFAULT_PROGRAM_NAME, start, end); in toStream() 371 void toStream( ANTLR_USE_NAMESPACE(std)ostream& out,
|
/dports/security/fwbuilder/fwbuilder-5.3.7/src/antlr/ |
H A D | TokenStreamRewriteEngine.hpp | 355 void toStream( ANTLR_USE_NAMESPACE(std)ostream& out ) const { in toStream() function in antlr::TokenStreamRewriteEngine 356 toStream( out, MIN_TOKEN_INDEX, getTokenStreamSize()); in toStream() 359 void toStream( ANTLR_USE_NAMESPACE(std)ostream& out, in toStream() function in antlr::TokenStreamRewriteEngine 362 toStream( out, programName, MIN_TOKEN_INDEX, getTokenStreamSize()); in toStream() 365 void toStream( ANTLR_USE_NAMESPACE(std)ostream& out, in toStream() function in antlr::TokenStreamRewriteEngine 368 toStream(out, DEFAULT_PROGRAM_NAME, start, end); in toStream() 371 void toStream( ANTLR_USE_NAMESPACE(std)ostream& out,
|
/dports/devel/hs-mueval/mueval-0.9.3/Mueval/ |
H A D | Interpreter.hs | 161 do (out,Any b) <- runWriterT $ render' i (toStream xs) 175 toStream :: String -> IO Stream 176 toStream str = E.evaluate (uncons str) `E.catch` function 177 \(E.SomeException e) -> return . Exception . toStream . show $ e 179 uncons (x:xs) = x `seq` Cons x (toStream xs)
|
/dports/math/cvc4/CVC4-1.7/src/util/ |
H A D | proof.h | 38 virtual void toStream(std::ostream& out) const = 0; 39 virtual void toStream(std::ostream& out, const ProofLetMap& map) const = 0;
|
H A D | sexpr.cpp | 198 SExpr::toStream(out, sexpr); in operator <<() 202 void SExpr::toStream(std::ostream& out, const SExpr& sexpr) { in toStream() function in CVC4::SExpr 203 toStream(out, sexpr, language::SetLanguage::getLanguage(out)); in toStream() 206 void SExpr::toStream(std::ostream& out, const SExpr& sexpr, in toStream() function in CVC4::SExpr 209 toStream(out, sexpr, language, indent); in toStream() 212 void SExpr::toStream(std::ostream& out, const SExpr& sexpr, in toStream() function in CVC4::SExpr
|