Small fixes and optimization
authorKim Nguyễn <kn@lri.fr>
Tue, 29 May 2012 06:14:09 +0000 (08:14 +0200)
committerKim Nguyễn <kn@lri.fr>
Tue, 29 May 2012 06:14:09 +0000 (08:14 +0200)
      - make sure the efficient popcount is called
      - inline faste version of next_sibling in case
        the sibling is close by.


No differences found