Re: [eclipse-clp-users] How to extend lib(ic) to get stronger propagation?

From: Wit Jakuczun <wit.jakuczun_at_...6...>
Date: Tue, 17 Nov 2009 14:35:55 +0100
2009/11/17 Ulrich Scholz <Ulrich.Scholz_at_...10...>:

> I don't know how to add an extension to lib(ic) with CHRs, e.g., how to
> trigger a CHR in case two ic constraints are posted.
>
Wouldn't such simple CHR rule:

 A #=< B, B #=< A => A #= B

work?

Best regards,
-- 
[ Wit Jakuczun  http://www.linkedin.com/in/jakuczunwit  ]
Received on Tue Nov 17 2009 - 14:04:11 CET

This archive was generated by hypermail 2.3.0 : Thu Feb 22 2024 - 18:13:20 CET