tests/org.simantics.scl.compiler.tests/src/org/simantics/scl/compiler/tests/scl/CHRSelect3.scl

   1 module {
   2     features = [chr]
   3 }
   4 import "StandardLibrary"
   5
   6 main = ()
   7   where
   8     constraint Edge Integer Integer
   9
  10     True => Edge 2 3
  11     True => Edge 1 2
  12     True => Edge 3 4
  13
  14     when -Edge ?x ?y
  15          [] = select ?z where
  16              Edge ?z ?x
  17     then print "removed \(?x) \(?y)"
  18 --
  19 removed 1 2
  20 removed 2 3
  21 ()