counter-class ( interval class -- class' )

Vocabulary

compiler.tree.propagation.recursive

Inputs

interval	an interval
class	a class

Outputs

class'

a class

Word description

The smallest class to use for a counter that iterates the given interval.

Definition

USING: classes.algebra kernel math math.intervals
sequences.private ;

IN: compiler.tree.propagation.recursive

: counter-class ( interval class -- class' )
    dup fixnum class<=
    rot array-capacity-interval interval-subset? and
    [ drop array-capacity ] when ;