ESBMC
Efficient SMT-based Context-Bounded Model Checker
Loading...
Searching...
No Matches
python_converter::scope_bindings Struct Reference

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

Detailed Description

How one scope binds a name: by an import, by anything else, or by a global/nonlocal declaration handing it to an outer scope.

Member Data Documentation

◆ by_import

bool python_converter::scope_bindings::by_import = false

◆ by_other

bool python_converter::scope_bindings::by_other = false

◆ declared_outer

bool python_converter::scope_bindings::declared_outer = false

The documentation for this struct was generated from the following file: