Lighthouse has a new layout. Prefer the old one? Return to the old layout, and switch back any time from the link at the top of each page.

Changeset [88b0ad4a7832f877c5d05a2081b339d84f3b7442] by Douglas Creager

Revision 88b0ad4a7832f877c5d05a2081b339d84f3b7442, committed by Douglas Creager · May 30th, 2008 @ 11:43 PM

Replacing custom proxy_iterator with Boost's transform_iterator

The Boost library already has a more robust implementation of our

“proxy iterator”, so this patch changes our code to use Boost's.

http://github.com/dcreager/hst/c...

11 changed files

R include/hst/proxy-iterator.hh
M CMakeLists.txt
M INSTALL
M cmake/FindBison.cmake
M cmake/FindJudy.cmake
M doc/tech-overview.txt
M include/hst/CMakeLists.txt
M include/hst/equivalence.hh
M include/hst/event-stateset-map.hh
M include/hst/lts.hh
M include/hst/state-stateset-map.hh