io.github.cvc5

Class SynthResult

java.lang.Object

io.github.cvc5.SynthResult

public class SynthResult
extends 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 and Description
protected long	pointer

Constructor Summary

Constructors

Constructor and Description
SynthResult() Null synthResult

Method Summary

Modifier and Type	Method and Description
void	deletePointer()
protected void	deletePointer(long pointer)
boolean	equals(Object r) Operator overloading for equality of two synthesis results.
long	getPointer()
int	hashCode() Get the hash value of a synthesis result.
boolean	hasNoSolution()
boolean	hasSolution()
boolean	isNull()
boolean	isUnknown()
String	toString()
protected String	toString(long pointer)

Methods inherited from class java.lang.Object

clone, finalize, getClass, 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)

equals

public boolean equals(Object r)

Operator overloading for equality of two synthesis results.

Overrides:

equals in class Object

Parameters:

r - The synthesis result to compare to for equality.

Returns:

True if the synthesis results are equal.

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 String toString(long pointer)

Returns:

A string representation of this result.

hashCode

public int hashCode()

Get the hash value of a synthesis result.

Overrides:

hashCode in class Object

Returns:

The hash value.

getPointer

public long getPointer()

deletePointer

public void deletePointer()

toString

public String toString()

Overrides:

toString in class Object