Changeset [88b0ad4a7832f877c5d05a2081b339d84f3b7442] 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.
Committed by Douglas Creager
- 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
Create new ticket
Create your profile
Help contribute to this project by taking a few moments to create your personal profile. Create your profile »
An open-source refinement checker for the CSP process algebra.