child-constraints ( node -- seq )

Vocabulary

compiler.tree.propagation.branches

Inputs

node

a node

Outputs

seq	a sequence

Word description

For conditionals, an assoc of child node # --> constraint.

Definition

IN: compiler.tree.propagation.branches

GENERIC: child-constraints ( node -- seq )

Methods

USING: accessors compiler.tree
compiler.tree.propagation.branches sequences ;

M: #dispatch child-constraints
    children>> length f <repetition> ;


USING: accessors arrays compiler.tree
compiler.tree.propagation.branches
compiler.tree.propagation.constraints kernel sequences ;

M: #if child-constraints in-d>> first [ =t ] [ =f ] bi 2array ;