Integers as bit arrays

Kevin Ryde user42@zip.com.au
Tue, 29 Jul 2003 09:23:41 +1000


Roberto Bagnara <bagnara@cs.unipr.it> writes:
>
> - searching 0 or 1 bits scanning towards less significant bits;
> - efficiently deciding whether a set of naturals is a (proper
>    or non proper) subset of another.

They're in the tasks list.  If Torbjorn likes the concepts then
they're only waiting for nice names and good implementations.

>    http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/~checkout~/ppl/src/SatRow.cc?rev=1.20&content-type=text/plain&cvsroot=ppl

Is your "next" routine the same as mpz_scan1?