Checkconsistency not smart enough
Issue #663
new
Currently, checkconsistency works by comparing the ct and cf table, and ensuring that they have empty intersection.
There are several problems with this:
-
the current method requires that from both tables you should be able to find the first elemnt. Not possible if one of the two is int!
-
(related) If one table only contains one elemnt, no smart check is done to find that element in teh second table. Instead, an iterator over teh larger table is made!
Solution:
Make a generator for the smallest of ct and cf. And a checker for the other OR a checker for his inverse (depending on sizes).