From d187aa13a80c4aeaa9b5f7c0485c9abc28791191 Mon Sep 17 00:00:00 2001
From: Van Dung Nguyen <vandung.nguyen@ulg.ac.be>
Date: Wed, 5 Oct 2011 19:08:05 +0000
Subject: [PATCH]

---
 Solver/dofManager.h | 8 ++++++++
 1 file changed, 8 insertions(+)

diff --git a/Solver/dofManager.h b/Solver/dofManager.h
index 9f85a86e9f..344930b6e2 100644
--- a/Solver/dofManager.h
+++ b/Solver/dofManager.h
@@ -547,6 +547,14 @@ class dofManager{
       R.push_back(it->first);
     }
   }
+
+  int getDofNumber(Dof& key){
+		std::map<Dof,int>::iterator it = unknown.find(key);
+		if (it == unknown.end()) {
+			return -1;
+		}
+		else return it->second;
+	};
 };
 
 template<class T>
-- 
GitLab