From c1baca1b29c6443c1dffed012937e0617684930c Mon Sep 17 00:00:00 2001
From: Kai Ni <nikai97@gmail.com>
Date: Wed, 31 Mar 2010 17:58:42 +0000
Subject: [PATCH] add != to TypedSymbol

---
 cpp/Key.h | 1 +
 1 file changed, 1 insertion(+)

diff --git a/cpp/Key.h b/cpp/Key.h
index 41c299704..c2fac37a1 100644
--- a/cpp/Key.h
+++ b/cpp/Key.h
@@ -55,6 +55,7 @@ namespace gtsam {
 
 		bool operator< (const TypedSymbol& compare) const { return j_<compare.j_;}
 		bool operator== (const TypedSymbol& compare) const { return j_==compare.j_;}
+		bool operator!= (const TypedSymbol& compare) const { return j_!=compare.j_;}
 		int compare(const TypedSymbol& compare) const {return j_-compare.j_;}
 
 		// Testable Requirements