Changeset [0c111239b97698f412c09a3cbbd78ffcbba43257] 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.
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.