spot/twa/acc.cc · 0f26125f0839faf302f0323c177a3621d0343ef7 · Spot / Spot · GitLab

Nov 05, 2017
0f26125f
acc::name(): recognize generalized Streett · 0f26125f
Alexandre Duret-Lutz authored Nov 05, 2017
```
* spot/twa/acc.cc: Implement this.
* tests/python/randaut.ipynb: Adjust.
```
0f26125f
acc::name(): recognize generalized Streett
Alexandre Duret-Lutz authored Nov 05, 2017
```
* spot/twa/acc.cc: Implement this.
* tests/python/randaut.ipynb: Adjust.
```