Home
last modified time | relevance | path

Searched defs:toStream (Results 1 – 25 of 112) sorted by relevance

12345

/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
72 void AstPrinter::toStream(std::ostream& out, in toStream() function in CVC4::printer::ast::AstPrinter
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
214 static void toStream(std::ostream& out, const EmptyCommand* c) in toStream() function
219 static void toStream(std::ostream& out, const AssertCommand* c) in toStream() function
224 static void toStream(std::ostream& out, const PushCommand* c) in toStream() function
249 static void toStream(std::ostream& out, const QueryCommand* c) in toStream() function
254 static void toStream(std::ostream& out, const ResetCommand* c) in toStream() function
264 static void toStream(std::ostream& out, const QuitCommand* c) in toStream() function
[all …]
/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
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
1353 static void toStream(std::ostream& out, in toStream() function
[all …]
/dports/math/cvc4/CVC4-1.7/src/printer/smt2/
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
1195 void Smt2Printer::toStream(std::ostream& out, in toStream() function in CVC4::printer::smt2::Smt2Printer
1325 void Smt2Printer::toStream(std::ostream& out, in toStream() function in CVC4::printer::smt2::Smt2Printer
1492 static void toStream(std::ostream& out, const PushCommand* c) in toStream() function
1497 static void toStream(std::ostream& out, const PopCommand* c) in toStream() function
1553 static void toStream(std::ostream& out, const QuitCommand* c) in toStream() function
1798 static void toStream(std::ostream& out, in toStream() function
1809 static void toStream(std::ostream& out, in toStream() function
1850 static void toStream(std::ostream& out, const Datatype & d) { in toStream() function
[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
42 void TptpPrinter::toStream(std::ostream& out, in toStream() function in CVC4::printer::tptp::TptpPrinter
51 void TptpPrinter::toStream(std::ostream& out, const CommandStatus* s) const in toStream() function in CVC4::printer::tptp::TptpPrinter
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
/dports/math/cvc4/CVC4-1.7/src/printer/
H A Dprinter.cpp86 void Printer::toStream(std::ostream& out, const Model& m) const in toStream() function in CVC4::Printer
99 void Printer::toStream(std::ostream& out, const UnsatCore& core) const in toStream() function in CVC4::Printer
/dports/math/cvc4/CVC4-1.7/src/expr/
H A Dmetakind_template.cpp104 void NodeValueConstPrinter::toStream(std::ostream& out, in toStream() function in CVC4::kind::metakind::NodeValueConstPrinter
115 void NodeValueConstPrinter::toStream(std::ostream& out, TNode n) { in toStream() function in CVC4::kind::metakind::NodeValueConstPrinter
H A Dnode_value.cpp46 void NodeValue::toStream(std::ostream& out, int toDepth, bool types, size_t dag, in toStream() function in CVC4::expr::NodeValue
/dports/java/javamail/javamail-JAVAMAIL-1_6_2/mail/src/main/java/com/sun/mail/util/
H A DSharedByteArrayOutputStream.java61 public InputStream toStream() { in toStream() method in SharedByteArrayOutputStream
/dports/games/spring/spring_98.0/AI/Skirmish/E323AI/atask/
H A DGuard.cpp22 void GuardTask::toStream(std::ostream& out) const { in toStream() function in GuardTask
H A DAssist.cpp86 void AssistTask::toStream(std::ostream& out) const { in toStream() function in AssistTask
H A DRepair.cpp73 void RepairTask::toStream(std::ostream& out) const { in toStream() function in RepairTask
/dports/math/cvc4/CVC4-1.7/src/theory/quantifiers/
H A Dinst_match.h69 inline void toStream(std::ostream& out) const { in toStream() function
/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
/dports/math/cvc4/CVC4-1.7/src/util/
H A Dsexpr.cpp202 void SExpr::toStream(std::ostream& out, const SExpr& sexpr) { in toStream() function in CVC4::SExpr
206 void SExpr::toStream(std::ostream& out, const SExpr& sexpr, in toStream() function in CVC4::SExpr
212 void SExpr::toStream(std::ostream& out, const SExpr& sexpr, in toStream() function in CVC4::SExpr
/dports/science/rdkit/rdkit-Release_2021_03_5/Code/GraphMol/MolCatalog/
H A DMolCatalogParams.cpp19 void MolCatalogParams::toStream(std::ostream &ss) const { in toStream() function in RDKit::MolCatalogParams
/dports/science/rdkit/rdkit-Release_2021_03_5/Code/GraphMol/MolStandardize/FragmentCatalog/
H A DFragmentCatalogEntry.cpp32 void FragmentCatalogEntry::toStream(std::ostream &ss) const { in toStream() function in RDKit::MolStandardize::FragmentCatalogEntry
/dports/science/rdkit/rdkit-Release_2021_03_5/Code/GraphMol/MolStandardize/TransformCatalog/
H A DTransformCatalogEntry.cpp23 void TransformCatalogEntry::toStream(std::ostream &ss) const { in toStream() function in RDKit::MolStandardize::TransformCatalogEntry
/dports/science/rdkit/rdkit-Release_2021_03_5/Code/GraphMol/MolStandardize/AcidBaseCatalog/
H A DAcidBaseCatalogEntry.cpp22 void AcidBaseCatalogEntry::toStream(std::ostream &ss) const { in toStream() function in RDKit::MolStandardize::AcidBaseCatalogEntry
/dports/science/rdkit/rdkit-Release_2021_03_5/Code/GraphMol/MolStandardize/TautomerCatalog/
H A DTautomerCatalogEntry.cpp22 void TautomerCatalogEntry::toStream(std::ostream &ss) const { in toStream() function in RDKit::MolStandardize::TautomerCatalogEntry
/dports/devel/cquery/cquery-20180718/third_party/doctest/doctest/parts/
H A Ddoctest_impl.h1142 void toStream(std::ostream* stream, char* in) { *stream << in; } in toStream() function
1143 void toStream(std::ostream* stream, const char* in) { *stream << in; } in toStream() function
1145 void toStream(std::ostream* stream, bool in) { in toStream() function
1148 void toStream(std::ostream* stream, float in) { *stream << in; } in toStream() function
1149 void toStream(std::ostream* stream, double in) { *stream << in; } in toStream() function
1150 void toStream(std::ostream* stream, double long in) { *stream << in; } in toStream() function
1152 void toStream(std::ostream* stream, char in) { *stream << in; } in toStream() function
1153 void toStream(std::ostream* stream, char signed in) { *stream << in; } in toStream() function
1155 void toStream(std::ostream* stream, int short in) { *stream << in; } in toStream() function
1157 void toStream(std::ostream* stream, int in) { *stream << in; } in toStream() function
[all …]
/dports/games/keeperrl/keeperrl-alpha23/
H A Ddebug.cpp25 DebugOutput DebugOutput::toStream(std::ostream& o) { in toStream() function in DebugOutput
/dports/graphics/kphotoalbum/kphotoalbum-5.8.1/kpa-thumbnailtool/
H A DThumbnailCacheConverter.cpp62 QDataStream toStream { &toFile }; in convertV5ToV4Cache() local
/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
100 std::ostream& toStream (std::ostream& stream) in toStream() function in tcu::Format::Bitfield
150 std::ostream& toStream (std::ostream& stream) const in toStream() function in tcu::Format::Enum
/dports/math/cvc4/CVC4-1.7/src/theory/idl/
H A Didl_model.cpp56 void IDLModel::toStream(std::ostream& out) const { in toStream() function in IDLModel
/dports/devel/hs-mueval/mueval-0.9.3/Mueval/
H A DInterpreter.hs176 toStream str = E.evaluate (uncons str) `E.catch` function

12345