storm.locals does not import many things from storm.expr
Bug #456404 reported by
Dan Halbert
This bug affects 1 person
Affects | Status | Importance | Assigned to | Milestone | |
---|---|---|---|---|---|
Storm |
New
|
Undecided
|
Unassigned |
Bug Description
storm.locals imports many things from other modules as a convenience. In the case of storm.expr, it does not import Exists, Le, etc. I'm not sure how the imports in storm.locals were chosen. Would "from storm.expr import *" be OK (and similarly for other modules?)
This is quite minor.
To post a comment you must log in.
storm.expr doesn't have __all__ defined, and there are some things in there that probably shouldn't be imported.