- edited description
- attached bug_pred_as_range.idp
Predicatetables with arity 1 as sorttables
Issue #378
new
Sorttables can be asked whether they are a range. Predicate tables that are actually ranges can then be represented as such, instead of having to be enumerated fully.
Attached file takes 10+ seconds to load. This would be much faster if the predicate table was recognised as being a range.
Comments (1)
-
reporter - Log in to comment