Internal base class for interfacing with native Z3 objects. Should not be used externally.
Definition at line 24 of file Z3Object.java.