/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 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 D | cvc_printer.cpp | 45 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 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 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 D | tptp_printer.cpp | 36 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 D | printer.cpp | 86 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 D | metakind_template.cpp | 104 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 D | node_value.cpp | 46 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 D | SharedByteArrayOutputStream.java | 61 public InputStream toStream() { in toStream() method in SharedByteArrayOutputStream
|
/dports/games/spring/spring_98.0/AI/Skirmish/E323AI/atask/ |
H A D | Guard.cpp | 22 void GuardTask::toStream(std::ostream& out) const { in toStream() function in GuardTask
|
H A D | Assist.cpp | 86 void AssistTask::toStream(std::ostream& out) const { in toStream() function in AssistTask
|
H A D | Repair.cpp | 73 void RepairTask::toStream(std::ostream& out) const { in toStream() function in RepairTask
|
/dports/math/cvc4/CVC4-1.7/src/theory/quantifiers/ |
H A D | inst_match.h | 69 inline void toStream(std::ostream& out) const { in toStream() function
|
/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
|
/dports/math/cvc4/CVC4-1.7/src/util/ |
H A D | sexpr.cpp | 202 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 D | MolCatalogParams.cpp | 19 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 D | FragmentCatalogEntry.cpp | 32 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 D | TransformCatalogEntry.cpp | 23 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 D | AcidBaseCatalogEntry.cpp | 22 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 D | TautomerCatalogEntry.cpp | 22 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 D | doctest_impl.h | 1142 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 D | debug.cpp | 25 DebugOutput DebugOutput::toStream(std::ostream& o) { in toStream() function in DebugOutput
|
/dports/graphics/kphotoalbum/kphotoalbum-5.8.1/kpa-thumbnailtool/ |
H A D | ThumbnailCacheConverter.cpp | 62 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 D | tcuFormatUtil.hpp | 46 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 D | idl_model.cpp | 56 void IDLModel::toStream(std::ostream& out) const { in toStream() function in IDLModel
|
/dports/devel/hs-mueval/mueval-0.9.3/Mueval/ |
H A D | Interpreter.hs | 176 toStream str = E.evaluate (uncons str) `E.catch` function
|