3 Commits

Author	SHA1	Message	Date
Strahinja Val Markovic	5d6e839118	Newly inserted identifiers are added immediately	2012-05-12 15:20:03 -07:00
Strahinja Val Markovic	ba76e3f6e6	List instead of vector for storing candidates ... This should be faster because appending to a list is O(1), and only amort. O(1) when appending to a vector.	2012-05-10 21:56:19 -07:00
Strahinja Val Markovic	0c0ecc24c4	Using custom collection of Boost libs	2012-05-09 21:45:30 -07:00