(!****************************************************************
   CP example problems
   ===================
   
   file element.mos
   ````````````````
   Element constraints.

   (c) 2008 Artelys S.A. and Fair Isaac Corporation
       Creation: 2005, rev. 2007
*****************************************************************!)
model "Element" 
 uses "kalis"

 declarations
  RY = 43..52
  RX = 1..2
  D: array(RY) of integer     
  D2: array(RX,RY) of integer     
  x,y,d_of_y,d_of_x_y: cpvar
 end-declarations

 D :: (43..52)[ 0,  1,  2,  3,  4,  5,  6,  7,  8,  9] 
         
 D2:: (1..2,43..52)[10, 11, 12, 13, 14, 15, 16, 17, 18, 19,
                    20, 21, 22, 23, 24, 25, 26, 27, 28, 29]
 
 setname(x, "x")
 setname(y, "y")
 setname(d_of_y, "d_of_y")
 setname(d_of_x_y, "d_of_x_y")
 
 writeln("Original domains: ", x, y, d_of_y, d_of_x_y)
 
 element(D,y) = d_of_y 
 element(D2,x,y) = d_of_x_y  

 writeln("After propagation: ", x, y, d_of_y, d_of_x_y)

! Solve the problem
 while (cp_find_next_sol) do
  nbSolutions += 1    
  writeln("Solution ", nbSolutions, ": x:", getsol(x),
	  " y:", getsol(y), " d_of_y:", getsol(d_of_y),
	  " d_of_x_y:", getsol(d_of_x_y)) 	
 end-do
 writeln("done!")

end-model