[eclipse-users] ``tentative'' constraints?

From: Ulrich Scholz <Ulrich.Scholz_at_...10...>
Date: Sun, 11 Nov 2007 14:14:35 +0100
Dear all,

the repair library introduces tentative assignments to variables.  

Is there a way to have ``tentative'' constraints.  In other words, is it
possible to post a constraint, then post some others, and finally to revoke
the first without revoking the others? 

Somehow, I guess not.  But can I simulate this behaviour with ECLiPSe?


Ulrich Scholz            

Phone: +49-6221-533244
Email: ulrich.scholz_at_...10...

European Media Laboratory GmbH
Schloss-Wolfsbrunnenweg 33
69118 Heidelberg

Amtsgericht Mannheim / HRB 335719
Managing Partner: Dr. h.c. Klaus Tschira, Scientific and Managing
Director: Prof. Dr.-Ing. Andreas Reuter

Received on Sun Nov 11 2007 - 13:51:34 CET

This archive was generated by hypermail 2.3.0 : Sun Aug 18 2019 - 21:14:41 CEST