|
ESBMC
Efficient SMT-based Context-Bounded Model Checker
|
How one scope binds a name: by an import, by anything else, or by a global/nonlocal declaration handing it to an outer scope. More...
#include <python_converter.h>
Public Attributes | |
| bool | by_import = false |
| bool | by_other = false |
| bool | declared_outer = false |
How one scope binds a name: by an import, by anything else, or by a global/nonlocal declaration handing it to an outer scope.