Move the time function to global scope.

git-svn-id: https://stp-fast-prover.svn.sourceforge.net/svnroot/stp-fast-prover/trunk/stp@1585 e59a4935-1847-0410-ae03-e826735625c1

diff --git a/src/AST/AST.h b/src/AST/AST.h
index 7930ff1ddcaec2e5620747dcd46f687a909d0598..45288527dfdd7fa04f96870bed77276bc79028d7 100644 (file)
--- a/src/AST/AST.h
+++ b/src/AST/AST.h
@@ -44,6 +44,8 @@ namespace BEEV
   // NB: The boolean value is always true!
   bool BVTypeCheck(const ASTNode& n);
   
+ long getCurrentTime();
+
   ASTVec FlattenKind(Kind k, const ASTVec &children);
 
   // Checks recursively all the way down.

diff --git a/src/AST/ASTmisc.cpp b/src/AST/ASTmisc.cpp
index d01273b88c45d447e7bcaac2674a7501520c96c6..4f01aa863077790e81ada5fd9d4ccfc755d176cd 100644 (file)
--- a/src/AST/ASTmisc.cpp
+++ b/src/AST/ASTmisc.cpp
@@ -559,4 +559,11 @@ namespace BEEV
     return true;
   } //End of TypeCheck function
 
+  long getCurrentTime()
+  {
+    timeval t;
+    gettimeofday(&t, NULL);
+    return (1000 * t.tv_sec) + (t.tv_usec / 1000);
+  }
+
 };//end of namespace