Constructor (Java Bindings for Z3)

java.lang.Object
- com.microsoft.z3.Z3Object
- - com.microsoft.z3.Constructor

public class Constructor
extends Z3Object

Constructors are used for datatype sorts.

Method Summary

All Methods Instance Methods Concrete Methods
Modifier and Type	Method	Description
`FuncDecl`	`ConstructorDecl()`	The function declaration of the constructor.
`FuncDecl[]`	`getAccessorDecls()`	The function declarations of the accessors
`int`	`getNumFields()`	The number of fields of the constructor.
`FuncDecl`	`getTesterDecl()`	The function declaration of the tester.

Methods inherited from class com.microsoft.z3.Z3Object
arrayLength, arrayToNative

Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

- Method Detail
  - getNumFields
```
public int getNumFields()
```
    The number of fields of the constructor.
    
    Returns:
    
    an int
    
    Throws:
    
    Z3Exception
    
    Z3Exception - on error
  - ConstructorDecl
```
public FuncDecl ConstructorDecl()
```
    The function declaration of the constructor.
    
    Throws:
    
    Z3Exception
    
    Z3Exception - on error
  - getTesterDecl
```
public FuncDecl getTesterDecl()
```
    The function declaration of the tester.
    
    Throws:
    
    Z3Exception
    
    Z3Exception - on error
  - getAccessorDecls
```
public FuncDecl[] getAccessorDecls()
```
    The function declarations of the accessors
    
    Throws:
    
    Z3Exception
    
    Z3Exception - on error