Top- Based Adaptive Enumeration in Constraint Programming

Algorithm 2

Adaptive enumeration via Top-.

Input:

Output:

(1)

(2) Top-

(3) While not     or     do

(4)    

(5)    

(6)    

(7)    If     then

(8)     

(9)    End If

(10)  If     then

(11)   

(12)  End If

(13)  

(14)  

(15)   Top-

(16) End While