summaryrefslogtreecommitdiff
path: root/src/printer
diff options
context:
space:
mode:
Diffstat (limited to 'src/printer')
-rw-r--r--src/printer/ast/ast_printer.cpp4
-rw-r--r--src/printer/ast/ast_printer.h8
-rw-r--r--src/printer/cvc/cvc_printer.cpp4
-rw-r--r--src/printer/cvc/cvc_printer.h8
-rw-r--r--src/printer/let_binding.cpp4
-rw-r--r--src/printer/let_binding.h4
-rw-r--r--src/printer/printer.cpp6
-rw-r--r--src/printer/printer.h4
-rw-r--r--src/printer/smt2/smt2_printer.cpp26
-rw-r--r--src/printer/smt2/smt2_printer.h8
-rw-r--r--src/printer/tptp/tptp_printer.cpp4
-rw-r--r--src/printer/tptp/tptp_printer.h8
12 files changed, 44 insertions, 44 deletions
diff --git a/src/printer/ast/ast_printer.cpp b/src/printer/ast/ast_printer.cpp
index 5d3fb1adc..c0ceb1c7f 100644
--- a/src/printer/ast/ast_printer.cpp
+++ b/src/printer/ast/ast_printer.cpp
@@ -29,7 +29,7 @@
using namespace std;
-namespace CVC5 {
+namespace cvc5 {
namespace printer {
namespace ast {
@@ -475,4 +475,4 @@ static bool tryToStream(std::ostream& out, const CommandStatus* s)
} // namespace ast
} // namespace printer
-} // namespace CVC5
+} // namespace cvc5
diff --git a/src/printer/ast/ast_printer.h b/src/printer/ast/ast_printer.h
index 985cf9872..7d24aa0fe 100644
--- a/src/printer/ast/ast_printer.h
+++ b/src/printer/ast/ast_printer.h
@@ -23,17 +23,17 @@
#include "printer/printer.h"
-namespace CVC5 {
+namespace cvc5 {
class LetBinding;
namespace printer {
namespace ast {
-class AstPrinter : public CVC5::Printer
+class AstPrinter : public cvc5::Printer
{
public:
- using CVC5::Printer::toStream;
+ using cvc5::Printer::toStream;
void toStream(std::ostream& out,
TNode n,
int toDepth,
@@ -196,6 +196,6 @@ class AstPrinter : public CVC5::Printer
} // namespace ast
} // namespace printer
-} // namespace CVC5
+} // namespace cvc5
#endif /* CVC4__PRINTER__AST_PRINTER_H */
diff --git a/src/printer/cvc/cvc_printer.cpp b/src/printer/cvc/cvc_printer.cpp
index 867bc204a..1556ee74d 100644
--- a/src/printer/cvc/cvc_printer.cpp
+++ b/src/printer/cvc/cvc_printer.cpp
@@ -42,7 +42,7 @@
using namespace std;
-namespace CVC5 {
+namespace cvc5 {
namespace printer {
namespace cvc {
@@ -1614,4 +1614,4 @@ void CvcPrinter::toStreamNodeWithLetify(std::ostream& out,
} // namespace cvc
} // namespace printer
-} // namespace CVC5
+} // namespace cvc5
diff --git a/src/printer/cvc/cvc_printer.h b/src/printer/cvc/cvc_printer.h
index 2b240568e..f7458c3f5 100644
--- a/src/printer/cvc/cvc_printer.h
+++ b/src/printer/cvc/cvc_printer.h
@@ -23,17 +23,17 @@
#include "printer/printer.h"
-namespace CVC5 {
+namespace cvc5 {
class LetBinding;
namespace printer {
namespace cvc {
-class CvcPrinter : public CVC5::Printer
+class CvcPrinter : public cvc5::Printer
{
public:
- using CVC5::Printer::toStream;
+ using cvc5::Printer::toStream;
CvcPrinter(bool cvc3Mode = false) : d_cvc3Mode(cvc3Mode) {}
void toStream(std::ostream& out,
TNode n,
@@ -204,6 +204,6 @@ class CvcPrinter : public CVC5::Printer
} // namespace cvc
} // namespace printer
-} // namespace CVC5
+} // namespace cvc5
#endif /* CVC4__PRINTER__CVC_PRINTER_H */
diff --git a/src/printer/let_binding.cpp b/src/printer/let_binding.cpp
index 638503c1a..c8b227a97 100644
--- a/src/printer/let_binding.cpp
+++ b/src/printer/let_binding.cpp
@@ -16,7 +16,7 @@
#include <sstream>
-namespace CVC5 {
+namespace cvc5 {
LetBinding::LetBinding(uint32_t thresh)
: d_thresh(thresh),
@@ -212,4 +212,4 @@ void LetBinding::convertCountToLet()
}
}
-} // namespace CVC5
+} // namespace cvc5
diff --git a/src/printer/let_binding.h b/src/printer/let_binding.h
index 9eaeb039a..b0560a025 100644
--- a/src/printer/let_binding.h
+++ b/src/printer/let_binding.h
@@ -23,7 +23,7 @@
#include "context/cdlist.h"
#include "expr/node.h"
-namespace CVC5 {
+namespace cvc5 {
/**
* A flexible let binding class. This class provides functionalities for
@@ -157,6 +157,6 @@ class LetBinding
NodeIdMap d_letMap;
};
-} // namespace CVC5
+} // namespace cvc5
#endif
diff --git a/src/printer/printer.cpp b/src/printer/printer.cpp
index c4236d711..46e92b095 100644
--- a/src/printer/printer.cpp
+++ b/src/printer/printer.cpp
@@ -30,13 +30,13 @@
using namespace std;
-namespace CVC5 {
+namespace cvc5 {
unique_ptr<Printer> Printer::d_printers[language::output::LANG_MAX];
unique_ptr<Printer> Printer::makePrinter(OutputLanguage lang)
{
- using namespace CVC5::language::output;
+ using namespace cvc5::language::output;
switch(lang) {
case LANG_SMTLIB_V2_6:
@@ -459,4 +459,4 @@ void Printer::toStreamCmdDeclarationSequence(
printUnknownCommand(out, "sequence");
}
-} // namespace CVC5
+} // namespace cvc5
diff --git a/src/printer/printer.h b/src/printer/printer.h
index 02ffdc939..65b4a7ccb 100644
--- a/src/printer/printer.h
+++ b/src/printer/printer.h
@@ -26,7 +26,7 @@
#include "smt/model.h"
#include "util/result.h"
-namespace CVC5 {
+namespace cvc5 {
class Command;
class CommandStatus;
@@ -308,6 +308,6 @@ class Printer
}; /* class Printer */
-} // namespace CVC5
+} // namespace cvc5
#endif /* CVC4__PRINTER__PRINTER_H */
diff --git a/src/printer/smt2/smt2_printer.cpp b/src/printer/smt2/smt2_printer.cpp
index 7e80baebc..a2a45de81 100644
--- a/src/printer/smt2/smt2_printer.cpp
+++ b/src/printer/smt2/smt2_printer.cpp
@@ -46,7 +46,7 @@
using namespace std;
-namespace CVC5 {
+namespace cvc5 {
namespace printer {
namespace smt2 {
@@ -292,7 +292,7 @@ void Smt2Printer::toStream(std::ostream& out,
}
else
{
- out << CVC5::quoteSymbol(dt.getName());
+ out << cvc5::quoteSymbol(dt.getName());
}
break;
}
@@ -437,7 +437,7 @@ void Smt2Printer::toStream(std::ostream& out,
out << '(';
}
if(n.getAttribute(expr::VarNameAttr(), name)) {
- out << CVC5::quoteSymbol(name);
+ out << cvc5::quoteSymbol(name);
}
if(n.getNumChildren() != 0) {
for(unsigned i = 0; i < n.getNumChildren(); ++i) {
@@ -509,7 +509,7 @@ void Smt2Printer::toStream(std::ostream& out,
string s;
if (n.getAttribute(expr::VarNameAttr(), s))
{
- out << CVC5::quoteSymbol(s);
+ out << cvc5::quoteSymbol(s);
}
else
{
@@ -1334,7 +1334,7 @@ static bool tryToStream(std::ostream& out, const Command* c, Variant v);
static std::string quoteSymbol(TNode n) {
std::stringstream ss;
ss << n;
- return CVC5::quoteSymbol(ss.str());
+ return cvc5::quoteSymbol(ss.str());
}
template <class T>
@@ -1364,7 +1364,7 @@ void Smt2Printer::toStream(std::ostream& out, const UnsatCore& core) const
const std::vector<std::string>& cnames = core.getCoreNames();
for (const std::string& cn : cnames)
{
- out << CVC5::quoteSymbol(cn) << std::endl;
+ out << cvc5::quoteSymbol(cn) << std::endl;
}
}
else
@@ -1582,7 +1582,7 @@ void Smt2Printer::toStreamCmdDeclareFunction(std::ostream& out,
const std::string& id,
TypeNode type) const
{
- out << "(declare-fun " << CVC5::quoteSymbol(id) << " (";
+ out << "(declare-fun " << cvc5::quoteSymbol(id) << " (";
if (type.isFunction())
{
const vector<TypeNode> argTypes = type.getArgTypes();
@@ -1702,7 +1702,7 @@ void Smt2Printer::toStreamCmdDeclareType(std::ostream& out,
std::stringstream id;
id << type;
size_t arity = type.isSortConstructor() ? type.getSortConstructorArity() : 0;
- out << "(declare-sort " << CVC5::quoteSymbol(id.str()) << " " << arity << ")"
+ out << "(declare-sort " << cvc5::quoteSymbol(id.str()) << " " << arity << ")"
<< std::endl;
}
@@ -1711,7 +1711,7 @@ void Smt2Printer::toStreamCmdDefineType(std::ostream& out,
const std::vector<TypeNode>& params,
TypeNode t) const
{
- out << "(define-sort " << CVC5::quoteSymbol(id) << " (";
+ out << "(define-sort " << cvc5::quoteSymbol(id) << " (";
if (params.size() > 0)
{
copy(
@@ -1811,7 +1811,7 @@ void Smt2Printer::toStream(std::ostream& out, const DType& dt) const
{
out << " ";
}
- out << "(" << CVC5::quoteSymbol(cons.getName());
+ out << "(" << cvc5::quoteSymbol(cons.getName());
for (size_t j = 0, nargs = cons.getNumArgs(); j < nargs; j++)
{
const DTypeSelector& arg = cons[j];
@@ -1844,7 +1844,7 @@ void Smt2Printer::toStreamCmdDatatypeDeclaration(
{
Assert(t.isDatatype());
const DType& d = t.getDType();
- out << "(" << CVC5::quoteSymbol(d.getName());
+ out << "(" << cvc5::quoteSymbol(d.getName());
out << " " << d.getNumParameters() << ")";
}
out << ") (";
@@ -1986,7 +1986,7 @@ void Smt2Printer::toStreamCmdSynthFun(std::ostream& out,
std::stringstream sym;
sym << f;
out << '(' << (isInv ? "synth-inv " : "synth-fun ")
- << CVC5::quoteSymbol(sym.str()) << ' ';
+ << cvc5::quoteSymbol(sym.str()) << ' ';
out << '(';
if (!vars.empty())
{
@@ -2139,4 +2139,4 @@ static bool tryToStream(std::ostream& out, const CommandStatus* s, Variant v)
} // namespace smt2
} // namespace printer
-} // namespace CVC5
+} // namespace cvc5
diff --git a/src/printer/smt2/smt2_printer.h b/src/printer/smt2/smt2_printer.h
index a997f789a..a3ab9721c 100644
--- a/src/printer/smt2/smt2_printer.h
+++ b/src/printer/smt2/smt2_printer.h
@@ -21,7 +21,7 @@
#include "printer/printer.h"
-namespace CVC5 {
+namespace cvc5 {
class LetBinding;
@@ -35,11 +35,11 @@ enum Variant
// support for the string standard
}; /* enum Variant */
-class Smt2Printer : public CVC5::Printer
+class Smt2Printer : public cvc5::Printer
{
public:
Smt2Printer(Variant variant = no_variant) : d_variant(variant) {}
- using CVC5::Printer::toStream;
+ using cvc5::Printer::toStream;
void toStream(std::ostream& out,
TNode n,
int toDepth,
@@ -275,6 +275,6 @@ class Smt2Printer : public CVC5::Printer
} // namespace smt2
} // namespace printer
-} // namespace CVC5
+} // namespace cvc5
#endif /* CVC4__PRINTER__SMT2_PRINTER_H */
diff --git a/src/printer/tptp/tptp_printer.cpp b/src/printer/tptp/tptp_printer.cpp
index c740f7b76..687ad1a61 100644
--- a/src/printer/tptp/tptp_printer.cpp
+++ b/src/printer/tptp/tptp_printer.cpp
@@ -30,7 +30,7 @@
using namespace std;
-namespace CVC5 {
+namespace cvc5 {
namespace printer {
namespace tptp {
@@ -99,4 +99,4 @@ void TptpPrinter::toStream(std::ostream& out, const UnsatCore& core) const
} // namespace tptp
} // namespace printer
-} // namespace CVC5
+} // namespace cvc5
diff --git a/src/printer/tptp/tptp_printer.h b/src/printer/tptp/tptp_printer.h
index ea538a245..c59e18ae2 100644
--- a/src/printer/tptp/tptp_printer.h
+++ b/src/printer/tptp/tptp_printer.h
@@ -23,14 +23,14 @@
#include "printer/printer.h"
-namespace CVC5 {
+namespace cvc5 {
namespace printer {
namespace tptp {
-class TptpPrinter : public CVC5::Printer
+class TptpPrinter : public cvc5::Printer
{
public:
- using CVC5::Printer::toStream;
+ using cvc5::Printer::toStream;
void toStream(std::ostream& out,
TNode n,
int toDepth,
@@ -64,6 +64,6 @@ class TptpPrinter : public CVC5::Printer
} // namespace tptp
} // namespace printer
-} // namespace CVC5
+} // namespace cvc5
#endif /* CVC4__PRINTER__TPTP_PRINTER_H */
generated by cgit on debian on lair
contact matthew@masot.net with questions or feedback