SynthResult

java.lang.Object
- io.github.cvc5.SynthResult

```
public class SynthResult
extends java.lang.Object
```
Encapsulation of a solver synth result. This is the return value of the API methods: - Solver.checkSynth() - Solver.checkSynthNext() which we call synthesis queries. This class indicates whether the synthesis query has a solution, has no solution, or is unknown.

Field Summary

Fields
Modifier and Type Field Description

protected long pointer

Constructor Summary

Constructors
Constructor Description

SynthResult()
Null synthResult

Method Summary

All Methods Instance Methods Concrete Methods
Modifier and Type	Method	Description
`void`	`deletePointer()`
`protected void`	`deletePointer(long pointer)`
`long`	`getPointer()`
`boolean`	`hasNoSolution()`
`boolean`	`hasSolution()`
`boolean`	`isNull()`
`boolean`	`isUnknown()`
`java.lang.String`	`toString()`
`protected java.lang.String`	`toString(long pointer)`

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

- Field Detail
  - pointer
```
protected long pointer
```
- Constructor Detail
  - SynthResult
```
public SynthResult()
```
    Null synthResult
- Method Detail
  - deletePointer
```
protected void deletePointer(long pointer)
```
  - getPointer
```
public long getPointer()
```
  - isNull
```
public boolean isNull()
```
    Returns:
    
    True if SynthResult is empty, i.e., a nullary SynthResult, and not an actual result returned from a synthesis query.
  - hasSolution
```
public boolean hasSolution()
```
    Returns:
    
    True if the synthesis query has a solution.
  - hasNoSolution
```
public boolean hasNoSolution()
```
    Returns:
    
    True if the synthesis query has no solution. In this case, it was determined there was no solution.
  - isUnknown
```
public boolean isUnknown()
```
    Returns:
    
    True if the result of the synthesis query could not be determined.
  - toString
```
protected java.lang.String toString(long pointer)
```
    Returns:
    
    A string representation of this result.
  - deletePointer
```
public void deletePointer()
```
  - toString
```
public java.lang.String toString()
```
    Overrides:
    
    toString in class java.lang.Object