SynthResult

This class represents a cvc5.Solver SyGus synthesis result.


class cvc5. SynthResult

Encapsulation of a solver synth result.

This is the return value of the API methods:

which we call synthesis queries. This class indicates whether the synthesis query has a solution, has no solution, or is unknown.

hasNoSolution ( )
Returns :

True if the synthesis query has no solution. In this case, it was determined that there was no solution.

hasSolution ( )
Returns :

True if the synthesis query has a solution.

isNull ( )
Returns :

True if SynthResult is null, i.e., not a SynthResult returned from a synthesis query.

isUnknown ( )
Returns :

True if the result of the synthesis query could not be determined.