Merge: nitcc: add prefixes
authorJean Privat <jean@pryen.org>
Thu, 23 Jun 2016 20:21:48 +0000 (16:21 -0400)
committerJean Privat <jean@pryen.org>
Thu, 23 Jun 2016 20:21:48 +0000 (16:21 -0400)
commit3a7df20fbc02e38ef01e869263b7d2d1cddade13
tree07356949db5f0511f4541002c4935e444993234d
parent67ee24f397054028f157cc8ebe54384ccbc85dc2
parent3f2d3ff6bce4b016b0be388d8b0e0d243b3e97b3
Merge: nitcc: add prefixes

This add the `Prefixes` operator that returns the set of all prefixes of a regular language.
This also fixes some bugs.

Pull-Request: #2195