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.

All changesets

Changeset [03d2e271091b6b91527fd322189364b0ad0703db] by Douglas Creager

Revision 03d2e271091b6b91527fd322189364b0ad0703db, committed by Douglas Creager · February 7th, 2009 @ 12:04 AM

Use shared_ptr from Boost instead of from the TR1 standard

When we first used shared_ptr in the HST code, we weren't using Boost yet. shared_ptr is in TR1, which seems to be implemented by most modern C++ compilers, so it made sense to use that implementation, rather than introduce a dependency on Boost.

Now, though, we're using Boost for other things, so it makes sense to just use the shared_ptr implementation from it. This also fixes a bug reported by Moritz Kleine, where we'd get an error when trying to compile src/assertions/refine.cc, since the compiler could somehow see both implementations of shared_ptr, and would get confused which one to use.

As part of this patch, I've also removed all “using namespace” statements from the header files, since I've discovered that this is rude behavior in the C++ world. (We don't want to require the users of the header files to use the namespace, too, after all...) http://github.com/hst/hst/commit...

19 changed files

  • M include/hst/assertions.hh
  • M include/hst/csp.hh
  • M include/hst/equivalence.hh
  • M include/hst/event-stateset-map.hh
  • M include/hst/eventmap.hh
  • M include/hst/intset.hh
  • M include/hst/intsetset.hh
  • M include/hst/lts.hh
  • M include/hst/normalized-lts.hh
  • M include/hst/parser/scanner.hh
  • M include/hst/state-stateset-map.hh
  • M include/hst/types.hh
  • M include/hst/zobrist.hh
  • M src/#zobrist.cc#
  • M src/assertions/refine.cc
  • M src/bin/csp0.cc
  • M src/intset.cc
  • M src/intsetset.cc
  • M src/zobrist.cc