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 [0c111239b97698f412c09a3cbbd78ffcbba43257] by Douglas Creager

Revision 0c111239b97698f412c09a3cbbd78ffcbba43257, committed by Douglas Creager · May 31st, 2008 @ 01:25 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