Public Attributes | |
| std::string | name |
| uint32_t | address = 0 |
| bool | used = false |
Definition at line 27 of file z3dk_wrapper.cc.
| std::string z3dk::Label::name |
Definition at line 28 of file z3dk_wrapper.cc.
| uint32_t z3dk::Label::address = 0 |
Definition at line 29 of file z3dk_wrapper.cc.
| bool z3dk::Label::used = false |
Definition at line 30 of file z3dk_wrapper.cc.