Public Attributes | |
| std::string | name |
| std::string | value |
Definition at line 32 of file z3dk_wrapper.cc.
| std::string z3dk::Define::name |
Definition at line 33 of file z3dk_wrapper.cc.
| std::string z3dk::Define::value |
Definition at line 34 of file z3dk_wrapper.cc.