Z3
Z3Object Class Referenceabstract
+ Inheritance diagram for Z3Object:

Detailed Description

Internal base class for interfacing with native Z3 objects. Should not be used externally.

Definition at line 24 of file Z3Object.java.