compiler.tree.propagation.branches vocabulary
Factor handbook > Vocabulary index


Documentation
Sparse propagation for branches

Words

Generic words
WordStack effect
child-constraints( node -- seq )
live-branches( #branch -- indices )


Symbol words
condition-value
infer-children-data


Ordinary words
WordStack effect
annotate-phi-inputs( #phi -- )
branch-phi-constraints( output values booleans -- )
collect-variables( -- hash )
compute-phi-input-infos( phi-in -- phi-info )
copy-value-info( -- )
include-child-constraints( i -- )
infer-children( node -- )
live-children( #branch -- children )
merge-value-infos( infos outputs -- )
no-value-info( -- )
update-constraints( new old -- )


Files