1.4.1.5 Condition object types

Search tree exhaustion

Condition Type: &amb-exhaustion

Condition type used to signal the exhaustion of a search tree visited by amb; it is derived from &condition.

Function: make-amb-exhaustion

Build and return a new instance of &amb-exhaustion.

Function: amb-exhaustion? obj

Return #t if obj is an instance of &amb-exhaustion, else return #f.

Search not initialised

Condition Type: &amb-not-initialised

Condition type used to tag the compound condition object raised whenever amb is used outside the dynamic environment prepared by with-ambiguous-choices; it is derived from &assertion.

Function: make-amb-not-initialised

Build and return a new instance of &amb-not-initialised.

Function: amb-not-initialised? obj

Return #t if obj is an instance of &amb-not-initialised, else return #f.