diff options
| author | Aina Niemetz <aina.niemetz@gmail.com> | 2021-04-15 13:04:55 -0700 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2021-04-15 20:04:55 +0000 |
| commit | 77bca094a140b35341257f125a55212ff0108250 (patch) | |
| tree | 1d3369b9be5fc4c3e8cb279ae5ea662e59cbcb3e /src/expr/node.h | |
| parent | 63647b1d79df6f287ea6599958b16fce44b8271d (diff) | |
Rename occurrences of CVC4 to CVC5. (#6351)
This renames everything but GitHub links and build system related
macros. Switching the build system to cvc5 will be the last step in the
renaming process.
Diffstat (limited to 'src/expr/node.h')
| -rw-r--r-- | src/expr/node.h | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/src/expr/node.h b/src/expr/node.h index 181fc2e52..9014016b9 100644 --- a/src/expr/node.h +++ b/src/expr/node.h @@ -124,7 +124,7 @@ typedef NodeTemplate<true> Node; * creation. If this is returned as a TNode rather than a Node, the * count drops to zero, marking the expression as eligible for reclamation.) * - * More guidelines on when to use TNodes is available in the CVC4 + * More guidelines on when to use TNodes is available in the cvc5 * Developer's Guide: * http://cvc4.cs.stanford.edu/wiki/Developer%27s_Guide#Dealing_with_expressions_.28Nodes_and_TNodes.29 */ @@ -395,7 +395,7 @@ public: * these functions, as they may only be needed in CNF conversion, * where it's pointless to do a lazy isAtomic determination by * searching through the DAG, and storing it, since the result will - * only be used once. For more details see the 4/27/2010 CVC4 + * only be used once. For more details see the 4/27/2010 cvc5 * developer's meeting notes at: * * http://cvc4.cs.stanford.edu/wiki/Meeting_Minutes_-_April_27,_2010#isAtomic.28.29_and_isAtomicFormula.28.29 |