diff options
author | PaulMeng <baolmeng@gmail.com> | 2016-04-15 11:40:40 -0500 |
---|---|---|
committer | PaulMeng <baolmeng@gmail.com> | 2016-04-15 11:40:40 -0500 |
commit | 7f09980d2bed5effd511d5f690d968f3cc048363 (patch) | |
tree | 61481c16efe95c30f5a4e68009612191e8f7f49b /src/printer | |
parent | 4a17519a49f49633fa0145a55b1b45346f2b86fc (diff) |
change transitive closure operator name to TCLOUSRE
Diffstat (limited to 'src/printer')
-rw-r--r-- | src/printer/cvc/cvc_printer.cpp | 4 | ||||
-rw-r--r-- | src/printer/smt2/smt2_printer.cpp | 4 |
2 files changed, 4 insertions, 4 deletions
diff --git a/src/printer/cvc/cvc_printer.cpp b/src/printer/cvc/cvc_printer.cpp index 58835d4e6..9de790d7b 100644 --- a/src/printer/cvc/cvc_printer.cpp +++ b/src/printer/cvc/cvc_printer.cpp @@ -780,8 +780,8 @@ void CvcPrinter::toStream(std::ostream& out, TNode n, int depth, bool types, boo op << "TRANSPOSE"; opType = PREFIX; break; - case kind::TRANSCLOSURE: - op << "TRANSCLOSURE"; + case kind::TCLOSURE: + op << "TCLOSURE"; opType = PREFIX; break; case kind::SINGLETON: diff --git a/src/printer/smt2/smt2_printer.cpp b/src/printer/smt2/smt2_printer.cpp index d37f4ae99..7c501ffec 100644 --- a/src/printer/smt2/smt2_printer.cpp +++ b/src/printer/smt2/smt2_printer.cpp @@ -505,7 +505,7 @@ void Smt2Printer::toStream(std::ostream& out, TNode n, case kind::SUBSET: case kind::MEMBER: case kind::SET_TYPE: - case kind::TRANSCLOSURE: + case kind::TCLOSURE: case kind::TRANSPOSE: case kind::JOIN: case kind::PRODUCT: @@ -786,7 +786,7 @@ static string smtKindString(Kind k) throw() { case kind::SET_TYPE: return "Set"; case kind::SINGLETON: return "singleton"; case kind::INSERT: return "insert"; - case kind::TRANSCLOSURE: return "transclosure"; + case kind::TCLOSURE: return "tclosure"; case kind::TRANSPOSE: return "transpose"; case kind::PRODUCT: return "product"; case kind::JOIN: return "join"; |