<resolutions>

[Peter Dobcsanyi]

On Tue, Jul 22, 2003 at 10:56:43AM +0100, Peter Cameron wrote:
> > On Mon, Jul 21, 2003 at 07:40:20PM +0100, Peter Dobcsanyi wrote:
> > 
> >     - First by v        - as a measure of "size" of a design
> >     - then by <blocks> using lexicographic ordering
> >
> Do you mean this, or do we apply our usual rules to ordering the list of
> blocks (i.e. size first, then lexicographic)? I like the latter because
> it implicitly uses the attribute b (the size of the list of blocks)...

My mistake. Of course, we should use our usual rules (size first, then
lexicographic) ordering the blocks.

--             ,
    Peter Dobcsanyi