Home
last modified time | relevance | path

Searched refs:toStream (Results 1 – 25 of 292) sorted by relevance

12345678910>>...12

/dports/math/cvc4/CVC4-1.7/src/printer/ast/
H A Dast_printer.cpp37 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 Dast_printer.h32 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 Dcvc_printer.cpp45 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 Dcvc_printer.h32 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 Dcoverage_maxout.cpp70 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 Dcoverage_maxout.cpp80 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 Dsmt2_printer.h43 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 Dsmt2_printer.cpp59 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 Dtptp_printer.cpp36 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 Dtptp_printer.h32 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 Ddebug.cpp230 { 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 Dprinter.h46 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 Dprinter.cpp83 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 DDVDDemuxClient.cpp441 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 Dnode_value.cpp42 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 DtcuFormatUtil.hpp46 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 Dunsat_core.cpp40 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 DThumbnailCacheConverter.cpp62 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 Dexpr_public.h320 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 DStats.cc26 toStream += ss.toStream; in operator +=()
58 "\ndump-to-ostream: " << toStream << in dump()
/dports/devel/antlr/antlr-2.7.7/lib/cpp/antlr/
H A DTokenStreamRewriteEngine.hpp355 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 DTokenStreamRewriteEngine.hpp355 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 DInterpreter.hs161 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 Dproof.h38 virtual void toStream(std::ostream& out) const = 0;
39 virtual void toStream(std::ostream& out, const ProofLetMap& map) const = 0;
H A Dsexpr.cpp198 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

12345678910>>...12