Public Member Functions | |
int | getNumFields () throws Z3Exception |
FuncDecl | ConstructorDecl () throws Z3Exception |
FuncDecl | getTesterDecl () throws Z3Exception |
FuncDecl[] | getAccessorDecls () throws Z3Exception |
![]() | |
void | dispose () throws Z3Exception |
![]() | |
void | dispose () throws Z3Exception |
Protected Member Functions | |
void | finalize () throws Z3Exception |
![]() | |
void | finalize () throws Z3Exception |
Constructors are used for datatype sorts.
Definition at line 23 of file Constructor.java.
|
inline |
The function declaration of the constructor.
Z3Exception |
Definition at line 38 of file Constructor.java.
|
inlineprotected |
Destructor.
Definition at line 79 of file Constructor.java.
|
inline |
The function declarations of the accessors
Z3Exception |
Definition at line 64 of file Constructor.java.
|
inline |
The number of fields of the constructor.
Z3Exception |
Definition at line 29 of file Constructor.java.
|
inline |
The function declaration of the tester.
Z3Exception |
Definition at line 51 of file Constructor.java.