Amb

• allValues:
• assert:
• deny:
• fail
• initialize
• maybe
• oneOf:
• valueOf:or:
• valueOf:or:or:
• valueOfOneOf:

• new

InitialValue:

[] in Amb>>initialize {[:v | self error: 'Amb tree exhausted']}

inferredType:

BlockContext

	|kPrev results|
	kPrev _ failureContinuation.
	results _ OrderedCollection new.
	(Continuation currentDo:
		[:kRetry |
		failureContinuation _ [:v | kRetry value: false].
		results add: aBlock value.
		kRetry value: true])
			ifTrue: [self fail].
	failureContinuation _ kPrev.
	^ results asArray	 

	aBoolean ifFalse: [self fail]

	self assert: aBoolean not

	^ failureContinuation value: nil

	failureContinuation _ [:v | self error: 'Amb tree exhausted'].

	^ self oneOf: (Array with: true with: false)

	^ self valueOfOneOf: (aCollection collect: [:ea | [ea] fixTemps])

	^ self valueOfOneOf: (Array with: blockOne with: blockTwo)

	^ self valueOfOneOf: (Array with: blockOne with: blockTwo with: blockThree)

	|kPrev|
	kPrev _ failureContinuation.
	^ Continuation currentDo:
		[:kEntry |
		blockCollection do:
			[:ea |
			Continuation currentDo:
				[:kNext |
				failureContinuation _
					[:v | failureContinuation _ kPrev. kNext value: v] fixTemps.
				kEntry value: ea value]].
		kPrev value: nil]
			 

	^ super new initialize