From 57230f75d7bbdf1c8d278b464f60f01c937e6a07 Mon Sep 17 00:00:00 2001
From: Teddy <ted.sybil@gmail.com>
Date: Thu, 15 Aug 2013 23:15:20 +0800
Subject: ...

---
 types.h | 12 ++++--------
 1 file changed, 4 insertions(+), 8 deletions(-)

(limited to 'types.h')

diff --git a/types.h b/types.h
index 6c3ae54..147efc3 100644
--- a/types.h
+++ b/types.h
@@ -2,6 +2,7 @@
 #define TYPES_H
 
 #include "model.h"
+
 #include <string>
 #include <list>
 #include <map>
@@ -9,15 +10,9 @@
 #include <set>
 #include <gmpxx.h>
 
-using std::list;
 using std::string;
-using std::map;
-using std::vector;
-using std::set;
 
-const int CLS_OPT_OBJ = 1 << 3;
 const int CLS_PROM_OBJ = 1 << 9;
-
 const int CLS_SYM_OBJ = 1 << 2;
 const int CLS_NUM_OBJ = 1 << 4;
 const int CLS_BOOL_OBJ = 1 << 5;
@@ -25,6 +20,7 @@ const int CLS_CHAR_OBJ = 1 << 6;
 const int CLS_STR_OBJ = 1 << 7;
 const int CLS_VECT_OBJ = 1 << 8;
 
+const int CLS_OPT_OBJ = 1 << 3;
 const int CLS_CONT_OBJ = 1 << 9;
 const int CLS_ENVT_OBJ = 1 << 10;
 
@@ -33,8 +29,8 @@ static const int NUM_LVL_REAL = 1;
 static const int NUM_LVL_RAT = 2;
 static const int NUM_LVL_INT = 3;
 
-typedef vector<EvalObj*> EvalObjVec;
-typedef map<string, EvalObj*> Str2EvalObj;
+typedef std::vector<EvalObj*> EvalObjVec;
+typedef std::map<string, EvalObj*> Str2EvalObj;
 typedef EvalObj* (*BuiltinProc)(Pair *, const string &);
 
 class PairReprCons;
-- 
cgit v1.2.3