[PPL-devel] Re: Integers as bit arrays

[Kevin Ryde]

Roberto Bagnara <bagnara at 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?