From 3dd2eec937adafd30a503b9b50e60c42411b9e75 Mon Sep 17 00:00:00 2001
From: Richard Roberts <richard.jw.roberts@gmail.com>
Date: Mon, 25 Jun 2012 03:46:58 +0000
Subject: [PATCH] Added IndexFormatter for printing Indices

---
 gtsam/base/types.h | 6 ++++++
 1 file changed, 6 insertions(+)

diff --git a/gtsam/base/types.h b/gtsam/base/types.h
index 2d593409c..5559518b3 100644
--- a/gtsam/base/types.h
+++ b/gtsam/base/types.h
@@ -21,11 +21,17 @@
 
 #include <cstddef>
 
+#include <boost/function/function1.hpp>
+
 namespace gtsam {
 
 	/// Integer variable index type
 	typedef size_t Index;
 
+  /** A function to convert indices to strings, for example by translating back
+   * to a nonlinear key and then to a Symbol. */
+  typedef boost::function<std::string(Index)> IndexFormatter;
+
 	/**
 	 * Helper class that uses templates to select between two types based on
 	 * whether TEST_TYPE is const or not.