FunctionDeclaration (JavaSMT Solver Library)

All Known Implementing Classes:

FunctionDeclarationImpl
```
@Immutable
public interface FunctionDeclaration<E extends Formula>
```
Function declaration, for both UFs and built-in functions (theory and boolean).
Can be instantiated using FormulaManager.makeApplication(org.sosy_lab.java_smt.api.FunctionDeclaration<T>, java.util.List<? extends org.sosy_lab.java_smt.api.Formula>)

Method Summary

All Methods Instance Methods Abstract Methods
Modifier and Type	Method	Description
`ImmutableList<FormulaType<?>>`	`getArgumentTypes()`
`FunctionDeclarationKind`	`getKind()`
`String`	`getName()`
`FormulaType<E>`	`getType()`

- Method Detail
  - getKind
```
FunctionDeclarationKind getKind()
```
    Returns:
    
    Type of the function (LT / GT / UF / etc...).
  - getName
```
String getName()
```
    Returns:
    
    Name of the function (UF name / "LT" / etc...).
  - getType
```
FormulaType<E> getType()
```
    Returns:
    
    Sort of the function output.
  - getArgumentTypes
```
ImmutableList<FormulaType<?>> getArgumentTypes()
```
    Returns:
    
    Sorts of the arguments.