backtrack vocabulary
Factor handbook > Vocabulary index


Summary
Simple non-determinism

Meta-data
Authors:William Schlieper


Words

Tuple classes
ClassSuperclassSlots
amb-failure tuple


Macro words
WordStack effect
amb-execute( seq -- quot )
checkpoint( quot -- quot' )


Symbol words
failure


Ordinary words
WordStack effect
amb( seq -- elt )
amb-all( quot -- )
amb-failure( -- * )
amb-lazy( seq -- elt )
bag-of( quot -- seq )
cut-amb( -- )
fail( -- )
if-amb( true false -- ? )
must-be-true( ? -- )
number-from( from -- from+n )


Class predicate words
WordStack effect
amb-failure?( object -- ? )


Files


Children
VocabularySummary
backtrack.privatebacktrack.private vocabulary