KleeneState evaluation does not support multiplication expressions with more than two factors.

Issue #67 new
geisserf created an issue

If a multiplication expression consists of more than two factors the parser will segfault during KleeneState evaluation. Attached is a small domain and instance where this happens.

While additions in logical_expressions_includes/evaluate_to_kleene.cc allow more than two summands, the code for multiplication expressions only allows exactly two factors.

I think a quick fix is to use the code of Addition::evaluateToKleene and replace summation with multiplication.

This bug was reported by Patrik Haslum via email.

Comments (0)

  1. Log in to comment