2010/3/18 Claudio Cesar de Sá <[email protected]>:
> Someone has an illustrative and small example that use TupleSet and
> extensional constraints?
The Black-Hole patience example uses an extensional constraint
specified using a TupleSet to implement the constraint
abs(x[i] - x[i+1]) in {1, 12}
by computing all allowable pairs of values for x[i] and x[i+1].
> Before an extensional constraints a branch is mandatory?
Not sure what you mean here. You might want to read the Modeling with
Gecode documentation [1].
Cheers,
Mikael
[1] http://www.gecode.org/documentation.html
--
Mikael Zayenz Lagerkvist, http://www.ict.kth.se/~zayenz/
_______________________________________________
Gecode users mailing list
[email protected]
https://www.gecode.org/mailman/listinfo/gecode-users
