ListSort (Java Bindings for Z3)

java.lang.Object
- com.microsoft.z3.Z3Object
- - com.microsoft.z3.AST
  - - com.microsoft.z3.Sort
    - - com.microsoft.z3.ListSort

All Implemented Interfaces:

Comparable<AST>
```
public class ListSort
extends Sort
```
List sorts.

Method Summary

All Methods Instance Methods Concrete Methods
Modifier and Type	Method	Description
`FuncDecl`	`getConsDecl()`	The declaration of the cons function of this list sort.
`FuncDecl`	`getHeadDecl()`	The declaration of the head function of this list sort.
`FuncDecl`	`getIsConsDecl()`	The declaration of the isCons function of this list sort.
`FuncDecl`	`getIsNilDecl()`	The declaration of the isNil function of this list sort.
`Expr`	`getNil()`	The empty list.
`FuncDecl`	`getNilDecl()`	The declaration of the nil function of this list sort.
`FuncDecl`	`getTailDecl()`	The declaration of the tail function of this list sort.

Methods inherited from class com.microsoft.z3.Sort
equals, getId, getName, getSortKind, hashCode, toString, translate

Methods inherited from class com.microsoft.z3.AST
compareTo, getASTKind, getSExpr, isApp, isExpr, isFuncDecl, isQuantifier, isSort, isVar

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

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

- Method Detail
  - getNilDecl
```
public FuncDecl getNilDecl()
```
    The declaration of the nil function of this list sort.
    
    Throws:
    
    Z3Exception
  - getNil
```
public Expr getNil()
```
    The empty list.
    
    Throws:
    
    Z3Exception
  - getIsNilDecl
```
public FuncDecl getIsNilDecl()
```
    The declaration of the isNil function of this list sort.
    
    Throws:
    
    Z3Exception
  - getConsDecl
```
public FuncDecl getConsDecl()
```
    The declaration of the cons function of this list sort.
    
    Throws:
    
    Z3Exception
  - getIsConsDecl
```
public FuncDecl getIsConsDecl()
```
    The declaration of the isCons function of this list sort.
    
    Throws:
    
    Z3Exception
  - getHeadDecl
```
public FuncDecl getHeadDecl()
```
    The declaration of the head function of this list sort.
    
    Throws:
    
    Z3Exception
  - getTailDecl
```
public FuncDecl getTailDecl()
```
    The declaration of the tail function of this list sort.
    
    Throws:
    
    Z3Exception