From: Kshitij Bansal <kshitij@cs.nyu.edu>
Date: Mon, 28 Apr 2014 22:18:24 +0000 (-0400)
Subject: cleanup
X-Git-Tag: cvc5-1.0.0~6954
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=64093dc2f6f7d8af3dea84f0a1a230297620d4d1;p=cvc5.git

cleanup
---

diff --git a/src/util/didyoumean.cpp b/src/util/didyoumean.cpp
index d64435ce7..228fe721e 100644
--- a/src/util/didyoumean.cpp
+++ b/src/util/didyoumean.cpp
@@ -14,15 +14,14 @@
  ** ``What do you mean? I don't understand.'' An attempt to be more
  ** helpful than that. Similar to one in git.
  **
- ** There are no dependencies on CVC4, intentionally.
+ ** There are no dependencies on CVC4 (except namespace).
  **/
 
 #include "didyoumean.h"
 #include <iostream>
 #include <sstream>
-#include <boost/foreach.hpp>
-#include <boost/algorithm/string/predicate.hpp>
 using namespace std;
+using namespace CVC4;
 
 vector<string> DidYouMean::getMatch(string input) {
   /** Magic numbers */
@@ -31,14 +30,15 @@ vector<string> DidYouMean::getMatch(string input) {
 
   set< pair<int, string> > scores;
   vector<string> ret;
-  BOOST_FOREACH(string s, d_words ) {
+  for(typeof(d_words.begin()) it = d_words.begin(); it != d_words.end(); ++it) {
+    string s = (*it);
     if( s == input ) {
       // if input matches AS-IS just return that
       ret.push_back(s);
       return ret;
     }
     int score;
-    if(boost::starts_with(s, input)) {
+    if(s.compare(0, input.size(), input) == 0) {
       score = 0;
     } else {
       score = editDistance(input, s) + 1;
diff --git a/src/util/didyoumean.h b/src/util/didyoumean.h
index 2907fcece..18a1101cf 100644
--- a/src/util/didyoumean.h
+++ b/src/util/didyoumean.h
@@ -14,7 +14,7 @@
  ** ``What do you mean? I don't understand.'' An attempt to be more
  ** helpful than that. Similar to one in git.
  **
- ** There are no dependencies on CVC4, intentionally.
+ ** There are no dependencies on CVC4 (except namespace).
  **/
 
 #pragma once
@@ -23,6 +23,8 @@
 #include <set>
 #include <string>
 
+namespace CVC4 {
+
 class DidYouMean {
   typedef std::set<std::string> Words;
   Words d_words;
@@ -47,3 +49,5 @@ public:
 private:
   int editDistance(const std::string& a, const std::string& b);
 };
+
+}/*CVC4 namespace*/
diff --git a/src/util/didyoumean_test.cpp b/src/util/didyoumean_test.cpp
index 5aa7cc105..2fe3331d9 100644
--- a/src/util/didyoumean_test.cpp
+++ b/src/util/didyoumean_test.cpp
@@ -5,6 +5,7 @@
 #include <iostream>
 #include <boost/foreach.hpp>
 using namespace std;
+using namespace CVC4;
 
 set<string> getDebugTags();
 set<string> getOptionStrings();