chocoteam / chocoteam/choco-solver

"regular" constraint doesn't accept empty array

Open
#335 1 comment 0 reactions 0 assignees View on GitHub
regular support
Dominant language
Java
Stars
779
Forks
159
Avg merge
6d 9h
Merged PRs (30d)
10

Description

ICF.regular() throws when I pass it an empty IntVar array:

``` clojure
ArrayIndexOutOfBoundsException 0 org.chocosolver.solver.constraints.Propagator. (Propagator.java:140)
```

I assumed that if I passed in an empty array, the constraint would succeed if and only if the automaton accepts the empty string. Is that not a desired feature in Choco or is this a bug?

Contributor guide

Open the contributing guide

Assessment

This issue has not been assessed yet.

Get new issues in your inbox

A short digest of beginner-friendly GitHub issues.