Public Member Functions | |
int | getNumFields () |
FuncDecl | ConstructorDecl () |
FuncDecl | getTesterDecl () |
FuncDecl[] | getAccessorDecls () |
![]() | |
void | dispose () |
![]() | |
void | dispose () |
Protected Member Functions | |
void | finalize () |
![]() | |
void | finalize () |
Constructors are used for datatype sorts.
Definition at line 23 of file Constructor.java.
|
inline |
The function declaration of the constructor.
Z3Exception | |
Z3Exception | on error |
Definition at line 41 of file Constructor.java.
|
inlineprotected |
|
inline |
The function declarations of the accessors
Z3Exception | |
Z3Exception | on error |
Definition at line 69 of file Constructor.java.
|
inline |
The number of fields of the constructor.
Z3Exception | |
Z3Exception | on error |
Definition at line 31 of file Constructor.java.
|
inline |
The function declaration of the tester.
Z3Exception | |
Z3Exception | on error |
Definition at line 55 of file Constructor.java.