[eclipse-clp-users] How to access ECH constraints without copying them?

From: Ulrich Scholz <Ulrich.Scholz_at_...10...>
Date: Tue, 27 Jan 2009 10:30:22 +0100
Dear all,

here is another question about the ECH library:

For test purposes, e.g., unit tests, it is helpful to check the constraint
store.  chr_get_constraint/1 gets and removed one constraint from the CHR
store.  With findall(C, chr_get_constraint(C), Constraints) it is possible
to get all rules that are present without changing the CHR store.

Unfortunately, all constraints resulting from this trick have new variables,
i.e., the variables differ for each retrieval of the constraints, which
makes it hard to write unit tests in some cases.  Is there a way to access
the constraints including their original variables?


Received on Tue Jan 27 2009 - 09:30:01 CET

This archive was generated by hypermail 2.3.0 : Thu Aug 22 2019 - 09:15:17 CEST