Public Member Functions | |
int | getNumFields () |
FuncDecl | ConstructorDecl () |
FuncDecl | getTesterDecl () |
FuncDecl [] | getAccessorDecls () |
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 47 of file Constructor.java.
|
inline |
The function declarations of the accessors
Z3Exception | |
Z3Exception | on error |
Definition at line 75 of file Constructor.java.
|
inline |
The number of fields of the constructor.
Z3Exception | |
Z3Exception | on error |
Definition at line 37 of file Constructor.java.
|
inline |
The function declaration of the tester.
Z3Exception | |
Z3Exception | on error |
Definition at line 61 of file Constructor.java.