Missing import of GeneratedDirs

Tarheel-Formal-Methods / kaa-dynamic

Reachability analysis tool created to investigate computing automatic dynamic parallelotope bundles for computing reachability of discrete non-linear dynamical systems

MIT License

2 stars 0 forks source link

Missing import of GeneratedDirs #1

Open rufoliveira opened 3 years ago

rufoliveira commented 3 years ago

https://github.com/Tarheel-Formal-Methods/kaa-dynamic/blob/cabe9a7b9f14ed82be8d1ef4ac2b793cbf3e6f34/kaa/temp/lin_app_strat.py#L5

This file is currently missing the import of GeneratedDirs used by class GeneratedLinDirs.

from kaa.templates import TempStrategy should be from kaa.templates import TempStrategy, GeneratedDirs